{"entities":{"Q3708772":{"pageid":5738678,"ns":120,"title":"Item:Q3708772","lastrevid":50512319,"modified":"2026-01-14T06:17:57Z","type":"item","id":"Q3708772","labels":{"en":{"language":"en","value":"The decision problem for branching time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935000"}},"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":"Q3708772$4E16F190-5A19-4118-981D-EF8E5BE4AA41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8335c28cc9b74a0097f63ffb183c5717806d983","datavalue":{"value":{"text":"The decision problem for branching time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3708772$FD649E8D-3BCA-4E12-A760-CDA9FE64A9CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50022ff4ed5435f592ac4fb42260085797518eb7","datavalue":{"value":"0584.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$ACCC0009-EC7C-45D0-81A8-49AB9FF5F3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34dc9fc0e8c6310751e864ab021bd273ea850f82","datavalue":{"value":"10.2307/2274321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$3FC10AC6-4CD6-40D9-AB11-CCADD7C53D65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708772$0CE49062-4F0A-4457-B2CB-141857AAC4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708772$AB7B2ABD-3960-4F8D-940F-4737DC8CA32A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708772$2B36EA0E-DB0C-4CF2-BEE4-B237BA2357FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3708772$FD9DA175-7536-4DEF-ABA8-3492D7D0C8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$70F7B3B0-CC1C-4C10-B108-85803A23E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$27A6394E-A8D8-4865-AA9E-97515BA21821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$72E4788C-F36D-43E9-9F3E-27300327C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$F10D1FFC-CB47-4062-B570-E0E30A1B11D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a73e5f088c2e5368ee18ed294c97f402dee8ded","datavalue":{"value":"3935000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$7C16AD3D-DFB0-4D4B-8390-D7A3EA96528C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cac355ddaf84702bb851e1974a646f351536a4","datavalue":{"value":"monadic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708772$943EB82F-A927-496F-978B-89B65BF78C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708772$823BAD97-1C74-43F0-9316-B2C775CA04BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89412566a7d67b0bf88c54034085a8209176763f","datavalue":{"value":"well-founded trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708772$F4AD9A6A-22AB-4277-9DFF-2412520C58C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708772$04989268-80E4-4BC2-87E7-0DF3924EB336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708772$15390CC1-486D-4DBA-9225-0B8178A69C30","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":"Q3708772$2CF159A3-160E-4C45-8CEA-1B5CFB5729F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eafe3f4e2a6f1abef45cc7acbc42234d12d8eae","datavalue":{"value":"https://doi.org/10.2307/2274321","type":"string"},"datatype":"url"},"type":"statement","id":"Q3708772$945F71EF-46A0-4C48-B4FC-CE75E350639A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e1b31eccd780bc8d4292aba460ab0e39ec568b4","datavalue":{"value":"W4234687429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708772$4BEC419C-39BC-45AB-9BF4-3E69C1700DA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708772$C40B7675-7A7F-4A38-B25E-7B0B01EA283C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532faaafcdee0d998733785d709643bf514cb5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c03fe89dbcaca1f6f03cb2cb49cedcdf15af1ed","datavalue":{"value":{"amount":"+0.9058263301849364","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":"Q3708772$9101914E-8720-4EEA-8F31-92146AF1CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a25b566350750af5a316a4baad6baccfbcfdde6","datavalue":{"value":{"amount":"+0.8232864141464233","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":"Q3708772$77366383-D6DC-4C72-9B9D-E3B8C3CC4379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a991f599c54760fbe36a76e81c2ee480908056b3","datavalue":{"value":{"amount":"+0.803693950176239","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":"Q3708772$6BF0FFFB-5A5F-4E2D-A3F1-04686D74EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8f495a5c71fa91f1b1d95c27402ac4c50e43b5","datavalue":{"value":{"amount":"+0.790317952632904","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":"Q3708772$D8E95332-3A67-4D33-B4B9-0BFA1580622E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c58205addc674c4d8bf6232eb40acc6101d995","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157f4f3537a7a3f06f3771193d736bb2cc674127","datavalue":{"value":{"amount":"+0.7837356925010681","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":"Q3708772$FA008872-98F2-4D74-8583-F1E3FDE076BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3708772"}}}}}