{"entities":{"Q2152647":{"pageid":2163390,"ns":120,"title":"Item:Q2152647","lastrevid":71417814,"modified":"2026-04-13T22:08:01Z","type":"item","id":"Q2152647","labels":{"en":{"language":"en","value":"Automata-driven partial order reduction and guided search for LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554864"}},"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":"Q2152647$0DA5C1F1-AC00-470E-994E-4829E0D7260B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a4e26ccc0756c5a65e447190113060a7cd1e54e","datavalue":{"value":{"text":"Automata-driven partial order reduction and guided search for LTL model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152647$CBB1F292-6A1D-458C-AED6-E66E4108D6F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce2578a3806f27229ae0af9705e86cf0d330d82","datavalue":{"value":"1498.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$43C9D2F6-2C14-4CE5-B2B7-AE8D46F090FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e459981050af47092e907541dd38710bf598d6db","datavalue":{"value":"10.1007/978-3-030-94583-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$6DD4C0F0-6607-42C3-B788-0480035647CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$AF1918C9-FCAC-4C24-B5E0-B35EC5A2A120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0619849b729e2a21aec9bb20e3dd58575d3ed81","datavalue":{"value":{"entity-type":"item","numeric-id":2152645,"id":"Q2152645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$D2B4B7C5-9382-4FD9-BD89-CA1B7A4D465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd1a58d4db6ced040902a25a700e8c19c33d336","datavalue":{"value":{"entity-type":"item","numeric-id":2152646,"id":"Q2152646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$ED4A26F4-8DB3-4075-8981-66FC0F81BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$BAE5B837-115B-44C3-9220-D5833F283677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-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":"Q2152647$24230ABF-5698-4EA2-9A78-31B2767FE21B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$1129DB81-75C0-41BF-B7EF-E984D4CC29A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$93F5D725-AEF5-4C6D-9289-71E8A6D4F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$97E8E140-8486-4564-BB49-EF439333F53C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f058a129d3a62f3b8a98e3db7bba78aba776970","datavalue":{"value":"7554864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$8D693EF0-071A-4FFA-A0F6-E2D046E5A017","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$BC578874-3052-4226-9C89-BEB82BFC28A3","rank":"normal"},{"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":"Q2152647$AD3948DA-8392-4C25-AFBA-FD3BABF8A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$8E96FD5C-1D7A-420E-B4EA-8ACE85B390BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b326dd1fec7b3b9613ebc80aac4d1e60ecce15e","datavalue":{"value":{"entity-type":"item","numeric-id":40856,"id":"Q40856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$D123183D-EC65-4FF0-BB85-F304FF46B7F8","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":"Q2152647$647A7792-3F8A-4FB3-A75C-6FA63C4B8463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd6e132479d847bea425828dfabf9f8eb38e06c4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-94583-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152647$8110F733-B395-45C4-8E56-58D0ECB4561F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b0c72e07cf8d215e416c6ba30585aa7df765ac7","datavalue":{"value":"W4205458663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152647$B0011CC1-30F5-4479-BE43-10D4A6CB2A4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$927DDD97-D77F-40FC-ACB1-A727B6DCAE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$7C12A0EA-B341-49C2-945C-6260878AFD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87fc9a7df3280f3f9b0fea2a810058f4edbdaad","datavalue":{"value":{"entity-type":"item","numeric-id":6041133,"id":"Q6041133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$FCEDFDE6-EAE8-40CD-B623-3FB5E44F0F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a47326c58db62ac0ca4e2eb05316ea3eb30cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$C5537371-F6FA-45AD-AE40-3CA38316A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c825eb2c6f589583c25ad9727c22d018076dcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5856425,"id":"Q5856425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$5A40611A-83D7-47F4-B36B-5457EEFCDABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$4905F32D-4A9B-40E1-8C33-99F44DE7A8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$92D7092E-3820-437C-914E-3C349DAC987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$ECFF01DB-CFFF-4749-9707-7E91D3873052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19666e60aa5f5be77088292c4f14386e9279d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$AA78E3CC-41E9-4742-9214-9A48409AAA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$3179F76F-FCCA-497D-9222-5A6D2E79BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df5ba38b23c3648086494f6b5ea5a161041656","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$9C7CCDDF-77A3-4656-BBCA-0B4CB6E49C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$BCBF1C09-D27C-4EE8-A88B-CC62316A1614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ad2bb50f0fea3e5f17bc9da1717c95e6f5d08b","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$A4E6475B-0EE7-4268-AF48-E84C2016EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a67d59fa85feb3ac24487c4144fa2553626a829","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$A799EF1E-36E9-43B1-8B13-1BE02097B00E","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":"Q2152647$1E10D285-21D6-4651-9FC8-5009F0D918FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a79576758bdf918203be49354d531f3b5cd3544","datavalue":{"value":{"entity-type":"item","numeric-id":2908210,"id":"Q2908210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$FFCCA9B8-1182-44F2-BD3A-E9286BDDE237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4696e3f3dbd828a17abc60cb089f79b6534e78","datavalue":{"value":{"entity-type":"item","numeric-id":6184728,"id":"Q6184728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$7933FB45-34B9-4B31-B072-7DB603BDF01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7e1bcc00862ea527585b878fe125744afbed0","datavalue":{"value":{"entity-type":"item","numeric-id":5949489,"id":"Q5949489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$0682E7C5-9BA7-40E2-9CCF-EA74A75256F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$1209079C-FDBD-4557-936E-5B1C58A2D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cc0cb9b99337d462076f7d9879b27131749a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1972351,"id":"Q1972351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$ED6CB8A9-D2DD-43CF-B5B7-E56CD61675BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db378cd2166e4b35729af51d0fca27cfc617965e","datavalue":{"value":{"entity-type":"item","numeric-id":2775869,"id":"Q2775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$C9740931-95AA-4416-B5D7-ECFE115AACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$1DE5451E-9E84-409B-AA97-8DC5FA96D1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$298F33BB-E29F-42FA-8512-85390E5106C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd313dce4059df530ce64e4edf73c35ab291139","datavalue":{"value":{"entity-type":"item","numeric-id":2814628,"id":"Q2814628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$3B315D10-BA0B-4A30-8531-4839DEB450EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152647$0B9FEC95-D615-4001-B775-C0C5F88989DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437607af391ec995ebaf65df50fb4d6a29c6f1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899036,"id":"Q5899036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d634c7e1e8dd4557d4043502aa12a2257ccdac","datavalue":{"value":{"amount":"+0.7697854042053223","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":"Q2152647$B8143D45-C3BB-42EC-B279-2734AB1075BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d125c414354850f70be24047234e0619850326dd","datavalue":{"value":{"entity-type":"item","numeric-id":3133158,"id":"Q3133158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d447d5e80f9be339e6b5698e1b89d362a39d12d9","datavalue":{"value":{"amount":"+0.7603248357772827","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":"Q2152647$65B402BB-4B89-404E-BEDA-423A09ECF9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a21eb46795ba0186ec14b123100ec6e09d517c1","datavalue":{"value":{"amount":"+0.7544951438903809","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":"Q2152647$B80F0E78-889C-4BE5-87E1-B38BAAB868B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd48c5db523b348ca47e4196af5e9c9b251df88","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92df8ccdc4ca378e240c827fd277b23a1b03cdd8","datavalue":{"value":{"amount":"+0.7417923212051392","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":"Q2152647$19F1889F-40FF-4504-9D9A-CBB17681047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af24679c9aa55364d0775f871c2b693ff245001","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c93eb0631602f9ed7bc743125a547c902fa252","datavalue":{"value":{"amount":"+0.7381502985954285","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":"Q2152647$30F38447-22B4-4DD2-A752-0A3B0ED41D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-driven partial order reduction and guided search for LTL model checking","badges":[]}}}}}