{"entities":{"Q5308366":{"pageid":7337940,"ns":120,"title":"Item:Q5308366","lastrevid":50173805,"modified":"2026-01-13T09:07:19Z","type":"item","id":"Q5308366","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196426"}},"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":"Q5308366$46D83BCA-A8D0-4975-BE84-CD4F32ADD6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb5a511cc0bafa31a131c11086b49e73b1d67546","datavalue":{"value":{"text":"Model Checking Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308366$804CE499-5A4C-4AD5-B5D0-76190C61B63C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc65b73f4a15e5fabc63ecc200d85c97a63033bd","datavalue":{"value":"1125.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$4EBB0889-6476-4596-97F9-25274FF6712C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3524b9c32b1166213486322dd60fbb6b441c057","datavalue":{"value":{"entity-type":"item","numeric-id":2867931,"id":"Q2867931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308366$2BB56B74-0FC2-4629-BECA-DFF96F7851BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308366$67F96126-1083-4B52-8FC9-53D8488D7179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308366$9502369A-0BF4-451D-A543-FE8A1DC30A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f3bb612485fd64be80be5677ab1cdc0f4709762","datavalue":{"value":{"time":"+2007-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308366$0A6D72A5-8A29-4433-B2D3-299393983B3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$6C156482-DC50-4A32-8863-11B5D1A5C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$2B518918-4817-4231-A0D8-84F17A125DD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35dda1336fce699b542fb5885b78d6d8746efe26","datavalue":{"value":"5196426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$D4C76744-B9C4-4905-8F3B-9D89DBC6070E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308366$D58583B1-01AF-4D84-8061-2CCCB3158A2F","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":"Q5308366$222C6382-797B-4434-9629-8D99FBE27FF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67b07cf25a7bcd2b7383e6842e44d0622bfa8463","datavalue":{"value":"https://doi.org/10.1007/b96721","type":"string"},"datatype":"url"},"type":"statement","id":"Q5308366$9CB395E1-13C6-438B-B277-FDC5E65427DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb07931e27c30149d706a592e0efe9e55dede24","datavalue":{"value":"W54779658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$9542898E-64CC-4E04-B684-29A7B5B34F30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71045c035fc00297753f01a93c25530b066ce019","datavalue":{"value":"10.1007/B96721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308366$7AF0F496-CC5E-4541-B95C-7B28652D45A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6891cd5965d1ad38380206eb76364c8a837f76f7","datavalue":{"value":{"entity-type":"item","numeric-id":5325842,"id":"Q5325842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b732248c30b21698c5b9fa4c46a190d046a69a53","datavalue":{"value":{"amount":"+0.8277128338813782","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":"Q5308366$A5540921-8C94-453B-A92E-AC05108ED0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac69de93cca528200345a6b9337658f32bd4178","datavalue":{"value":{"entity-type":"item","numeric-id":5492993,"id":"Q5492993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323675a32df8ff219253eb6d79babc4c8db75fe0","datavalue":{"value":{"amount":"+0.8135026097297668","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":"Q5308366$E9BC40CD-7D85-4FDA-BB12-999B89676EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96085d2e0739ba30fa5342c46d817cb32985e92","datavalue":{"value":{"entity-type":"item","numeric-id":4356446,"id":"Q4356446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2f32680ccc8c8749816cb0e2f33438782c5e53","datavalue":{"value":{"amount":"+0.7748947739601135","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":"Q5308366$771055C6-0E9C-42A5-AD59-42AB01388EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7627391e666e8459153322fbee0272fd168175f6","datavalue":{"value":{"entity-type":"item","numeric-id":2852026,"id":"Q2852026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286e36c65475951783496b6d5e267bcab8c5b118","datavalue":{"value":{"amount":"+0.7628442049026489","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":"Q5308366$94AE67B6-1165-46C4-8948-FC5F119E7EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b23031119db85804c6bf503e136e1f830950199","datavalue":{"value":{"entity-type":"item","numeric-id":5308364,"id":"Q5308364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6971277bdc2ad276d8377065f06ad2f240dc43d7","datavalue":{"value":{"amount":"+0.7380898594856262","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":"Q5308366$CC9111AE-5F3B-46D5-9E53-DDBE6CA63B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308366"}}}}}