{"entities":{"Q5756614":{"pageid":7786165,"ns":120,"title":"Item:Q5756614","lastrevid":50157800,"modified":"2026-01-13T07:24:48Z","type":"item","id":"Q5756614","labels":{"en":{"language":"en","value":"Sanity Checks in Formal Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187271"}},"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":"Q5756614$B2F40C29-CFE5-4D30-B2DA-00134A42638C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56bf81b9919bee0bcafb1e94fb0691f6dbb9424b","datavalue":{"value":{"text":"Sanity Checks in Formal Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756614$51ADDC40-6741-47A5-B244-FC336E5623B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b7e608dc2f0f08b773b71396c85a0c6baecb4d","datavalue":{"value":"1151.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$69397896-1925-4859-AC1B-F421B04EDD40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e324a9d9fbc108a8c3ea47507cf5e97e3fff9ae","datavalue":{"value":"10.1007/11817949_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$73A4F9A3-8816-49D1-8829-6C96C068B2EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756614$1B2CCD9A-A425-496D-85F8-03B3218B4805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756614$3D0A90DB-C9A1-4195-BB2B-48846ED0D9E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756614$18572A0D-42D1-4A46-9040-4EF952B9733C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$F472E9B8-9332-4317-BD78-D4B5B1F286AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$70DC7B91-8EAD-4DCC-9443-236C97F1F951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$58614A87-1507-43F5-8810-323EE92D72E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"724bdfcf8eb89cb267eb48cc03b39ee4522eaa3f","datavalue":{"value":"5187271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$68D655EC-E64A-42B9-8158-F122C3275F34","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":"Q5756614$3419A3B0-3530-486A-B1AD-29F435AFB70C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7e2cd9af28f607d577487fdd0c6585071bc8232","datavalue":{"value":"https://doi.org/10.1007/11817949_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756614$40A60247-77FC-4D19-A2D7-2E3159AE0070","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11c809feb9be6b1cded6b0495367f7c2400800bd","datavalue":{"value":"W1583654333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756614$54051EFF-E33C-4D45-9DCE-48474EDC3634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa2af0c2736b86a0d609e02c2adefc49ade8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b243108a487a0ce2b4597aa7eeea6306cb22f3a0","datavalue":{"value":{"amount":"+0.8270819187164307","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":"Q5756614$105FF879-B825-445C-AA99-26AAAB8C83FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84259e5c406fadf359a20b9170649d4d5d7b52","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f523bba46f4e9a72670b982cb8ba12f8e421664","datavalue":{"value":{"amount":"+0.8262917995452881","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":"Q5756614$E7ECACB6-3E0C-4F63-B308-EF76089FC26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee915f4abc6559a69fc1814b4f51bb66befb1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587928cbb0dea9446a9d09f91e7ed9b8d6a606f1","datavalue":{"value":{"amount":"+0.8254691362380981","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":"Q5756614$4B5CA75C-0EB6-4156-8D07-CDA22C4817D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244e8dbfbdf72d970bb1db2c8763ab4822463156","datavalue":{"value":{"entity-type":"item","numeric-id":1028732,"id":"Q1028732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb1069c2797aeacb89ad9002edca32382623df0","datavalue":{"value":{"amount":"+0.8035417199134827","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":"Q5756614$0E28306B-8DCF-40A6-A947-6E791AFA3B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926d5fd206d217b5f7121e6493f9afd4e589f575","datavalue":{"value":{"entity-type":"item","numeric-id":853721,"id":"Q853721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d18fccad22432ee6787a0f7e48dcf1bb7b11e17","datavalue":{"value":{"amount":"+0.7897489666938782","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":"Q5756614$47419BD4-16A3-4234-8648-A7ED1C56B967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756614"}}}}}