{"entities":{"Q5394563":{"pageid":7424137,"ns":120,"title":"Item:Q5394563","lastrevid":49959949,"modified":"2026-01-12T07:39:57Z","type":"item","id":"Q5394563","labels":{"en":{"language":"en","value":"Model Checking Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069669"}},"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":"Q5394563$D2880866-D744-4197-8C1F-727C5E32562A","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":"Q5394563$E3E1688D-8ADE-4C8F-9534-BD0084DB69B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a264ebcd0968477179c6751118e169700a1f9f2a","datavalue":{"value":"1151.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394563$5FA6D283-48B4-4880-8BF2-B518EF5DC166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a18c3e5ad1c3afb1c8ea0b9f0b4a638bc4fc068","datavalue":{"value":"10.1007/11537328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394563$D1795A7E-6018-4A8F-A13B-BC497274DBB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041e067e82387ba5fe76abdfd892112bf34c154f","datavalue":{"value":{"entity-type":"item","numeric-id":5394562,"id":"Q5394562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394563$52C0B260-BAF2-4E40-B28D-B18AEF04DC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394563$BF3D2534-7591-4C74-B3A2-318A16B35E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07f09351f9541c93daf8196bdd71996b8de2280a","datavalue":{"value":{"entity-type":"item","numeric-id":784153,"id":"Q784153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394563$EDFEF7E2-76E9-4F52-B5C7-DED8ABF43204","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":"Q5394563$E08C5AF3-2BBC-4759-8E2E-9EE9474239A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394563$FA17EB6D-5366-4C36-B8C8-DC21E2A96EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394563$7C9D3F86-D26B-4370-971C-DFD1BDB59B59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99866951bc799b043c70d985d0207442800be174","datavalue":{"value":"5069669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394563$2C1A24C9-6ACA-4F17-B560-28BA5160DA2E","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":"Q5394563$98D8A8D0-C6B5-4424-A94E-865DC0C5E42E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf16d6b085cd6581444f4dd3d6c6969a9f4930b","datavalue":{"value":"https://doi.org/10.1007/11537328","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394563$45B2B871-9D67-406C-B5CD-FF235C58C022","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82eb5b6d0c3cb37e9715fa5e7ac7a928c6c952dd","datavalue":{"value":"W2492029314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394563$8663FAC5-171F-441F-8B39-34DC4A246754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d0abd172ad3f520255beba4b80b8936913eda32","datavalue":{"value":{"entity-type":"item","numeric-id":4738477,"id":"Q4738477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcba255f28e4b3e5d8a11c12d72a233a4b40c39","datavalue":{"value":{"amount":"+0.8152502775192261","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":"Q5394563$FB8C1E30-849C-4BC5-826F-C82C64D87C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fae30dcc10fc70f92f8259ef7a30129858e4803","datavalue":{"value":{"amount":"+0.7977827787399292","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":"Q5394563$7B47CAB6-02DB-4995-84DB-9F1B2457F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c5b064e194d2cfda5b9786389d9cfbed9f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5506380,"id":"Q5506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294daeef8943654ae367f0763d87f54f90e58ff4","datavalue":{"value":{"amount":"+0.7973400950431824","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":"Q5394563$A65ADEB4-96CD-49B7-A1E1-8F4A27ED8D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904a9fc883bac9a46283aa89d537e36eaa033b6d","datavalue":{"value":{"amount":"+0.785074770450592","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":"Q5394563$5CE2154B-1BE5-43B4-B202-4BB07370211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc70b232f229846f062d07baecefb66f62446de","datavalue":{"value":{"amount":"+0.7850484251976013","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":"Q5394563$1B092315-A337-4828-8CD5-9C51BC5DBD7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394563"}}}}}