{"entities":{"Q3400570":{"pageid":3411273,"ns":120,"title":"Item:Q3400570","lastrevid":50897381,"modified":"2026-01-15T15:40:00Z","type":"item","id":"Q3400570","labels":{"en":{"language":"en","value":"Model checking for graded CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666780"}},"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":"Q3400570$AF2C67C6-4D96-4C95-8E31-31D930B55517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4100ac2315566d42d305cddd64d9499dd5ebafab","datavalue":{"value":{"text":"Model Checking for Graded CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400570$0B057322-5325-49B4-931F-122E9C0252EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f802ed8c991e08d711e1bd26e8e1ad0341ae029","datavalue":{"value":"1213.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400570$359BC032-A358-4151-8CB6-3F8C12AB2A42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e24838dcb604804ea0009b935524429dd7244200","datavalue":{"value":"10.3233/FI-2009-181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400570$6E67DB9F-E3C3-45BA-BF0F-F7317AEBDDF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b797c575157eab559005f02368290434a93f0965","datavalue":{"value":{"entity-type":"item","numeric-id":1006064,"id":"Q1006064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400570$A3360B5D-6BE2-4197-A6CC-F808DF939AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400570$0D1B4C3A-4F38-4F6D-BC08-5BD16D27FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400570$E839E8C4-820E-4C59-8BB2-154363B557AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400570$D00795E1-9CD8-467F-B51F-3E056224EB18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400570$03FE5B69-14BC-4855-B52A-AB5005AC743F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400570$ED687D7A-F6F7-4994-8620-EB45DB868531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400570$D8299545-ABF5-43A1-9785-6BDC97929D86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b2eb96d4f4e4556e8a18603c962b49659c2d90","datavalue":{"value":"5666780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400570$AC02EBDD-D8B9-4AE7-99F4-242E9DD70123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db77dbe0230928fe461ceeba71d661fa7f188cff","datavalue":{"value":"Computational Tree Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400570$846FE542-3CBA-409C-857B-9A25B846AB37","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":"Q3400570$94879650-8D33-421D-A605-15D9F80390A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0888fc58f4d9cf438db5d2154cb0721f619aadad","datavalue":{"value":{"entity-type":"item","numeric-id":3540061,"id":"Q3540061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8425dc46c4f866f681460d54f8e12ae42b4220","datavalue":{"value":{"amount":"+0.9712975025177002","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":"Q3400570$F6F82E7E-4D80-4BB6-9A0B-155E47C587CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf51772ce22f906b9656ad493d99e9d05d6a02cf","datavalue":{"value":{"amount":"+0.8745543956756592","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":"Q3400570$107E8347-407E-4553-843E-2D750A0BFC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bebc6a0f6b7db0bdbb945bf39664b8ffddd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c865463ab17833889388afa5652109899df65cc3","datavalue":{"value":{"amount":"+0.873590350151062","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":"Q3400570$1D8B5B2E-630F-4985-BF5A-E9B6D6BDB9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf346bb08405d624db7e5913084380ebd1a8b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3586038,"id":"Q3586038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977ac6d98294c097ecafd14f4f486699ffe2f590","datavalue":{"value":{"amount":"+0.8605682253837585","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":"Q3400570$8FB5B0D0-87F6-4B6B-8200-1C04DB031D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a6abadf66f072e719e9b1cd3cf4e0c782d32a6","datavalue":{"value":{"amount":"+0.858026921749115","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":"Q3400570$9107AA72-5C76-45D9-9E4E-C63721952FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400570"}}}}}