{"entities":{"Q3614879":{"pageid":5644785,"ns":120,"title":"Item:Q3614879","lastrevid":50606942,"modified":"2026-01-14T13:31:38Z","type":"item","id":"Q3614879","labels":{"en":{"language":"en","value":"Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529450"}},"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":"Q3614879$3A2FB1E4-B0ED-486E-977F-53B3CE410FFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"597b03897ca5f34c879696596db04873fe109e59","datavalue":{"value":{"text":"Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614879$C9A37978-AF19-4EE8-913E-B6F2B9CD8CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fd09b0819ee3311dee81a4f35d6971d140964a6","datavalue":{"value":"1226.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$3D12EE1C-72CD-443B-A986-3A732FE948E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c00ca6fdd78a03983ef517c891c4805c37ad3835","datavalue":{"value":"10.1007/978-3-642-00431-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$3742ECE0-AC5C-4848-B649-D8D110CD676A","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":"Q3614879$22F24FF0-7A87-4F16-B1B2-E9F3680FFFBD","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":"Q3614879$369E32ED-7E9D-44F6-95C0-CEB17072DC7C","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":"Q3614879$970DF846-969B-454B-AFB3-488F833A66F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$67403FF7-7CF0-418E-B69C-BEA9C96DB381","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614879$05B22585-B23C-4916-A1FD-9711351FE66E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$4D128B5C-FEA2-4D67-A117-4C7CDF9885AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$992FD5BF-D0BD-489F-945C-428FAEF3423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$274DF469-5D4A-4920-9E38-FCD61069F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$0C338EE6-D120-4506-A757-44F6D08FA4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$090F2C0D-426D-45D5-9C1D-FBEB43D46569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddd678f208c6126a42708350cf528aa6b4b5ca25","datavalue":{"value":"5529450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$E752E62E-E4AA-4859-AD21-C8A860EB1CCB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$421EB9F1-5CE8-480A-AFDE-4FEFF3ECC72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2b4000931c3cc465a22e2dc2b368c5976c93020","datavalue":{"value":{"entity-type":"item","numeric-id":21447,"id":"Q21447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$61875B05-4407-4AB6-9B30-8691FFCF862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$C83C2D16-5C17-4181-B149-FBD9B0A37C33","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":"Q3614879$A33D993B-0ECD-4B6A-B120-98FBCB80C874","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e052a27c78c7c96d2372d410a5de0960379122d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00431-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614879$D99667FB-8F6B-4F1A-B88D-3EF6F12F0E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d996576797346545b5b8bfbd5fd909962cfe72bc","datavalue":{"value":"W1552474335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614879$AEF619F4-004C-4805-BA79-5AF7EA68314E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ddbd70edac11c3dba98f0218b7a5228bd81dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4417931,"id":"Q4417931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$1DBFBC7C-CB77-4D06-9351-DFCD0B1553E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$AB35CEFE-18E5-484F-A924-0C5B117E0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$F894B005-D614-410D-867E-CB5883B2733B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$16B99506-5A53-4FBD-ADD9-F4A9D3C746EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$D79864CC-8CB9-4E4C-B3F9-72F13732ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$6DE40EB7-EC48-47B2-8FCC-BE088B6BA2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$02744BD8-C0B0-43C5-8DEE-8F31FAFBF859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7008495aad203b627247e8bade0d9c2e46a290","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$93439DB9-272F-4613-8F6C-1F991A63D21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c477a9c9851932b093bebeaede7d86bac34af04","datavalue":{"value":{"entity-type":"item","numeric-id":3525144,"id":"Q3525144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$2524A956-97F2-42AF-A256-3276FA9407E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$A9AE1D9F-DA47-469D-9460-95CCB0CA914F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$C1CA48AB-1C7C-4723-A217-2724D40087EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a125502fa850f6a5ab3619570f7db924c393b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3680260,"id":"Q3680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$3F0C78C9-F172-42F6-A8A9-9265B8A53051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$C02C1AC9-07C7-43F6-AC7F-FF09E0EB50B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbca74a7f343f56effd39e49e9c455d07fe124b","datavalue":{"value":{"entity-type":"item","numeric-id":4507826,"id":"Q4507826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$68BAAE79-2142-4C7C-8A1B-9DD12D7BB81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$CB855AA6-AA12-4041-8ECE-98F90F66190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a308bf45ac10caa0c16c088edcd214d15563f29","datavalue":{"value":{"entity-type":"item","numeric-id":1079021,"id":"Q1079021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$05643D01-45C7-443D-AD38-9FC891D3060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614879$D0AC3A6C-6035-4618-AA9A-FCDD479726D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027267e12154091711cc58f5675393c010f454c8","datavalue":{"value":{"entity-type":"item","numeric-id":3081902,"id":"Q3081902"},"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":"Q3614879$A5198D2C-DFDF-4834-B6B2-3F1735F24188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e91974deaf1743a48c0ff0230be9959ad2d805d","datavalue":{"value":{"amount":"+0.8315039873123169","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":"Q3614879$ABD6DA1D-B09D-4C52-A390-14EF09B14336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f5c614465b029d0283f77d694fcb6fd70711c4","datavalue":{"value":{"amount":"+0.8085851669311523","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":"Q3614879$20A6F97C-1D2E-45EF-A05A-99FBB74B9D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed0f4e4e2b5a6013013ac308c5eff9a97a5d509","datavalue":{"value":{"entity-type":"item","numeric-id":3648692,"id":"Q3648692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f4763b4ac989e3c9f9fedd5653bbcc3f1e9b97","datavalue":{"value":{"amount":"+0.8060352206230164","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":"Q3614879$5FB3E150-C6F9-429B-ADB5-65116C582D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a905f6adf3172db071d8e26af7bf46acec3dbe2b","datavalue":{"value":{"amount":"+0.7883440852165222","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":"Q3614879$68AE76C1-83B5-456F-A8C6-DA22CE2524D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614879"}}}}}