{"entities":{"Q56235454":{"pageid":56176195,"ns":0,"title":"Q56235454","lastrevid":2450705929,"modified":"2026-01-03T01:01:27Z","type":"item","id":"Q56235454","labels":{"en":{"language":"en","value":"A Comparative Analysis of Functional Correctness"},"nl":{"language":"nl","value":"A Comparative Analysis of Functional Correctness"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0447\u0435\u0440\u0432\u043d\u0456 1982"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"929ecd449011155a9f8c12037d2655b185682330","datavalue":{"value":"10.1145/356876.356881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56235454$5C0BC9BC-A4E2-4F18-9B81-0EA9CAE2A0E7","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56235454$82D4A8DD-11F5-4F0E-8DA1-E1D0A932DFC2","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"4849208d98d60a36e2bf92a46f9eec9229515603","datavalue":{"value":{"text":"A Comparative Analysis of Functional Correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q56235454$57FDFB3A-5296-4535-AA05-47611D121525","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q56235454$7869C510-B866-4560-8F26-50C9B2630920","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"f1ec53db5fb73ad2c84e1ee7805894e954d760d7","datavalue":{"value":"229-244","type":"string"},"datatype":"string"},"type":"statement","id":"Q56235454$E55DD69B-270E-42F5-B687-95A1F54EB0B3","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"0bdefc24093be37e93b797269a255d93d0572d0a","datavalue":{"value":"14","type":"string"},"datatype":"string"},"type":"statement","id":"Q56235454$398FDC0E-FD49-4801-B37D-CD39A04C40EB","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"cd387f3a79f8987da80ac5a1fe1fc873d3be70d8","datavalue":{"value":{"time":"+1982-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q56235454$22696172-FBF7-41F7-9B1C-3D54D28AE714","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"302dd41bd7301245c757e5dfc70510c326b63992","datavalue":{"value":{"entity-type":"item","numeric-id":3295299,"id":"Q3295299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56235454$98445C3C-727C-486F-BAEA-7777F9A2D248","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"cae31336da0642c38cea83ef6c2c409e8c8be204","datavalue":{"value":"Douglas D. Dunlop","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q56235454$EC63A713-7911-4CEC-91B5-3DC407C1ACDA","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"347a250a150afeb69097c459e24bb609c3973a37","datavalue":{"value":"journals/csur/DunlopB82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56235454$DF024DCF-6506-464C-84FD-92FBB82B3A89","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"ab5cc035a4fa8a3ba59df1bc65022e97b8e13109","datavalue":{"value":{"entity-type":"item","numeric-id":7925714,"id":"Q7925714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"a9ab7fbf31626e941d1640f21825c45027efc39b","datavalue":{"value":"Victor R. Basili","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q56235454$74EA6177-BCB2-485F-B1FF-26E61C0C3A28","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56235454$820C0AD4-14D7-4E08-82B7-ADDCD380496F","rank":"normal"}]},"sitelinks":{}}}}