{"entities":{"Q3637252":{"pageid":5667158,"ns":120,"title":"Item:Q3637252","lastrevid":50704457,"modified":"2026-01-14T21:04:25Z","type":"item","id":"Q3637252","labels":{"en":{"language":"en","value":"Could We Have Chosen a Better Loop Invariant or Method Contract?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576389"}},"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":"Q3637252$08B705BA-3664-44D6-8D25-596E1C3812A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc5d92352bb9ab6daad0f147c55df32deca71bdc","datavalue":{"value":{"text":"Could We Have Chosen a Better Loop Invariant or Method Contract?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637252$80F89DE1-2674-475A-9CDE-F8F908910C60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a31584c1edb97be7ef362135ceb10259b54ad7","datavalue":{"value":"1246.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637252$464AED3A-FB89-4D25-9A9D-E77F30F67367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"152e18be423a8a1b8f82d87cca6b758f0663311b","datavalue":{"value":"10.1007/978-3-642-02949-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637252$F754D369-DB06-4222-9CEB-7C903496379E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a068b9147c7234de85f0117b92e2136cba8ddab2","datavalue":{"value":{"entity-type":"item","numeric-id":3067536,"id":"Q3067536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$B35AAA76-E1C1-4B33-8D10-3D9E0246F120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$2C4F75C6-D8B2-44AB-8E89-0E8A768BD935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637252$05C688CB-4D3F-4D64-B10A-BCBCA4BA8431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637252$08A9089B-742A-446E-80A3-B9768B064517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68be8c6382c904ab0dab4da8ca29ff6d71fc5544","datavalue":{"value":"5576389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637252$C8E4E8C1-BC73-477B-971A-BF9CAC73181B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$7C4E6061-C4A8-4D6F-A395-F04CF4491DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$64B8F388-9CF4-438B-8389-87D4ED701AEE","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":"Q3637252$F3E9482B-7DE4-4371-9D82-52E29F013CC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04c2e5f7331c4a98462823c436a0b33c496beebd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02949-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637252$94EE00BB-A3EC-4644-8639-EAF2E6F0491B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06a80530541afa9122282aa2b0ec75b808658c4a","datavalue":{"value":"W2122077094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637252$16F66C5D-CE33-43CA-9B69-9CD8B06B5C6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$16273966-F218-473C-AD34-3D415BBE8249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fee3a99fd03e027aac2c8350986d4fec7300642","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$ADB1A76F-2DEE-4AF4-AFEF-5478EE76749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba3783762088714176bdff2f2f02649ceeb0515","datavalue":{"value":{"entity-type":"item","numeric-id":5423871,"id":"Q5423871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$C44CA3EC-4681-44A6-9EA5-2F42571DD540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c89eef60754cedc62e98732c64c6c5ebc6eee2","datavalue":{"value":{"entity-type":"item","numeric-id":5458810,"id":"Q5458810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$AB94CC99-1413-4EE6-8F2F-4E7D3BFAAB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dda9055b6e214a040bbadde17352039a5598a77","datavalue":{"value":{"entity-type":"item","numeric-id":5423869,"id":"Q5423869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$C5FA70CC-2FF0-41DD-A114-E04513A6C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$418ECD93-38C1-4E38-9F04-09AE22D4B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$F10543BC-F090-4445-A6FE-ADBF1ADB9CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$5B178268-219C-4E9A-902A-C21E54DB7305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$BF6711D7-ABE6-4B25-845F-447CCFD4FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6bedea1cffabec2896430aabcdd08d9b551a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387908,"id":"Q5387908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$62B691A9-0F65-4639-80AF-4741A987B464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23141dc84e97827108c755d4336b0d5851beef","datavalue":{"value":{"entity-type":"item","numeric-id":5423862,"id":"Q5423862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637252$F06E7467-DC17-4436-B8D0-DE82BEC292E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81529599e93e5529cd39dd904943e5bb34d02253","datavalue":{"value":{"entity-type":"item","numeric-id":2152642,"id":"Q2152642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41baf06143c9d026dd5b48479c7634ad68bd726a","datavalue":{"value":{"amount":"+0.7059352397918701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3637252$F5201B12-2FCE-4383-A10D-CE0525630AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6446bf2055cc33548eacece019ea96f1c38ed7","datavalue":{"value":{"entity-type":"item","numeric-id":2898793,"id":"Q2898793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58405455cf9a22ef9d1276673d03d2770efc407f","datavalue":{"value":{"amount":"+0.6794735789299011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3637252$D383A5E5-1058-4EBB-A1CA-39C7461CF852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6f07fc0570cdffe4521b725329ccdff1b189b1","datavalue":{"value":{"entity-type":"item","numeric-id":2945711,"id":"Q2945711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c131b7500362bbfe085b6ae60bff759091cf2f9d","datavalue":{"value":{"amount":"+0.6738559603691101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3637252$6152A04B-8D0D-41B8-8865-EDA052F2A405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba91a2fa8a38f05d02fe6a811450a3326020603","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9be7aea69ff3000ac6afbb4174fda980166053","datavalue":{"value":{"amount":"+0.6570844650268555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3637252$629FAB64-D0BA-4045-AE15-1B951E230858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bdcec553a27932b0ecd4a2375bb6ac42bf7085","datavalue":{"value":{"amount":"+0.6561886072158813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3637252$8C94E4D4-A49E-442D-803C-F15AAFEB8988","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637252"}}}}}