{"entities":{"Q4038723":{"pageid":6068441,"ns":120,"title":"Item:Q4038723","lastrevid":55241038,"modified":"2026-02-05T05:32:19Z","type":"item","id":"Q4038723","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177845"}},"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":"Q4038723$831C7D45-CBCE-4E36-AFEF-B1C606ABE0DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062bcf73eb717c5bb784383df619b73802d9d8ef","datavalue":{"value":"0765.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038723$3B99A187-4065-408B-9A7E-FB3562292CB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038723$ED1FCFB0-4DB4-4CE9-AB8B-35E2FD09FCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038723$25EA2540-2079-47CC-8243-EC56421C5DC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038723$E87CDDE1-220B-4FFD-AE1F-90D6AC5E34D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038723$671FD0C3-6C49-4686-876B-07F80F5C53D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038723$BAECD884-1317-4163-8FF6-89EE7E3F6648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f757f0c3e2473b4cb9045e9ef97f88fc81b0693","datavalue":{"value":"177845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038723$53766330-24FD-4A7A-8E37-050F13BD676A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038723$9C74C4AE-6D9C-480F-B79A-5DEF9EBC062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038723$744B47EA-2AB4-430E-8606-B10FA6D24A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6f0f4ffdd52e596485de01942e5db0e55bb550","datavalue":{"value":"relational coarsest partition with stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038723$6D62D586-4759-454E-BFD9-52B94537A9D1","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":"Q4038723$80C3D304-6365-4817-A0D9-80177AF8B5B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482e9892e7b207aa67cab3e915df2c2de90dfbf1","datavalue":{"value":{"entity-type":"item","numeric-id":2272927,"id":"Q2272927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1a83fda2219e13a0507804807c00e5da4f7f19","datavalue":{"value":{"amount":"+0.8906084299087524","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":"Q4038723$2CEAD9AE-E755-477F-8320-011E5021C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b962d1c4f9752c374d0b16355a358735a90595ba","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5456847fcec77327f46ca10da7f4ab27a66742e4","datavalue":{"value":{"amount":"+0.882895290851593","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":"Q4038723$39F095E4-9663-4307-9289-C3E4C6CAC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8681093178d2a3e04380a4dde6a35f102a019d","datavalue":{"value":{"amount":"+0.8232927322387695","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":"Q4038723$91C47A31-1E5B-43C7-B445-A492988E060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396d92cd722c661edf2ceb84c741c7b5615595eb","datavalue":{"value":{"amount":"+0.8083645701408386","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":"Q4038723$AF25786F-83AF-4D0E-BF76-67091141C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9da80b34dc55776198b36dab2de7a0d369dd0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c502e858ae3d1e070716a093d8c980f1a58439ac","datavalue":{"value":{"amount":"+0.7960686683654785","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":"Q4038723$9FA46827-605A-4B90-A641-B2A42F6D5A54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038723"}}}}}