{"entities":{"Q4823139":{"pageid":6852719,"ns":120,"title":"Item:Q4823139","lastrevid":74926680,"modified":"2026-04-15T01:02:56Z","type":"item","id":"Q4823139","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110619"}},"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":"Q4823139$F86D8A5C-D0D8-4AC7-9AFB-2F583CE679EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d098e081ae33d7bcdcf426b64cb744f42df8e4","datavalue":{"value":"1097.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823139$8AD07B6E-8FE5-4CE8-A566-6DDAD52C2823","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823139$B5EA9B0E-0E09-47FA-808B-D1F4DF1CAF4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d189060835c8b07830e372ef6f5a59e9a201b3","datavalue":{"value":{"time":"+2004-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823139$F41D8DF2-AC2E-402A-8B27-FB47073BCD35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823139$7D741E55-E1BC-4F60-829B-68220700A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823139$28B76419-5AB6-4ADD-9EC0-9F21335B4E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823139$DE6C9078-6783-49B4-B1BD-54A313E63880","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a74e9eac997a04a6491e92347c7e94a3d4e5270","datavalue":{"value":"2110619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823139$3F40CB97-C89D-473E-8324-3EA1E408644E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7cf288a135ebc768a0d546b1182bf2d9e745a9","datavalue":{"value":"temporal logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823139$264F343B-E284-45D6-82E4-FE2544CEB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7b05367424e7bcc6c8d8a313ee877972eed772","datavalue":{"value":"state explosion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823139$90D1FF37-6E20-4052-B50C-A2DC3851F7A8","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":"Q4823139$415B4D40-CDFC-4A81-A918-7C7E87F84CAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91c30d2421a29a7c6ff57f2d196a6b9b5b4c037","datavalue":{"value":{"amount":"+0.90574312210083","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":"Q4823139$666ED206-F63C-41D2-B1A1-4C74B75FBA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32964b1709d05c22761e3f8cbd8e34288f618749","datavalue":{"value":{"amount":"+0.8777257800102234","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":"Q4823139$6806640A-C049-4789-BC67-37A65185FB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdfcf297e1870fbdc9ebe5100f7830f5105aa58","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8575755f8c672bc2692e55ebbb6c96bafd211ff","datavalue":{"value":{"amount":"+0.8698121309280396","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":"Q4823139$EA2B8DB5-C306-4BB4-96CB-2F71BFC0AA38","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":"3b3a369a7b53de8058174217a186049c15d21209","datavalue":{"value":{"amount":"+0.8581584095954895","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":"Q4823139$C07810F1-FA11-4047-A0B2-3E795CB1B20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf55ad778d5220e73625a2e0dbb604798fac56e","datavalue":{"value":{"entity-type":"item","numeric-id":4411975,"id":"Q4411975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b384fbc3bcf761683abde10b90dad9745ce1377f","datavalue":{"value":{"amount":"+0.8538140654563904","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":"Q4823139$FE38FC67-63E0-4ED1-BBE6-00F2DE8E7D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2110619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2110619"}}}}}