{"entities":{"Q4260713":{"pageid":6290314,"ns":120,"title":"Item:Q4260713","lastrevid":46692744,"modified":"2025-12-25T10:07:48Z","type":"item","id":"Q4260713","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330140"}},"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":"Q4260713$0D17561A-0241-4B8C-A340-2FEF26D54D32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b7f17fd640b10f571895aa24c50e81f08f6fe7c","datavalue":{"value":"0933.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$DD8479C7-643B-4D98-9C7A-28626F58FCF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26ec76975791a33a8548023f34e67e1bcb3cdb2a","datavalue":{"value":{"entity-type":"item","numeric-id":2566295,"id":"Q2566295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260713$9DD8D852-F966-48F2-9059-27108AE3E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260713$B278574E-DEFC-44FF-AFBB-1AD9F8D2A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b9be9b3ff46ec2bc7ab6c61706090886b94ede4","datavalue":{"value":{"entity-type":"item","numeric-id":4260712,"id":"Q4260712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260713$1C0CAAB2-196B-4C07-B7A5-3E82AADCDD0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6396f9edc21ea11b0fc814b36947c0853ff01a3","datavalue":{"value":{"time":"+1999-09-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":"Q4260713$D96CF574-C36D-44B7-8396-DCBF0C443F48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$A948D392-731B-4747-A80A-DAE3882370FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$9C753E19-262D-4F85-A21C-3448B9E41813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$B9A405BC-866C-43D5-BC63-AA7E8FC50AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$8DC57A33-B612-4DEB-A7AC-1D6D03B5CB61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"022ccc1a118e0df9f32cc21980f6b7e521c68d1c","datavalue":{"value":"1330140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260713$64399E93-6D20-4831-87BD-E4AA1AA6C922","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2778d1805b6c2f1e2674b8f286eb3823f922af72","datavalue":{"value":"probabilistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260713$459EB819-393D-4B21-BC8E-15D92265DA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f6d653a0f43d8025af1f0657b568c95c5fe15","datavalue":{"value":"probabilistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260713$47FC50D4-9F7F-418E-9147-CFD9E064BAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd707e47e05ef8e9bc138c5b0ef018a3a233a745","datavalue":{"value":"mu-calculus-based modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260713$101937E0-9E8A-4DA3-9586-CE9061C2E5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68ff4406d872f13688c82ffa31a0452f376acbe","datavalue":{"value":"probabilistic labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260713$CC5EF215-A2B7-4B4B-B51D-877ED066A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260713$079A5EC6-CD01-4756-9CC2-156F9E8F4CAA","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":"Q4260713$8D04CCB6-1D08-4A0D-BEDA-165B67BE38CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dce95db98d05bfe1364e64683ca0f6f673ae6a6","datavalue":{"value":{"amount":"+0.9730905890464784","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":"Q4260713$ED117AFD-51E0-4B4C-85E7-F684D3C6BCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696705414df38990724cec1c0d968fa4d9aa77e2","datavalue":{"value":{"entity-type":"item","numeric-id":4499172,"id":"Q4499172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa7761fae7df2a0f4755d6a3b874ecb69d08739","datavalue":{"value":{"amount":"+0.8565992712974548","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":"Q4260713$AFF9060D-48B0-44AE-9B3B-50A03AE32996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7de378df360ce9cf5747ddae0cfaf9ef2c52afc","datavalue":{"value":{"amount":"+0.8391896486282349","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":"Q4260713$9855F507-40F6-46A8-A174-8BF35EC44915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74a710b987fd64faf47e3772df9e8f8bf5842dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d42634f2705cf3ea8bf0b80ff4e86562a778a81","datavalue":{"value":{"amount":"+0.8387890458106995","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":"Q4260713$6E4F54CC-0983-470F-9933-08D150FE1954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac11ee7a9415a3a0d42c06d93773f69cdd301c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934885,"id":"Q4934885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc9961f2ac33adac47e6e6d07ba7514378985f7","datavalue":{"value":{"amount":"+0.8335368633270264","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":"Q4260713$61A832F1-773D-403B-983D-A99EC0B4509F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4260713","badges":[]}}}}}