{"entities":{"Q2117260":{"pageid":2128003,"ns":120,"title":"Item:Q2117260","lastrevid":57729846,"modified":"2026-04-01T03:37:33Z","type":"item","id":"Q2117260","labels":{"en":{"language":"en","value":"Incorrectness logic for graph programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493657"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$F890E388-32C6-4DBA-BC47-9C2FA37E88A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f014ec2dfbea726bb5bbb01fd685f8dbe87d6a90","datavalue":{"value":{"text":"Incorrectness logic for graph programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117260$23F9A5C7-39F1-4905-A1A0-37DAED901E53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1023fc0d4f56376083f8ba7d7fac4fa074e428f3","datavalue":{"value":"1492.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$545150A4-E0B4-4515-9BB0-C80B903E7928","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb9a2a7302ea487416f874970f77342d2bdfb8ec","datavalue":{"value":"10.1007/978-3-030-78946-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$8CA9F739-9D00-4F62-9D28-7C756CCF5AD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5129960a02fcf06189d8801bbc8feb3165f7845f","datavalue":{"value":{"entity-type":"item","numeric-id":2096430,"id":"Q2096430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$43E3341C-B720-4304-873A-23696D9E648F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117260$E26775AA-4F46-4E60-BD64-AB914D84F814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a478e4222d6a07fd3fef22c1cd6194ae490f5461","datavalue":{"value":"https://arxiv.org/abs/2105.04501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117260$29234CA3-99CA-4F9A-BF0E-FB41D05226E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca451ee2ccc23cacf1dc7b1a1c689642004179ba","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/6582","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117260$13A18A68-A462-4EA2-A8C7-D313C717AB67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$1D6DEA6D-1E89-4D4F-90D2-5A5FBE613CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$72A1BC5A-925E-4FA6-825A-387560ECE07A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6913d676c8a92ee7cfe0f310abe00acc046897f","datavalue":{"value":"7493657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$816F056A-43E6-4B81-80DA-D9482A647C4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117260$8B48D28A-3929-4190-A435-1EC7CA7E84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f0a119ff3e526525ca5617a2cdcce4572678bb","datavalue":{"value":"under-approximate reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117260$8FAABD61-5B5F-4906-9702-416D0C69401A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d12af63942858b8a70d1663480b723a9521e39b","datavalue":{"value":"bugs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117260$19018A12-15F3-4974-AA33-846D040B38B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$DE1188E5-9BF4-42CA-9DB2-62BB4D6AB856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5438dc38900220f3bce18143cd66bc5c5dbc079","datavalue":{"value":{"entity-type":"item","numeric-id":5974339,"id":"Q5974339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$925542B0-F3BE-4D75-8561-D5B8BD3BF265","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$E6930DA4-98C3-4D94-8528-5F1B5E24B49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de839c0284f5e0d9c3882da534be5555c9fdfcaf","datavalue":{"value":"W3174501452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117260$B466D19B-4C8C-484A-9AEF-2665213A873E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$C55E0F43-F271-4F55-B917-F0FA671397E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fffce8ba9b08b7b4507292f2b0cae0b976145b","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$93D61729-6989-4B59-A2D4-973BE80E3555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3df2b63be53c854a89bfd777b7f266284c6d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$C8FACFAF-D669-4C69-B795-B666D79FEF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$FA3A1A6C-3BF3-4DB2-AA97-B81F28A92DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$324972A2-CACD-4060-AEE0-73F19D2023E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$BDCED3BD-96F2-4847-80AE-A80FB8A60916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230491774cda96275295252f683e66d15c981980","datavalue":{"value":{"entity-type":"item","numeric-id":4438775,"id":"Q4438775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$F9B0A711-E87A-4BCC-9E22-DCBDAC942966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$1906065B-AE9F-4908-BC0B-6B7F826AF864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff94b0891fa5d1d5c7a34e80375ba01a27e16695","datavalue":{"value":{"entity-type":"item","numeric-id":4931307,"id":"Q4931307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$3AD51760-EF25-4C4A-86E3-82248684D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d296e7ecce2a3b314107003da004e0127e6c2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2292975,"id":"Q2292975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$6B76539B-A77D-45BD-8DCE-8E2F84F2FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d6d2288e51e7f3d0cf6018646be375fdb465","datavalue":{"value":{"entity-type":"item","numeric-id":1996850,"id":"Q1996850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$5E355F73-B036-4D16-BFE0-AABADB5A3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7f635ac9289a0ac7a99bd1d65e9b51f7d859b0","datavalue":{"value":{"entity-type":"item","numeric-id":724928,"id":"Q724928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$E198B859-D90A-42A6-9D5C-589F491C0986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9ad7f0cfabd318c2724cd6f60380e779777e00","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$C411A913-F75C-4CD7-B260-55839E71DA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$F6841465-069A-434A-B9D9-2CE40A9CF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$D130F1DD-30E1-4110-983B-31C5244BB118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6923475fcd7d1761e3d9d6caae56adf647db689c","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$7E1BAD83-2D85-4DD3-96C5-AFFB48508510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$63A764B2-6F4A-4D71-A9BC-5C9AA8248CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11799acecbd6b88915924d50fce1a4c2e59aead","datavalue":{"value":{"entity-type":"item","numeric-id":5021228,"id":"Q5021228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117260$7F1D4EB6-1FD0-45BA-9D5F-9AF682EEABB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b93d0514a8aa8726b9d47b94f275665f97f25d","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9683017cedf31c9b6cb57907c89b1a1bc00407d","datavalue":{"value":{"amount":"+0.87842923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$1479FB1C-A181-4EC9-91A6-187E71833DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca18593477e446a941492e57a93a9e63fb8cade6","datavalue":{"value":{"entity-type":"item","numeric-id":5021228,"id":"Q5021228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fc85067cce35e1d403602a831ffd1a7b200fec","datavalue":{"value":{"amount":"+0.8755145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$50994462-6C0E-49FE-BEF1-E5BD0C42B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba46771dfad5b264ae5e2e43233a1933c49270cd","datavalue":{"value":{"entity-type":"item","numeric-id":5369479,"id":"Q5369479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483aae4f5c971e37e2b08250ad3b8442dc5e25e3","datavalue":{"value":{"amount":"+0.86983633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$AC599743-527B-4EC7-A27D-A33E6B983716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b75f246e371908ad9f4fb77ea142907b54fb5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e74840d0e289a2cc256fbb0aba383c7bc023bc","datavalue":{"value":{"amount":"+0.8632887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$37E6A298-1343-46F0-BA08-4164A41EAD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ffd0a835a6a6d58e86974385aebb82464c4b3","datavalue":{"value":{"entity-type":"item","numeric-id":5170713,"id":"Q5170713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49ea0ab18d2f15e91a0587b7f962abfa2e5df1","datavalue":{"value":{"amount":"+0.8632614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$83999041-D0D1-44B0-B3D4-E32281D701E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687553961f2121c52aedafb75ef04d6e47ed27b","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899d22183921a27a705734352e8cd06205805c14","datavalue":{"value":{"amount":"+0.85939413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$244FE862-82C3-4A34-8B69-100F0781B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7667ac0f8b50d18827d3aeb6b102ecdf2da9647","datavalue":{"value":{"amount":"+0.8568095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$42CF69A6-EB5E-43B1-835B-EDA3C2350216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6fce314e733b3027b8c687cae62d58882d8b13","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c299dd2ae5086f4e1617a6a67bed5fb95d23ab","datavalue":{"value":{"amount":"+0.8534171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117260$0F01E1EC-A072-43C8-AD89-395B728A2AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117260"}}}}}