{"entities":{"Q3133158":{"pageid":3143874,"ns":120,"title":"Item:Q3133158","lastrevid":53018174,"modified":"2026-01-24T01:20:21Z","type":"item","id":"Q3133158","labels":{"en":{"language":"en","value":"Partial order reduction for checking LTL formulae with the next-time operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837730"}},"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":"Q3133158$D3C6C36D-850E-4638-8A40-D71F8E496641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1493d88a5949e01db944f62be868ab988c13bb","datavalue":{"value":{"text":"Partial order reduction for checking LTL formulae with the next-time operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133158$079C3DD9-4B4F-4902-BBCE-75CD4A5758FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394bc0510d09dffda284c7dc6d3b5a248817355a","datavalue":{"value":"1380.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$A575783B-868B-4808-A409-D507A8B44315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493d1b601e4cc8bdf6313a019b00483d29e270b4","datavalue":{"value":{"entity-type":"item","numeric-id":3133157,"id":"Q3133157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$3F89B8EF-04FC-4102-AED9-7600CB99CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b6db3d4f774e71f7690c8093923bc6dab09c014","datavalue":{"value":{"entity-type":"item","numeric-id":899457,"id":"Q899457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$CB48063F-ED75-44AF-800D-879F7F1BFDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1f29ab06d0d5e05c6e14f6b3efb5c1798f9441","datavalue":{"value":{"entity-type":"item","numeric-id":288116,"id":"Q288116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$7357E875-A033-4232-8630-53DB1D3E730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68a05af00d2b70207d5c95e53533c47ba1bea814","datavalue":{"value":{"entity-type":"item","numeric-id":520856,"id":"Q520856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$32B26E5A-474E-4E5A-A69B-52F54C696148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840be54d88a1ee2ad3a49c5d3719796d60820e38","datavalue":{"value":{"entity-type":"item","numeric-id":2003671,"id":"Q2003671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$93BCA868-29BB-4528-9B82-F3B3B7B905C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133158$F3EC9EB1-7059-4914-AC9F-543ED0DA0810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$33FDF957-4CE9-4269-A806-64DBDD2B38E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$492C9314-DF8A-4C25-962A-830218AA2218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$E1F3B689-A790-4672-BD52-2EE23AA6F5D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c60daa3db87b9fe54bf9ee0910f79d370008d5a3","datavalue":{"value":"6837730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$67BFDF4C-215F-4AF6-9358-4575B4F560DF","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":"Q3133158$A1EF5A50-6CDD-4883-ACC8-32627293F38C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b4d54869b1bd0d19f7859408421eb9cb6c787bb","datavalue":{"value":"https://doi.org/10.1093/logcom/exw004","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133158$ED7D52AD-DCF4-4090-A79B-18F746192609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3816cc3a1b114b4c8759eeb2da80b41c22871c90","datavalue":{"value":"W2345601976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$13DDE672-4DE8-4773-8EDE-A24750ED59F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"059e152ae362901fc30f6d3ee9f4083ee740921a","datavalue":{"value":"10.1093/LOGCOM/EXW004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133158$78020341-E934-47FE-8C26-5AF75CA68CD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133158$B088CAC1-6BE2-4123-9644-7EAAF9FF46FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7935ca3e3933dbb2e4aabc919fd68dddbba80314","datavalue":{"value":{"amount":"+0.8209001421928406","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":"Q3133158$EE117F13-182D-49B9-96B2-336F0EE7716C","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":"259a9778b857c4d9068e608f72f0c72048fe2acd","datavalue":{"value":{"amount":"+0.7975309491157532","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":"Q3133158$0B0D02D3-AB2B-485B-99C7-A8DF4E0F4531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381d83fcf2734c1d0e49bece29bfb2c07c474910","datavalue":{"value":{"entity-type":"item","numeric-id":4507826,"id":"Q4507826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834ff94e97567ee76774dd5d854e1d6a993b1441","datavalue":{"value":{"amount":"+0.7755627036094666","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":"Q3133158$6C03774E-32D2-40F8-9CE2-E9DCA2E702B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cb8b183ed5ee1763da8aba5e0e26740d34f837","datavalue":{"value":{"entity-type":"item","numeric-id":549692,"id":"Q549692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834ff94e97567ee76774dd5d854e1d6a993b1441","datavalue":{"value":{"amount":"+0.7755627036094666","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":"Q3133158$AAA6E5AA-046E-484A-ABE0-528FB636FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae0f61005960c61702d67206cfe96806a3ec622","datavalue":{"value":{"amount":"+0.7674844861030579","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":"Q3133158$1F3CA9E5-A161-49D2-B0A1-5770EA31F1FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133158"}}}}}