{"entities":{"Q4635599":{"pageid":6665180,"ns":120,"title":"Item:Q4635599","lastrevid":53069978,"modified":"2026-01-24T04:08:51Z","type":"item","id":"Q4635599","labels":{"en":{"language":"en","value":"Two-way cost automata and cost logics over infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863074"}},"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":"Q4635599$8499E0E5-4809-403B-A0C3-250991A787BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"681f50e922bbba8d3356f0d8303fdec330e9d71d","datavalue":{"value":{"text":"Two-way cost automata and cost logics over infinite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635599$6681F995-2476-4792-890F-49FD742E716C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6efb65b8b134ea92c9df25b05e462639c10b12a4","datavalue":{"value":"1401.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$56AEE490-5249-4037-A047-5BFD115C7D4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7af5a1e6fec67aa69898dd947c0afd99b36e5b67","datavalue":{"value":"10.1145/2603088.2603104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$34F1D9FD-5F0C-4753-A320-071D13C8EED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$15972ED1-E007-4BF6-9B04-1EC747EDFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$BA7ED310-BB6B-4436-AE18-E7B64FBCD77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$5A71465C-1B53-4F92-90E3-F8AE1E9712EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$98316D74-6624-4CF2-9D13-FEB4C0AE802C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c811cb9ecfa8c76252a584ba1589af7f86a94","datavalue":{"value":{"entity-type":"item","numeric-id":2911612,"id":"Q2911612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$7C2BEEBA-9DEC-4080-B67A-4C63D12A2E92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635599$B4D7E29D-ECEC-435A-A2B5-FE26D7B2BCF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635599$A2269640-E3C9-49A1-ABA1-853E594F4828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$53DFB3AE-84B9-44A5-98EF-27C526607AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$DD24DDB3-CE43-43B9-82E9-F9F725BF167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$9E79DC51-7BF9-4420-B66C-CA4844A55C6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eeff952d2d0ce71996a6fb9ffc823ed6dccd171","datavalue":{"value":"6863074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$C415B2E9-0765-4B6D-8DED-E9A1F1205DB3","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":"Q4635599$7B46315F-B89F-4BEA-94C4-EFB0C4668C8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b149a853d7a90b509783cc637585945ff3a60c6","datavalue":{"value":"https://doi.org/10.1145/2603088.2603104","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635599$62C7C509-AE5C-42DF-B21E-6FE87CC7AF05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02b368191c8dc2d98f8f6424cc5e708a5c6c4df6","datavalue":{"value":"W2158185919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$B4AA94E3-6391-44EB-BF11-487D81D7C891","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8746ce141c6ff188fd7346e6adf5131fb239a8b","datavalue":{"value":"Q130898132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635599$1E7CBAD5-0326-4CDD-BF9C-ED81342A5F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f00a3cb04e3057270fc63de173b8fa648337940","datavalue":{"value":{"entity-type":"item","numeric-id":3088073,"id":"Q3088073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df6a4f5fb95f84e0e3dab03979e7905bc86b22","datavalue":{"value":{"amount":"+0.8871075510978699","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":"Q4635599$0BD5C38C-6E4C-48D4-ACC1-775E237D1208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1025cf6c5d1da43002404a56fc9138b8769ebb1","datavalue":{"value":{"entity-type":"item","numeric-id":3167019,"id":"Q3167019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc39296215cdf24c8365f631b4b7f54e3383868","datavalue":{"value":{"amount":"+0.8794693946838379","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":"Q4635599$7D231EE8-5A04-44FA-B0C7-E6F6FDB366A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e15334200423f056da7c1500bbaed968356b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5144609,"id":"Q5144609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7ea6e73b42392986d7c2d7416c40319f481e39","datavalue":{"value":{"amount":"+0.8385545611381531","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":"Q4635599$C3921CC6-6F43-4EEF-8EB0-BD3E29FAA823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2c31932d4cfa5f9d92e284e0a786ca1a91ad74","datavalue":{"value":{"entity-type":"item","numeric-id":2911613,"id":"Q2911613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f53da2eee6e7c1ab948b0322d6bf4ab64585389","datavalue":{"value":{"amount":"+0.83511883020401","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":"Q4635599$04909848-1213-4FC0-898C-86A8CB4CC152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825e6cfd97f262aa6cd3d959d902ce1bd6111b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2846575,"id":"Q2846575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e20c02f8769c0bbcaa3c2e5e91026a0fd242db","datavalue":{"value":{"amount":"+0.8305229544639587","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":"Q4635599$874F2A50-A611-49A2-8767-77956B7C6306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635599"}}}}}