{"entities":{"Q5754518":{"pageid":7784069,"ns":120,"title":"Item:Q5754518","lastrevid":50149727,"modified":"2026-01-13T06:54:42Z","type":"item","id":"Q5754518","labels":{"en":{"language":"en","value":"The automatic verification using symbolic model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5181777"}},"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":"Q5754518$92267E79-1C22-4C14-A81C-0DADB01E324B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d923802875aa17da3be2e7d80a43149a972aba60","datavalue":{"value":"1123.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754518$EBE0A956-3D68-43AC-9350-73B286E4764B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"904260c1f3b478aa81e02fbc905d5a62c7da67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3391590,"id":"Q3391590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754518$711BD36C-BB3A-4356-B0E2-A6C21280ECF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7809d7d740799f1d3201b8daf52c43c390824a","datavalue":{"value":{"time":"+2007-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5754518$8BD93B28-4A4A-4AEA-860F-C96428EB0DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754518$B5CF32BA-C2B8-48FD-8F90-63ACBC316A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afd1226a057d13a33eb4a29e60863d132e5d4edf","datavalue":{"value":"5181777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754518$21D860BE-9800-4FB6-A0AC-3D335D207E32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754518$FDC34592-CFAA-4D3A-8D33-E7855F7481B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754518$966CD24D-EC57-4F96-BCB3-6E136BE4017F","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":"Q5754518$9ADD5C1A-5FDF-459B-B827-E3A5E68D6F3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e54d8de457114334e18ac111d645b77f6ac670","datavalue":{"value":{"entity-type":"item","numeric-id":4255570,"id":"Q4255570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a62049a7da6436daed4a6ccd23d396411431a2e","datavalue":{"value":{"amount":"+0.8028108477592468","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":"Q5754518$AB647FA1-07D7-49ED-A5CE-65D8F8BD8CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39a62a287e20913cdf8028b6a8b497baad312e3","datavalue":{"value":{"amount":"+0.7955143451690674","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":"Q5754518$6A57013C-CD14-46FE-BE0D-626AA5EB369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb54291049cd7c307e00a87d8b921cd3a89ca67","datavalue":{"value":{"amount":"+0.7938832640647888","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":"Q5754518$15EE7466-3C22-4196-9697-C3C4E1DDAE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b4dc2a2e568e2a6df40e4b89264c931267d18a","datavalue":{"value":{"amount":"+0.7891833782196045","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":"Q5754518$9D56CBE4-E5DA-4ECE-9BF4-E69E3173EB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb095ab1efc69904578b329314ea3da013befb7","datavalue":{"value":{"amount":"+0.785688042640686","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":"Q5754518$3FDCA5BF-848D-4409-BE93-240E06DA19EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5754518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5754518"}}}}}