{"entities":{"Q5166707":{"pageid":7196279,"ns":120,"title":"Item:Q5166707","lastrevid":94391168,"modified":"2026-06-05T06:41:25Z","type":"item","id":"Q5166707","labels":{"en":{"language":"en","value":"LTL model checking with Neco"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314173"}},"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":"Q5166707$B95AFF8C-C8CB-4E2A-B36E-7B5255007482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94374c6835aeb3127f0941f6cf85813d2a1bf2c4","datavalue":{"value":{"text":"LTL Model Checking with Neco","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166707$B956DEAD-2044-4A8E-9506-9C4BB986629E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4748c16fec27fecb6dcdc0853308b1a54320038d","datavalue":{"value":"1410.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$E33C1336-67B8-4E66-AB42-7F831E96360C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4622b5d1649af962873c91d222efcc5e0499cff1","datavalue":{"value":"10.1007/978-3-319-02444-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$604D55F7-35A6-4763-8D6B-89487E845B0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ea522227ecb38b6174c42f9695369ae9f8cc15","datavalue":{"value":{"entity-type":"item","numeric-id":3388710,"id":"Q3388710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$5B7A4291-FC2E-4A57-B8DC-420E1D296533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$4255F51B-7E1F-41C9-8AC2-AAB3D6302AEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$7B0EC4A3-1EDA-4308-98D1-C361E5E45E4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166707$9534DD03-CB09-4DE9-9371-25DE4E035079","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$FEAF3A97-6E0D-4C15-86B6-AAA20A252026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$7DDBEDBC-5AFD-4DFF-96E4-A41847ED17B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$1595A183-12FC-4F11-9996-BA2912ABC376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2c1c30871db1bd2a2e52377cccd1cf9aeeb8998","datavalue":{"value":"6314173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$B3B7F62A-FA76-479F-9261-872360E0F650","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$C266FDE3-1FD4-4AAF-B920-6B27F4794A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01068d7301d32449394e000d5de6514e5c88c468","datavalue":{"value":{"entity-type":"item","numeric-id":21457,"id":"Q21457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$6AD838DF-F9F8-486E-A7BD-B45BD5738A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9def6c8d503f3132830f8699b998a05402022785","datavalue":{"value":{"entity-type":"item","numeric-id":21458,"id":"Q21458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$DAC6983C-4457-4A02-9777-C9011CCBEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04c3c1a94028e7425617df35cf358d86a96f6b2f","datavalue":{"value":{"entity-type":"item","numeric-id":21459,"id":"Q21459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166707$63FA26B4-BE42-4248-B323-B2E511E55186","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":"Q5166707$C2FB6980-2F36-436C-B082-62AD7DE75653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fdb01824f9ea84264335306f8c0ddc32e01e247","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166707$4566169F-6AB1-49A9-871F-6AFA5DAFCA10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2438f8e503b7b987b917d708225fda431cb3fdcf","datavalue":{"value":"W2134056608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166707$C11F2377-49A3-4772-ACDA-6069A36C1A55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb3925ba468783c9986cd02d6c6ce22916c1121","datavalue":{"value":{"amount":"+0.7827526330947876","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":"Q5166707$9FBA7EDC-EAE5-4A6C-AF3E-59D17A2030E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f5edde9a232b3906fb6301aa6aed8316baaf56","datavalue":{"value":{"entity-type":"item","numeric-id":3152935,"id":"Q3152935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a5b22932ff919c825439c2317c51e7ed3a3277","datavalue":{"value":{"amount":"+0.7713677287101746","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":"Q5166707$83E12523-AFC4-4790-B9D1-76204CB39F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486d5c88d1a1e744d0ef79c863f6f0b287e1435c","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a5b22932ff919c825439c2317c51e7ed3a3277","datavalue":{"value":{"amount":"+0.7713677287101746","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":"Q5166707$83A2B926-F34C-45BB-99B1-C747E13C09CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58649780c44d0e6e266dcfe7f7ffd4b10e2f702","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2ecda8e784f5e04ecc83b3b4940f5d75a1af4a","datavalue":{"value":{"amount":"+0.7666643857955933","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":"Q5166707$3D09C7DC-A666-4D65-B844-11842A75BB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c53309f0a02ca8804fa585e7099d5e999c420f0","datavalue":{"value":{"amount":"+0.7646593451499939","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":"Q5166707$C22CFA8D-4B35-49B5-86DD-18D80395342F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL model checking with Neco","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_model_checking_with_Neco"}}}}}