{"entities":{"Q3528929":{"pageid":5558833,"ns":120,"title":"Item:Q3528929","lastrevid":50472440,"modified":"2026-01-14T03:35:02Z","type":"item","id":"Q3528929","labels":{"en":{"language":"en","value":"Hardware acceleration for model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353388"}},"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":"Q3528929$C4EB45A7-ECA1-434B-B8D3-A33ECBA205D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc02bb527887ed8edc3acf3db382a73c8a5183cf","datavalue":{"value":"1160.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528929$DB91D8EE-5243-4788-AA2E-8117D519CA93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67db738459ce2fe376c1185f34343472a6b43058","datavalue":{"value":{"entity-type":"item","numeric-id":3163937,"id":"Q3163937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528929$545A22BA-0AB7-44C4-A4FC-D91FC600E4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528929$0BC91C37-0954-4263-835E-9BCFFD704C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"945b76d6ab66655c70293f5795f7470cdc807f1a","datavalue":{"value":{"entity-type":"item","numeric-id":487827,"id":"Q487827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528929$36110609-F139-4148-9A05-1A6BA2EAA46A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f51f874f60a0661a38f64a7f4753a2a4e6d82d5","datavalue":{"value":{"time":"+2008-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3528929$8D9C90FD-C3F7-4786-9D6E-4C9A848AED73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528929$B214FFDD-F827-4FC2-8C0B-C5527AA07146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528929$12C24800-64F1-47F9-AB9A-DA43D57BB6E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06956f2f9262abf80dda2501a985a8a6ddd3744f","datavalue":{"value":"5353388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528929$89C951D8-52EE-4515-8C63-40D0D53E1AC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cec4677fb93dd2bdf34c101c24fbe19ec9b8caa","datavalue":{"value":"reachable states","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528929$017C7474-8F96-46FE-A43E-F0BABEB647CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb32664486ffe9c43f557a579313080d053d5c4","datavalue":{"value":"massively parallel hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528929$87C9BA67-08DA-4494-A9CA-CA2E1DD3F2B4","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":"Q3528929$7DAF6140-EFC6-444D-806F-AF64C829F220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b320ddf449b035c116fe952bce27279cf55498b6","datavalue":{"value":{"amount":"+0.7751123309135437","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":"Q3528929$7929D559-3091-4E51-9025-F65139606512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8558fd6e46df99648ccc94db907750f474c974c","datavalue":{"value":{"amount":"+0.7717849016189575","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":"Q3528929$2426A37E-2DE3-4B99-8EB4-DE16CDF057D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd5c7c3f6a604ec8055c2ef4d21742e91b3a7c8","datavalue":{"value":{"amount":"+0.7696666121482849","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":"Q3528929$701DAF7A-2BEF-4819-981D-471A63EE92D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc73df81c806960fe2634a3d1cc2f178eeac6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3176363,"id":"Q3176363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd5c7c3f6a604ec8055c2ef4d21742e91b3a7c8","datavalue":{"value":{"amount":"+0.7696666121482849","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":"Q3528929$F9AD6DE9-3E94-4183-80CE-B31F2765CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d50f66d9bd2077e67b68892a028d58fbb300c6","datavalue":{"value":{"amount":"+0.7587568163871765","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":"Q3528929$6A5D2357-FE5B-4880-BDC4-C9A58A672566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3528929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3528929"}}}}}