{"entities":{"Q4913486":{"pageid":6943065,"ns":120,"title":"Item:Q4913486","lastrevid":51686369,"modified":"2026-01-19T11:47:45Z","type":"item","id":"Q4913486","labels":{"en":{"language":"en","value":"A family of temporal logics on finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6151190"}},"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":"Q4913486$FF8E80C7-B8AF-4C8F-B6BB-9A210D77389C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e196f04f2f3ea902a1e8cc965f7964ceaa749c01","datavalue":{"value":"1274.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913486$8EED3798-9D7D-457F-BB83-6C1AB2531422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbd30f13043aa499e646aa53420144e025774fbe","datavalue":{"value":{"entity-type":"item","numeric-id":251080,"id":"Q251080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913486$D4E2B2C9-26EC-44E9-960E-86D9C10E89AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913486$E5AE7CD2-CD73-4C56-BC73-F809027A3829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac0237a4c838e7410fae458f0b3bdcfef1a1db","datavalue":{"value":{"time":"+2013-04-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":"Q4913486$4918827A-7435-4B3B-96C9-AC162C058C86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913486$3E2BAB99-5603-4AC3-8D3F-CC9B14D00A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913486$655BAB83-DC5D-4F04-8636-8B2FBEAA6177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913486$66321EFD-79BE-4904-AF67-17B601B5E9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1976bc7f7506cd9d7cee3e78b90bb56ab1142f5","datavalue":{"value":"6151190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913486$A7215AF1-65D7-41D6-80B6-4829AA92BC6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be05a8a69b4b284a201cb199bc7f1d5f6dcc1b76","datavalue":{"value":"branching-time future temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913486$14C44A37-ED0F-46FB-913B-535698E456B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913486$EB37F590-A8DF-4168-8D2E-EFDF0A19181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7263294f21702ab5a014ddd1fac19bd2c1dba767","datavalue":{"value":"strict Moore-product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913486$5F9D1D18-2367-4A36-AF37-C07E6942808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913486$C848E8E4-6765-4AC4-8F38-761B8BBAE668","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":"Q4913486$2F91440A-FC71-4D30-A91C-BF1F962D6208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bd86b4be4d7e281b1b097a120637f0bef7e73a","datavalue":{"value":{"entity-type":"item","numeric-id":3602814,"id":"Q3602814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c115d9c66d0faec6ff1b462e345d5a23f8706f","datavalue":{"value":{"amount":"+0.9301281571388244","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":"Q4913486$15D8CBF5-A2A6-4BC4-B85A-C760A44E0F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e77e01dca2d7cceafc022e98503af90b09ae75f","datavalue":{"value":{"entity-type":"item","numeric-id":4922672,"id":"Q4922672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a33408c5e0092306dcbbe64371551495cd95dd","datavalue":{"value":{"amount":"+0.8822409510612488","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":"Q4913486$09583641-17A3-4D95-9EF1-E5A30D8F7EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5843449426e1a0ea1f0df134eb6417c14686c36","datavalue":{"value":{"entity-type":"item","numeric-id":2490815,"id":"Q2490815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbe10b9caf2e05130028e6f27bbeeade816501d","datavalue":{"value":{"amount":"+0.819725513458252","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":"Q4913486$EF3D05FE-C9C1-44D0-97B9-9E7EB1CDD535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ed57dafe18c59bd4c8b02acc59021fa07fa4d5","datavalue":{"value":{"amount":"+0.8080507516860962","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":"Q4913486$8C80F54C-4CFA-4202-BC51-BB631FB764B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f36bd3e5816355edadc32a3d05904775fd8546c","datavalue":{"value":{"amount":"+0.8064711093902588","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":"Q4913486$6C31AC7E-F74D-4740-9E07-F2A4A5BA0ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913486"}}}}}