{"entities":{"Q4928447":{"pageid":6958029,"ns":120,"title":"Item:Q4928447","lastrevid":51744731,"modified":"2026-01-19T19:37:26Z","type":"item","id":"Q4928447","labels":{"en":{"language":"en","value":"Towards modularly comparing programs using automated theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176216"}},"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":"Q4928447$007C844E-DEE3-4CA6-BCAC-5A42124F1EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d496dec03fc1dde98c04937022487500388f35","datavalue":{"value":{"text":"Towards Modularly Comparing Programs Using Automated Theorem Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928447$46C73467-CA3B-446F-AACF-238A798B5BAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80b411628cc94f52810dde5ce4501b017ade2565","datavalue":{"value":"1381.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$E96D82F6-DD0A-45EE-84F0-4CD6003787B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2710472994140912ec0561b147cf808bc1048830","datavalue":{"value":"10.1007/978-3-642-38574-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$703DA27E-CAC4-4F99-B5F5-7CB777038A3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cbe4fb87bde48f3abef1fb879b8863c4192a481","datavalue":{"value":{"entity-type":"item","numeric-id":1852266,"id":"Q1852266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$D62312C1-5CB7-4793-AE0E-46369A41F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dafb0cf6870c33fe5f3982600e494fac65722d08","datavalue":{"value":{"entity-type":"item","numeric-id":4928445,"id":"Q4928445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$91335B22-AED0-46DF-A93F-D9B9AADD6DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$AD84AD9F-056F-41EA-BA49-9E04F04F9121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63aa3213fbb1a9df093167bd245b928fc0764a66","datavalue":{"value":{"entity-type":"item","numeric-id":4928446,"id":"Q4928446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$767EA02B-7254-4FF6-BF37-1D448DA42B42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$FD910928-0975-41BF-B73F-CC4FD73A5843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928447$0704CF45-775B-4CD6-B111-85CE26B4F567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$A6BBBB9D-6848-483C-BDA5-7858B13B5BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$7D400A3B-F729-4132-A17F-28E2A69EB2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$A48614B7-2876-4D0F-BB8C-17FE4B44490D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60c7662a8cb343d112622d98fd1c4cffd74bee24","datavalue":{"value":"6176216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$3177A654-43B9-4C03-9D85-5DA01EAB0ED1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$F5D2F98D-35D3-4850-9C16-4320B5DC6AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928447$579A52C2-EC72-412C-A0A3-10E89CA6CEAA","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":"Q4928447$F9F3A86A-4C5F-4EDF-B1DE-9BC711D01040","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6f7aed875e52a4cadb70704df40150759d43d26","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928447$6B1B6EDA-6DA0-4239-BC98-F75428819386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d888615c94048e6f9c97d5149e1f3ae0f30e2c2","datavalue":{"value":"W26752331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928447$6151BD68-626E-422A-8A68-28A57B1CD299","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792c0ae4f0f9f08dfa7e1830872f85395afd8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2410575,"id":"Q2410575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14a808425ef7fb88d3154a2fe0c51df01748132","datavalue":{"value":{"amount":"+0.7426146268844604","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":"Q4928447$C0AAD2F6-9032-4384-9096-241D53EB6EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4619d27d4dec37f0f3c9c07ff065c408d361f8","datavalue":{"value":{"entity-type":"item","numeric-id":4037111,"id":"Q4037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62009bb12764c474823db8be2fd5edc366503c6e","datavalue":{"value":{"amount":"+0.7317227721214294","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":"Q4928447$0BEBD4AC-8A42-4519-8967-3EF5DEC4D972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8da30769ee0bf991601e0428f66c15b4fffec","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa329794bbd0f4f2b77b37c459c102b93a7c9686","datavalue":{"value":{"amount":"+0.7315892577171326","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":"Q4928447$B8DA7613-9638-4D83-AB24-BDA4113608BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1239fb38692d45f21f112646715ee193671d7b2","datavalue":{"value":{"amount":"+0.7127974033355713","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":"Q4928447$A754A6AB-9F5D-4EB6-870C-8DCE59085B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c52b383999e4e744b0286b9f852a65b247b940","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1239fb38692d45f21f112646715ee193671d7b2","datavalue":{"value":{"amount":"+0.7127974033355713","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":"Q4928447$F5B67157-52A8-467F-AD42-34513B2B7570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928447"}}}}}