{"entities":{"Q3081902":{"pageid":3092617,"ns":120,"title":"Item:Q3081902","lastrevid":51203534,"modified":"2026-01-17T05:41:18Z","type":"item","id":"Q3081902","labels":{"en":{"language":"en","value":"Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863262"}},"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":"Q3081902$3CDE4D9E-9DC7-4133-8FC4-5BFB4C1F790F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d93ebd71693f9106ef260e793abed45428473e83","datavalue":{"value":{"text":"Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081902$99BA48B9-34A1-4236-909C-3025E3B9FF2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6760dd7cc70bd4d1c2d58badbfa9b6e42fcbdca9","datavalue":{"value":"1213.68382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$4026875C-9942-480E-B119-249CEFB7DF6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4ba5d9bcc4766550a029403c53aa8f571261b17","datavalue":{"value":"10.3233/FI-2010-276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$A342B213-0B7F-4AA1-9255-3FD5B9457D77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081902$D33D9897-7DBE-4A08-AA4D-3FCD929CD9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081902$DEED9A96-55AF-4E46-9491-B864A74C624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081902$991BF215-C62B-4098-AD35-8D2F162034B2","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":"Q3081902$72302A4D-529C-4B28-BC49-6BE2C4494BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081902$2FDC651D-AD9E-4336-905F-68B6A123C944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$7C9ACCD0-9984-4625-8582-B8DCB715F749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$F714035A-821B-4D8B-971B-0815CC9D9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$A6253A2E-02C1-4DE2-9597-F6E101A8678D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"941bb111f27fff220f3f4c93f4d553145de83ed1","datavalue":{"value":"5863262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$39309B93-9200-48FA-ACA5-DBE8C0464739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081902$AE2A0825-5CDB-4E4B-ADDA-F4C895819707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081902$E91912CA-A473-4A3F-92A6-1E742439BA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081902$1467A9F9-1271-481C-9D64-8B445F6B01D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a20200ed1dc18a920174aa592c1f88c5a472f03","datavalue":{"value":"interleaved interpreted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081902$B545C01B-BE34-4B23-8D66-D90680720F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cb9a0924a2fdec7255f0475cf3e9bef81d8711","datavalue":{"value":"stuttering-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081902$761E59C4-EF0D-4049-AB77-515A613890E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081902$7B6B578D-5E49-4396-AD0B-E64C2C863068","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":"Q3081902$396407B3-1988-4386-8038-B3E49B47C273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86dabadfc883a027869659d9f531ff0632c13eff","datavalue":{"value":"https://doi.org/10.3233/fi-2010-276","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081902$464FF6F3-49C0-4227-A6F2-FFA9275CD3B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71b450ae21f47e31daac08fe6ea90836a8f80f32","datavalue":{"value":"W1799163117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081902$C5CE22FB-EB21-461F-AAFA-DB54DB678CAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d64152106497ae5644814f7105924717b09175","datavalue":{"value":{"entity-type":"item","numeric-id":3614879,"id":"Q3614879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2473a20fccc0825a276b02007f2c7bccba55bf1c","datavalue":{"value":{"amount":"+0.8660532236099243","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":"Q3081902$2EA0726D-70B0-43CB-8997-9B4E38F190C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0fea26e1bd734d3d0b4a3149161ae01bb969fe","datavalue":{"value":{"entity-type":"item","numeric-id":2999187,"id":"Q2999187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73dfabb83f15286aa0437ff7df76926e93738373","datavalue":{"value":{"amount":"+0.8116133213043213","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":"Q3081902$79DCBB8C-E4DB-4DCC-A25F-C4336936F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece4443ecc95b004f08b91d80da2008e512c011b","datavalue":{"value":{"amount":"+0.7913424968719482","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":"Q3081902$5F1732B4-90A1-48D9-9237-5CF7AB62A360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291b72e7c1e86d615c0866d9a5f01f263d2eb038","datavalue":{"value":{"amount":"+0.7900065779685974","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":"Q3081902$2A1623BE-2F62-45E1-BAA9-7974CDE2DB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96abc383f0a4fbd014b7a86533718290c8bf9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3527267,"id":"Q3527267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3214a0d1ad29d04bb732b78c21729f0d6f43ec2","datavalue":{"value":{"amount":"+0.7860021591186523","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":"Q3081902$C62EBD1C-01C9-4B8B-9FFC-7F5016304C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081902"}}}}}