{"entities":{"Q4594004":{"pageid":6623589,"ns":120,"title":"Item:Q4594004","lastrevid":52958570,"modified":"2026-01-23T22:03:55Z","type":"item","id":"Q4594004","labels":{"en":{"language":"en","value":"Program logics and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807843"}},"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":"Q4594004$039E6730-6EAE-4D70-B76C-7BDAB4720F2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f504aba0f2c5b4538230bb48561fe00212475d2","datavalue":{"value":"1389.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$B4CE636B-C63A-490C-8BD4-09AC88B74C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$B808AA1A-7B59-4EAE-82A8-59A63AB4E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81586982d17a5065a8b3d9d0e0dbbd008e2a773f","datavalue":{"value":{"entity-type":"item","numeric-id":437032,"id":"Q437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$F7C70289-B30D-4D9A-97F0-10F42E51516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$0A1EB6EE-DDF0-4059-BBBF-A41DA0A2856B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$0F0A08C8-B006-40EB-AB86-BE70BC00EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89168b02a11c30611a0ae0bcdc8b7918c6099a68","datavalue":{"value":{"entity-type":"item","numeric-id":730474,"id":"Q730474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$6B9B2623-4C37-4385-8799-BF8794574AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$F150D9F9-7986-45CC-AD95-AC75472BD61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594004$FDEC0EFD-BCAF-41ED-8112-89873F0E4334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$06111FAB-1339-49C7-B2A7-901E23055104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$6AFA86AB-A4F1-4BE1-9250-58452F709CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$85E9E6A4-14D1-4B6E-B806-5467B357B986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$EE3DBADF-ADB2-4CD1-9DD5-EA55DECFEDCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0be708b0a0f031f1f76c5c106233b99c738eb3","datavalue":{"value":"6807843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594004$50FE2D5B-4474-4CBA-BFB8-3CE0AC758BDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f989fba8bb93a2cba76765f66ae6bdaf7b8eba8","datavalue":{"value":"matching logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$5280F657-788D-450A-B79E-48FF42835777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$9F8CE3F1-1BDE-4137-826A-ECC860F85973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$0123BBDB-FA09-438C-A697-7BE74E7E4011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$C6C39076-3EF1-40D1-84FB-1D3662FE2C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$B97D2488-79F6-474C-A216-28B83E39D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$40600B53-04AC-4672-A3DF-04E7745B2558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4594004$AA009436-20FE-4C5E-8798-57C29E39B6BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$EA4482C4-CC7A-4FA7-B4D5-302F295E97A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594004$59D91397-56A5-4C13-A82A-FAEA602BF1D3","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":"Q4594004$05736ED0-E578-4ED9-8A17-15957762581A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150ec41cca31534b83a2031a23ff46f22a466d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2945730,"id":"Q2945730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a980588c76e4290587fe02bbfb01fa59a2b88e","datavalue":{"value":{"amount":"+0.7544151544570923","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":"Q4594004$51D2F3D4-AB49-445B-ACAF-37243576D577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05aa462e7f46aacefc16ad4d9ece95bbe438d17e","datavalue":{"value":{"entity-type":"item","numeric-id":2827839,"id":"Q2827839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451abc3e61fb6cba7f15773ea53115430df88e0c","datavalue":{"value":{"amount":"+0.7271903157234192","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":"Q4594004$32BDB878-FD57-48E3-A18E-68E110C712AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f4ff472e77d3c2ee5dfdfef8d78656a9b9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ac26db40bf352f813b45027a1ec94248afbf72","datavalue":{"value":{"amount":"+0.7230283617973328","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":"Q4594004$6BF1DBD6-0B39-428F-91EF-8C13AA90D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa879df9225f136cb7283dd7465f76bc2943177d","datavalue":{"value":{"entity-type":"item","numeric-id":4896257,"id":"Q4896257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bc0d23a9c4553afda0873eb973a2e82cdc80e6","datavalue":{"value":{"amount":"+0.7187358140945435","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":"Q4594004$3917FA95-C0E6-47A7-B892-7AA43E598409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0bcfd78047d2c320e77ee8a7ae754ee02e93a","datavalue":{"value":{"entity-type":"item","numeric-id":3088267,"id":"Q3088267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6389d252790037daef5f06e4260812664d32321f","datavalue":{"value":{"amount":"+0.7185389399528503","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":"Q4594004$D9424DE2-D1E6-4EAB-A53C-835505B14D73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594004"}}}}}