{"entities":{"Q549692":{"pageid":551459,"ns":120,"title":"Item:Q549692","lastrevid":62678286,"modified":"2026-04-11T07:42:48Z","type":"item","id":"Q549692","labels":{"en":{"language":"en","value":"Partial order reduction for state/event LTL with application to component-interaction automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925513"}},"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":"Q549692$489F13FE-2208-4FDD-BA98-76B4EA59E424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac8d7f0a6f4025ffb4d4fa098d799d79ade97a92","datavalue":{"value":{"text":"Partial order reduction for state/event LTL with application to component-interaction automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549692$7B6850F6-8F2A-40E2-B279-6B1DE411FE9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a74a8bb4c6c884c52f174c6ba0bf7428014f26c","datavalue":{"value":"1220.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$2D66738A-B939-459D-98E5-205088934D55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f011677603219067d218a4b99a6ffcbb65f437","datavalue":{"value":{"entity-type":"item","numeric-id":549688,"id":"Q549688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$A589D5E0-BE51-47B4-8358-C998A42A1C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"567f041071dbe0880917f1d9e087f36f9c135c37","datavalue":{"value":{"entity-type":"item","numeric-id":549690,"id":"Q549690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$18A27C4C-5FDD-4D9B-B483-CD48A55EE273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811eb738496cc9ab3bc4cb7709f23dcfc89b6161","datavalue":{"value":{"entity-type":"item","numeric-id":549691,"id":"Q549691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$3BCF92B8-76D9-4088-AA04-1DC80E7B0512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$535647FA-EDBD-4CBC-A0B5-78ACEFE61D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$384A5690-C378-42A2-A398-26C5D0E1BB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$4B141962-08E8-4B45-AEF0-FEEE3C2CAFF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$B8BBCF8E-91FD-4F3F-B5FC-E84B3030AD3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549692$7E6ECD02-7A80-4A5D-8526-AE39E70AD637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$9B52421D-4EF4-4888-98CA-8410F95D219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$AB6E3F7C-EC8B-4545-A493-D24B1E309BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$F00ADECD-8F13-49A2-AB81-967B66BB5C58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26f0ba93a9f958bcb263de0eba48af7af4a5e4dd","datavalue":{"value":"5925513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$B7D8D564-A1ED-4DBD-BCDD-967AB2EE1CD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0167e296936ad65259c8363bfc7ca24a007f7254","datavalue":{"value":"state/event LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$EFB67056-FF08-4617-B169-2E178CE1742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$176F6F3F-9805-4E3F-81DA-61B24715F5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$4724B24B-AE4D-4A30-B7C2-674CD3DCA725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$55895642-5382-4C3D-9356-DE887E60CB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd5d1d4b1a52d2cda35855ca30d9420f2b8426","datavalue":{"value":"component-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$5FCF6897-D4D5-4B34-B4DA-8A60F37342EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dfc7dca1efb23b0ce2b21b0688178a962b60264","datavalue":{"value":"component-interaction automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q549692$CF8E30F5-7208-4EA0-A842-C035243E73A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$15C23D3F-9852-4D41-BF84-718762F3A4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$645F0A90-3EE9-47E4-A406-D1F79E57015F","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":"Q549692$E3BD9795-264A-44C4-B762-B3FF6AEC4498","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88f2d3d85276e05c57112ccf3162a7be4ebac90b","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q549692$832A9991-46D1-42FE-B88C-3BAEF36A9B88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d42c07082a16b54a9d24e9ba3417e063b92d9023","datavalue":{"value":"W1976381588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$9B5DEF12-2CB4-4D66-AB83-F66854FB2DD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$BF4E8223-935F-4A26-8A7E-571C79198646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f369b4c0894259ebfe727f1a9326063f199f5","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$B1F58755-4C15-4C08-AF02-5EA119EAC86A","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":"Q549692$E0875ABC-22B8-404E-A1DA-EDA2A3ADB3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$A41E600E-3A32-4B92-AF41-DAE48A2A4FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$49F4B93D-8300-4140-9577-D8FD43C7B9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1d9b2b244b625d820a8233659bc5e08d9db86","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$336CD867-2B38-4CEE-A246-DA20CB7E62EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$52F28335-1816-454E-845B-172CE62AF25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$89696586-F085-447A-859A-6A590C3E2CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12b06e6ae1da03648e7ab22e363f7d0d9f46121","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$0035EDBE-8968-478E-931D-3FD93CAED0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4eeca4a653b9138f17ca22affa4e106c9dab69","datavalue":{"value":{"entity-type":"item","numeric-id":2917311,"id":"Q2917311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549692$97FA8350-62F9-4A71-816F-6BD4E2711E41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f6d3906a5ac4e93e5718cb882ccd2f72d3501ab","datavalue":{"value":"10.1016/J.SCICO.2010.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549692$D6E72CF0-DD43-403C-AE12-E667B45EF813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7f4990ff43248727e596f651071f07121fd0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb26379d58809832ba6b5bf14d71d869569245f","datavalue":{"value":{"amount":"+0.9769216775894164","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":"Q549692$E8C11374-9EEE-459B-A5D7-47E66BE8837D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab252062896d0fa263dbcde7842c2311608e533","datavalue":{"value":{"entity-type":"item","numeric-id":2917311,"id":"Q2917311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725e3a76e4daa0bf8e856b4f04214fa56b0bf3e6","datavalue":{"value":{"amount":"+0.8083075881004333","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":"Q549692$2B682404-3AFC-4C6C-B32F-BBB711FB73D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64572be908817f9cc4844c19d284302359d3ff28","datavalue":{"value":{"entity-type":"item","numeric-id":5170011,"id":"Q5170011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4826c2f5d3b4f1607e9841de8eeb72a447b387","datavalue":{"value":{"amount":"+0.7644060254096985","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":"Q549692$17FE45AA-BB6D-44F0-9CBF-870EC400B1BD","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":"97dda54744db9a93bd825d0f830a79951a364bff","datavalue":{"value":{"amount":"+0.761233389377594","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":"Q549692$F072CBE4-BCA6-41A9-A86C-78876A4C537C","rank":"normal"},{"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":"97dda54744db9a93bd825d0f830a79951a364bff","datavalue":{"value":{"amount":"+0.761233389377594","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":"Q549692$94958E27-5CCC-4E53-802C-888C3E32130E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial order reduction for state/event LTL with application to component-interaction automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_order_reduction_for_state/event_LTL_with_application_to_component-interaction_automata"}}}}}