{"entities":{"Q4268874":{"pageid":6298475,"ns":120,"title":"Item:Q4268874","lastrevid":46782405,"modified":"2025-12-25T14:14:48Z","type":"item","id":"Q4268874","labels":{"en":{"language":"en","value":"The Complexity of Tree Automata and Logics of Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1354512"}},"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":"Q4268874$48889A4B-E25F-4388-B9B2-CB8CC4CB308D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10dc3f2a5b5bc29a91621a547a946e8e91fc2465","datavalue":{"value":{"text":"The Complexity of Tree Automata and Logics of Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4268874$34A074E3-0086-4786-97A1-B46230CA0EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2137d5b4d20c32acd4d2480e60581a51a73c577c","datavalue":{"value":"0937.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$02366BD8-B004-4229-824B-DD82046C285D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f254f1fecbb03eedd8dfc9c316e732b6c6fe2729","datavalue":{"value":"10.1137/S0097539793304741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$10420650-C2FC-497E-B764-226D6599023E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4268874$8A3C9883-D319-4812-B45F-432343BDA8B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4268874$18F1E2E1-43B6-4E77-9AB4-ACE8FA69181F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$6E9894D6-001F-49F8-8C60-462CD9FA1499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$E1727636-78E6-4E61-AEA8-3794967AE115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$63A5EF2A-48DF-46D3-9A30-93392947FE6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57e29dba04ea8d3097b5191b031476a8ca9ce7c","datavalue":{"value":"1354512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268874$2C9E36D2-0F19-47DE-9EF3-4C4960B455D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268874$68CB3E07-FD59-4CB7-A306-FB9AA66DFF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268874$5B1DA57D-98DF-4113-91A5-301A07132D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268874$10D1F20F-38F0-4D45-ABDA-215BAA622593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268874$A78BAB46-263E-41A9-977A-CF84AC696B7E","rank":"normal"}],"P16":[{"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":"Q4268874$C8B82BF4-9DE5-4CA3-B243-B74AB1130430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc837c02444940ab2cc4ed02c866bd11d454b3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1021242,"id":"Q1021242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4268874$A0A3E94E-DCB0-4966-8E34-C49044BFE6D7","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":"Q4268874$FA82B8EF-076E-4577-9C56-B39354D2C603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edbcff0b9189e5c5e75519fa1a2b15c41e7bae8","datavalue":{"value":{"entity-type":"item","numeric-id":3496327,"id":"Q3496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15c2ddd74e07c56afe646c1e120b9f56afbe89a","datavalue":{"value":{"amount":"+0.8855886459350586","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":"Q4268874$A394E221-140A-4407-BC50-B4316C6DE682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f4e802e7f0ebe528cca5706964130454cd2433","datavalue":{"value":{"amount":"+0.8586354851722717","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":"Q4268874$2E06ABE3-D2F6-4ACE-8CA5-5F4DFD63F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2bd2aef16344d8177ed99b50cca69a0aab4a47","datavalue":{"value":{"amount":"+0.8368375897407532","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":"Q4268874$40941C47-D0ED-4DBF-A21C-0D7D5448C554","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":"2c765a5e54e78b8fb0fc7e45f82ba6d91c702b1f","datavalue":{"value":{"amount":"+0.8177526593208313","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":"Q4268874$403C14EE-C963-458D-BEE9-4394A7C95009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94826f805809f13eb0399c46f1f46a62ce38175b","datavalue":{"value":{"amount":"+0.8145254850387573","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":"Q4268874$85E31826-3310-4237-99DC-9496F33A5844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4268874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4268874"}}}}}