{"entities":{"Q5738909":{"pageid":7768461,"ns":120,"title":"Item:Q5738909","lastrevid":52826753,"modified":"2026-01-23T14:25:28Z","type":"item","id":"Q5738909","labels":{"en":{"language":"en","value":"Inadequacy of computable loop invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729719"}},"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":"Q5738909$2B9305A4-C6CA-4D5F-9201-C130CD00F7F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69954d2269901f7902f71051a293426bff2ce31","datavalue":{"value":{"text":"Inadequacy of computable loop invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738909$C49BFA30-8FAE-4D92-A2E7-522469E7DD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19076a3f8a3fd32af24400ed5136ed16ca6816f","datavalue":{"value":"1365.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$31872D9D-35BF-4D84-A72D-91819FDFF5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2572da51ed5d235f8df9d8c5a2f72134d86b9959","datavalue":{"value":"10.1145/371282.371285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$3A00F502-819C-4A91-A150-1F967F0231DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738909$CBBF7320-9E99-4EC6-B121-4279EA7C8C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738909$3B62AA05-6301-43B5-ACF4-68DEC4CB5AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738909$E500DA9B-FFA6-445B-8E40-0F3708D7639B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738909$C2DED85E-E90B-4AA8-83A5-89B6F44FEC7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$9CE2F39C-8BC1-455A-A777-9CAC3DC59766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$F1868C55-90E3-43C3-906A-1CEF5D9EE915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$779E6218-9662-46F8-B3D4-E39C82B418AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$E372573A-E159-4F84-8158-C58C003DB457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a71d2b1233a41d82abe035dabcc1a7687f9db8ac","datavalue":{"value":"6729719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$88A01D13-33AE-44B3-8864-4B0604DCA681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$11920528-D912-4D52-AC4F-D7D78AD9FBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$079F64FC-E07E-44B9-B24E-E9C724514B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$2434A6FA-7B0C-4A6D-9C56-2B737570543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$C60D3C1A-4303-49A9-8768-CCA56C2D8697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$AC6C9BD5-44A0-4D66-9622-0736523EC45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d5434fb8453595cf26e21c9e23b57940a128a3","datavalue":{"value":"postcondition uncomputable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$EB779A49-5205-4D80-8463-9354614C8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$34FD4FF8-AC95-470B-B1BB-29BA4C34080A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd8781bddd936e216e70a0c72370f70ec6e4fe3","datavalue":{"value":"recursive inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738909$B56DEBF4-8A7C-45EB-9E2C-D77253114CA2","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":"Q5738909$4AB4909F-ECF9-461F-A301-5CD9FA548E30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3018947d25dc79ed94644140a7355ca189bc121a","datavalue":{"value":"https://doi.org/10.1145/371282.371285","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738909$CDEC7F01-33CF-41F0-BA5E-99435A354F2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8eee04660a46da07a4bc36ded5172f6a21c8aba","datavalue":{"value":"W2092019763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$C670380B-E0C3-49E9-9ED7-39A873BECFB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"381ef3a8b9af83ee1c27d039d632782e65b86504","datavalue":{"value":"Q127705804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738909$3C2132CF-03BE-489E-9043-67C052E19815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f2d8c6f392485fbf7655c5e65b1dcbb08b7b6b","datavalue":{"value":{"amount":"+0.7896761298179626","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":"Q5738909$BF484645-38AC-470B-89D6-02FAB99FB746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d9fbb8590bc935dbd321657e40197392859aa9","datavalue":{"value":{"amount":"+0.7692806720733643","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":"Q5738909$7E0E195E-CF44-46C9-A7E2-573FEEA25825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba60bfb62fb711eb480c84cff0c1e57a6344ec8","datavalue":{"value":{"amount":"+0.754260241985321","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":"Q5738909$34447146-DF3C-4997-86F2-B4CF2F671AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d15a4143f1d4649ec9a4d200a83aa195298d12","datavalue":{"value":{"entity-type":"item","numeric-id":1322851,"id":"Q1322851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e999a02d41800750a76327a7d2c5c65a7e2090","datavalue":{"value":{"amount":"+0.7490519881248474","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":"Q5738909$C59A8819-80C1-4EFC-AAA0-0E7D54742251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ae49cf223900108061449596843f5e829fbcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3327706,"id":"Q3327706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4a5a6da15b3501dd29789716148cfd03e97b79","datavalue":{"value":{"amount":"+0.7485528588294983","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":"Q5738909$74BA1D1D-A86C-4F67-85FE-72D5C4DB2013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738909"}}}}}