{"entities":{"Q1917081":{"pageid":1927823,"ns":120,"title":"Item:Q1917081","lastrevid":69086625,"modified":"2026-04-13T04:37:55Z","type":"item","id":"Q1917081","labels":{"en":{"language":"en","value":"Branching-time temporal logic and tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896637"}},"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":"Q1917081$D5094B19-2084-429F-9473-88073A5FBFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22353b8fd0a56728b3a38113f539498b7ce70f6e","datavalue":{"value":{"text":"Branching-time temporal logic and tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917081$68567BEA-6B3F-4CF7-9A09-858A1E979716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404e36798e789962e43668f02a957178095a24d5","datavalue":{"value":"0853.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$B139FD67-7418-45B4-AFBC-BBCED367F961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917081$8595C9C3-F00D-46F4-B62E-2E662B31B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917081$81B238E7-6DE4-4788-9F32-F17A55CAC02C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917081$4A2812F4-4C46-4135-98DF-7AAB6869AA59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e841b33426c82a5eafbf7f8cc8852d9be70f609","datavalue":{"value":{"time":"+1996-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917081$3FC2C1A3-34EE-4240-91C7-EA3CB0702475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$3C2F348D-1941-4A2C-8326-AAC592B0C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$A517AB31-8226-4254-8F10-63A0E8E18E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$DBF2745F-6079-4DC4-B3A3-3E28B9393092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"096c80c5d0b51fb346f59b119a55a96ecde0ecd5","datavalue":{"value":"896637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$618B538E-346C-4AED-A632-1469F56AC389","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6edef71913033ed43486c70cc1d8cb1f60494488","datavalue":{"value":"temporal-logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917081$B47FABC2-7C02-4277-AEDD-2739C8869877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efee424c6a2f27b239b0e10f2c9fc2f6f1f94c7","datavalue":{"value":"simultaneous trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917081$A9815ABE-90C6-44F5-9947-E2BB28777B92","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":"Q1917081$585F272E-CC35-42FE-B7F2-959028A0DB96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b812cdc873151609baf5f563400bd2e832301c56","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917081$9DED269B-F9CF-42E9-BFAC-2CFA634946F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fb4f9f3d8cfdf1d2aee47620cc390038f917d45","datavalue":{"value":"W2081883656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$1FFFDBAC-E3FE-4106-8A61-45CB86823E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f35ac6104b6294e6eed9e49034ba5a1964b7a7d","datavalue":{"value":"10.1006/INCO.1996.0021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917081$B0056771-9BB3-4F19-B9E1-21D7E3373A1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3498698ed73c04c6352a454b62048dc71cfc8f2d","datavalue":{"value":{"amount":"+0.8996933698654175","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":"Q1917081$D6093A19-EB88-48D7-B645-9E2AE566DF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915ce35ce1dd63f044182499614146efd3eee3f3","datavalue":{"value":{"amount":"+0.8419896960258484","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":"Q1917081$22402726-2624-4B2E-8A79-4C2A650B0598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ed2b63e1e719e058863c50403afba089b3f087","datavalue":{"value":{"amount":"+0.8248965740203857","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":"Q1917081$5103C1E0-71E1-4CD7-B934-7655BCD2035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb011ca022502f1d6563caca0bafdc3d614215e","datavalue":{"value":{"amount":"+0.823310375213623","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":"Q1917081$49618F91-7314-49DF-A47C-5DC116F5E081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-time temporal logic and tree automata","badges":[]}}}}}