{"entities":{"Q5385589":{"pageid":7415163,"ns":120,"title":"Item:Q5385589","lastrevid":92232032,"modified":"2026-06-05T01:12:11Z","type":"item","id":"Q5385589","labels":{"en":{"language":"en","value":"Proof Abstraction for Imperative Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271793"}},"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":"Q5385589$25050989-1149-4E3C-9038-A1EA2F0B77AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ade1eeb4aa4df2ac201130afb4c89081a533583d","datavalue":{"value":{"text":"Proof Abstraction for Imperative Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385589$41EFA108-A5B5-4184-B2D0-AF7EE09FB033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22990498f0d7fe4775f7e9ce5b8a068c4e7ec8f7","datavalue":{"value":"1168.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$4B0EE7E7-F031-4CFE-B4F3-612645E4E261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ff3f43dbabc114d0bd8ea8d6d9f1e259cfa0df","datavalue":{"value":"10.1007/11924661_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$3D5DE2F5-F577-4C3B-92F5-731A22F781A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dd00a9f14f1024dbf704b25a1b3f851cc8b8f30","datavalue":{"value":{"entity-type":"item","numeric-id":2721102,"id":"Q2721102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385589$F2E30F87-4DBA-413C-8FA3-4793459CB40C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385589$E21532D8-0366-495F-939F-713E93E202CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385589$C2FCF512-A9DE-4102-B9EC-0F39DCDFBE92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$1D255068-6110-4711-AF0D-7CC108B5A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$BF733AB8-17C7-45B3-BA73-681C794C2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$A51491B4-2938-477B-9C75-763BCE727B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$EFA80EEB-FE7D-43D9-865D-FDDD957209AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc099876f87a025faaad0bbb872ea1b3fe10cd6","datavalue":{"value":"5271793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$E1EB82CB-C9E0-45B1-9502-74F54BEFC149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a82d7871e07901806055f2f2c7c5017b8624f5","datavalue":{"value":"Monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385589$F07357D9-1B0B-41C6-A801-BFBD984C9F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a550987c0417eafa93b54a7cf3581270abc7bfd","datavalue":{"value":"Monad Transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385589$237BC5D6-8E5A-4E28-8BDF-AB54C822B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71505f4345517a41be5c3fdb567bcfbeb7178f05","datavalue":{"value":"Language Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385589$E71F0A98-9E07-4A82-9C28-B84E8BB57D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43925199a70114ded048394024c59ed7f655f77e","datavalue":{"value":"Program Specification and Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385589$C0E26C67-8E8A-4464-99AD-DB5A0B7F59D6","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":"Q5385589$5FE56B52-62D3-49E3-B51C-E261CA8FAFEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1406010d6cc40aebe42bc79777bcbf8054a21b57","datavalue":{"value":"https://doi.org/10.1007/11924661_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385589$6318C0F7-3D20-4C52-8C92-E7CD85FE89FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"799b73bd1263e968307e45a62f4e092a9434e41b","datavalue":{"value":"W1558176678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385589$3FC37152-E5D4-4205-9B3D-35B483A6B52C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0550638313a39ee36d0f7a80917b2a19415a5508","datavalue":{"value":{"entity-type":"item","numeric-id":4222899,"id":"Q4222899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b489eac201228e856a9ade5fdde621cf3fb8eca3","datavalue":{"value":{"amount":"+0.7326422929763794","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":"Q5385589$532488EF-6171-48EB-BB86-899F597396B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526b84fc0341ce77d06e5c56b671e86c8984cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":5244814,"id":"Q5244814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaf66ba64dcb8db16a27ddc71987265465cd853","datavalue":{"value":{"amount":"+0.7268759608268738","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":"Q5385589$6E31F8A9-8C2E-449F-B5DF-EA70934BEBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1ebee0cf4d6c943e8311e9ffaf8087c6eca231","datavalue":{"value":{"amount":"+0.7249237298965454","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":"Q5385589$A9A30941-6A0C-48C0-B52B-555B3DA908EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cdc8422e0eadf0d8cfd9296751428ce474b557","datavalue":{"value":{"entity-type":"item","numeric-id":5370849,"id":"Q5370849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07f823fab2250336778176427957a5434830421","datavalue":{"value":{"amount":"+0.7229260802268982","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":"Q5385589$CFEE913E-A67D-4CFF-98C3-4636179E8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f4c9630170b9fd0de64ca312283447776de174","datavalue":{"value":{"entity-type":"item","numeric-id":4223005,"id":"Q4223005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e7b1953a40606567db90870e2aa902d0310387","datavalue":{"value":{"amount":"+0.7187962532043457","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":"Q5385589$798D231A-9BEE-488A-9AF4-833BE11C0B19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Abstraction for Imperative Languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_Abstraction_for_Imperative_Languages"}}}}}