{"entities":{"Q3722471":{"pageid":5752377,"ns":120,"title":"Item:Q3722471","lastrevid":50731820,"modified":"2026-01-14T23:32:37Z","type":"item","id":"Q3722471","labels":{"en":{"language":"en","value":"Deciding full branching time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952719"}},"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":"Q3722471$C93AA6BB-2797-4E4B-9C36-4A0B0B46847F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43202f4b6ff13c227a814165f4bd9ddb4f024c0c","datavalue":{"value":{"text":"Deciding full branching time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3722471$739DBCF5-8C4B-4E0B-9CE1-50129D0C5387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6001d4433f2b171e34ffece34a02ae7a426f516","datavalue":{"value":"0593.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$24B43C23-968C-4667-B2BC-8C33F15990B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7070f33292c092f19665c18348d884d1678f1f9a","datavalue":{"value":"10.1016/S0019-9958(84)80047-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$980588E7-D424-4BA3-96A6-164FB35E874C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722471$501755CD-9318-4546-ADC6-46584F59964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722471$663A6A2A-D5FF-4467-B542-C9CA856CA741","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722471$77DB4EDD-65C7-48A9-8EA3-B0949430BD20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3722471$52EC990C-0394-4460-9015-CD66CA0D32F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$B3541608-8FE9-467E-98DE-80A741D27984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$FAD85391-E669-4D3F-BFCD-645122B89F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$8F98D787-7BBE-428C-B862-8600559B7D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69edcba1ca7fabea608ab276b7e6179ec1fd8e27","datavalue":{"value":"3952719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$7243E516-3B64-41E5-B646-C91158409137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4ae790c97eaf9bf3f45115d22869960df1c197","datavalue":{"value":"finite state omega-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722471$6904F5EC-1A35-40CE-BA33-821B9BCE150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722471$6D127E95-A132-4385-AACC-D1B4092E6325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c86f6887dc369bc4f3a7aee4c58d0302ceb24d1","datavalue":{"value":"path quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722471$4E4343E4-33E6-4431-8FF3-9CD537DC3033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722471$FB8BBA9E-33E5-4363-9B80-BBAF4E07075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722471$494A9C78-DAE4-4237-81E6-681281720093","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":"Q3722471$09348C8A-5C75-4820-91D2-70F97A3C5EED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a148af8f3f34a5f642c1849f07d345baa70d9568","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(84)80047-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3722471$29D3CD68-8379-4684-B0FE-768DDD079367","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7330a4533e1cfbb8a7143f9b34bf7c1bc0c9dd2d","datavalue":{"value":"W2072887965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722471$6FCC5237-116D-4321-AB02-A51BA78A175D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2a2d07a0bd5ce4bcead88e53334f299e8bcf1d","datavalue":{"value":{"amount":"+0.8817320466041565","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":"Q3722471$66A73382-077B-4509-8906-82036D4359E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791346cf0a02b0cb1561d66dd010768374d83c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5184412,"id":"Q5184412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500110ad28a914b166c6b0fadf3bf4ceca003b7d","datavalue":{"value":{"amount":"+0.8775330781936646","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":"Q3722471$4760CE3A-4818-43F5-9F85-FD4983793726","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":"ac426b28177f569692431e49c0dcf34ede79fd4b","datavalue":{"value":{"amount":"+0.8557877540588379","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":"Q3722471$8F2B3286-BE4C-4935-966B-3973476DC48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e043439b2b33ef615cd13d31bade582fa70c2d7","datavalue":{"value":{"amount":"+0.8474363684654236","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":"Q3722471$F1A2F2FD-68AC-4043-8055-0E1355F9C3C7","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":"7a29f9594d51c79ac454add7105819e500e49f99","datavalue":{"value":{"amount":"+0.8427479863166809","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":"Q3722471$D437666E-7BAF-438B-A030-4C892879CA25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3722471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3722471"}}}}}