{"entities":{"Q5326280":{"pageid":7355854,"ns":120,"title":"Item:Q5326280","lastrevid":51790268,"modified":"2026-01-20T01:28:03Z","type":"item","id":"Q5326280","labels":{"en":{"language":"en","value":"Why3 -- where programs meet provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194791"}},"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":"Q5326280$57D0ABD1-6952-4F27-91E2-D1E846DB7F8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"896885a1f4dbfad7ef0638aab97e3bc6e8104288","datavalue":{"value":{"text":"Why3 \u2014 Where Programs Meet Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326280$1857BA47-4992-48E0-951D-DD5B156C0254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db2fef59eba959e7c1099486a0a8c462ba6835c8","datavalue":{"value":"1435.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$0DC88D2F-C426-4042-B73A-3DF1E0CBD58F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76a955991ac3306ae4f6d69a64bf11ec25f3d580","datavalue":{"value":"10.1007/978-3-642-37036-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$BAA6E8E7-5A03-4313-B8FD-24B010B1882B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5151e47b3481ef47c9a033843060abd7b1dc0f3","datavalue":{"value":{"entity-type":"item","numeric-id":352949,"id":"Q352949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$5734624B-A62A-442A-BA6B-3EAD6D1DAD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$FABB8900-E4B1-4C52-A393-05FF0EA3D961","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":"Q5326280$15F4AC15-F046-42F6-92A8-3A46DA0D67FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326280$11083650-7545-4E9C-8CD6-B174523F1600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$B3C7D0CC-7918-4CF9-A7C1-6F33DBC57115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$18967777-8F5B-473E-A977-BDB3873015F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$FFD73D68-C409-481D-969F-9BC11CA024A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0794691cfcdc7f131376564eb568e428805b29fd","datavalue":{"value":"6194791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$FB765379-C85B-40BB-982F-7F1611BDFA3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$6E7FFDBD-5E3C-4332-80EE-F906556A0849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$BB56EE67-F233-4C54-937F-FA6C26AE409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$DDD40BED-9A68-4AA8-A17C-0A7ECB1EB0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c0afbce326c7f12373ba5fd48479fef3c2af28a","datavalue":{"value":{"entity-type":"item","numeric-id":33418,"id":"Q33418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326280$8A9E2B72-A275-4B5F-9E57-4EAF12ADC880","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":"Q5326280$8FFBE4C0-ABD8-4992-B8C6-33CD7C075C6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a512345892ded0a1ab49c0dec6c7801661ca26da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326280$B0B91F3B-C692-4A25-9A63-4A91548B4067","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb295e740c70f5c5c433785e3887c416fc4027d7","datavalue":{"value":"W1820726602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326280$E8246359-E5DC-4C47-9BDF-109D0E65C23C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1621516842948eea32b3a63e574bd0c218de9626","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b78a0c3e673d62d897e91c7dd8134785c4a546","datavalue":{"value":{"amount":"+0.7985098361968994","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":"Q5326280$A0D119F7-7AED-433E-B9B0-CB36FE3BC1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f99f5038c2994757504732f87e7e7cf296885a","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b59039f257467c1d13a98273ad9ec539903c30","datavalue":{"value":{"amount":"+0.7491297721862793","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":"Q5326280$DEE83C97-DD16-4360-87FE-1C836E4407AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e210e9ff5cd5e7bad7d25e60b6144ecf7719471","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4851eda9a164dbfa547da2166147433a54cc0f","datavalue":{"value":{"amount":"+0.7343335151672363","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":"Q5326280$04B22F97-C797-420C-BECB-1876B4B96C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354259b40bbf0c06b8cf1c3cdc6207226e1fd38d","datavalue":{"value":{"entity-type":"item","numeric-id":1799078,"id":"Q1799078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b144846ef557a863bec1ad0b9ba441fa3a2c4598","datavalue":{"value":{"amount":"+0.7265649437904358","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":"Q5326280$F317AEEC-9B2A-403D-88D3-CA5A79A8167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d0d21bc1f61fcb920004747cb1dc6580a5ca50","datavalue":{"value":{"amount":"+0.7258608341217041","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":"Q5326280$B1AAEB89-0BDF-4851-9E86-27D0DCBD4226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326280"}}}}}