{"entities":{"Q5326352":{"pageid":7355926,"ns":120,"title":"Item:Q5326352","lastrevid":51790496,"modified":"2026-01-20T01:30:23Z","type":"item","id":"Q5326352","labels":{"en":{"language":"en","value":"Strength-based decomposition of the property B\u00fcchi automaton for faster model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194863"}},"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":"Q5326352$455C89DC-A912-44B7-8454-2776C4F15050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"430702dfb26e4f672e4f19e463f1722bb0217de9","datavalue":{"value":{"text":"Strength-Based Decomposition of the Property B\u00fcchi Automaton for Faster Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326352$DBAE334A-D067-49C0-B749-06A01F2966BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf1d7aee84d670e80ee112ec25c1d9f7037e5a0","datavalue":{"value":"1381.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$22CC326A-B366-4FD3-A62D-90F81CD676BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fef69c3478492744171cb36f63594373e5385bde","datavalue":{"value":"10.1007/978-3-642-36742-7_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$AA19916E-028E-4408-B923-EBDBBC348D8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dcbbb57143b26c8a142236312cf5a6c3d49681b","datavalue":{"value":{"entity-type":"item","numeric-id":2165223,"id":"Q2165223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$45D91939-B2F8-407B-8844-FBD8798B051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$5E2DCEBF-27BC-4734-ACCC-07A8DBC091C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$6608F71F-F1C9-45D2-87B8-803F8A071E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$5FF4C824-C019-48B6-A1BA-27FE0EEFBBA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$3A7D2C68-2550-4C98-A20D-E6CE24A56E4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326352$C9220710-9A55-467D-ADA3-F3F32F6B8CA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$F31D9584-0969-4D55-A8F2-2642FC6D8196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$F3654478-460F-4051-A257-3DE6BDA3CB89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c778bcafb6eb479e832df316fcef7c2fb9c7671","datavalue":{"value":"6194863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$84D679E9-038A-409D-8F6B-598E2231C644","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326352$6824CDFA-CD85-4864-B8BC-CDE031918258","rank":"normal"},{"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":"Q5326352$D2F46850-8221-41A4-9F69-B4B71A3A67A5","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":"Q5326352$646CA903-1F39-4A1E-86C2-A6125F1A6174","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ef74c395a1b81c507bfbeadd3204bb4b6896b3a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326352$7FD41D23-97C3-4360-A6A9-13E5ED0BEE92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d2fc0de7c0b3df6ccee80a32cd940fe6ae21ddf","datavalue":{"value":"W40595619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326352$9361FC43-C7D9-4DA3-BEA9-869C50D1A1CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecd1cf3e158de5bbc0b01881776b3888ef20702","datavalue":{"value":{"entity-type":"item","numeric-id":2870161,"id":"Q2870161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c612a33453907c1e77fe92dd1ba3ca01163f9f14","datavalue":{"value":{"amount":"+0.7709277272224426","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":"Q5326352$C88371A7-DF58-453F-B981-7BCC82C548CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d625e18903055ac2f3b9b33300e8e6f4b61facc4","datavalue":{"value":{"entity-type":"item","numeric-id":3648699,"id":"Q3648699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684b75a7f084edfb0ef40d64cae71382504ecd01","datavalue":{"value":{"amount":"+0.7504556775093079","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":"Q5326352$B95B837C-90EF-4639-95B0-500CF2BD5E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8de87c9fd8e0bb64053b8fb1ce7818d938cd2d","datavalue":{"value":{"amount":"+0.7491393089294434","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":"Q5326352$864C6231-5ED6-45D7-B055-9AD306968A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6e05bdbaddde00cfd98b5e2e7a17813330fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1621df558673690a0ad6fc77058fe1282ed4c983","datavalue":{"value":{"amount":"+0.7483135461807251","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":"Q5326352$FC4B6C9B-211B-46CB-8619-C4CB67F59268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9954ea1d28805b9738b939356c11793297b41ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5194963,"id":"Q5194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92afeb9742cc608cbec28a1ce8951876c45b8750","datavalue":{"value":{"amount":"+0.744013249874115","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":"Q5326352$BED2E07C-F1BF-4537-8FF6-78AEC91A0E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326352"}}}}}