{"entities":{"Q3088073":{"pageid":3098788,"ns":120,"title":"Item:Q3088073","lastrevid":51317765,"modified":"2026-01-17T17:59:09Z","type":"item","id":"Q3088073","labels":{"en":{"language":"en","value":"Weak cost monadic logic over infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940134"}},"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":"Q3088073$E2441AB1-2E12-497F-BF6D-1DF9803AD9EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba815dc2b1fdcd048e5adea7da1347bf4c0f3e33","datavalue":{"value":{"text":"Weak Cost Monadic Logic over Infinite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088073$00FC5DC6-702F-49F1-8C3D-E74383116BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee8c42f84f4ec3bd827ffd4c868c05a3c3358248","datavalue":{"value":"1343.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088073$D08A506E-087B-4883-A1BF-DAB1EBB73E6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45a590b9cced4d271bc7195477b9096aeb750d0b","datavalue":{"value":"10.1007/978-3-642-22993-0_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088073$BCD01382-06A9-4799-BF12-710A19A742CC","rank":"normal"}],"P16":[{"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":"Q3088073$9A4C523E-AC8B-455C-B956-863828E2006F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088073$83026F23-EE39-4EFC-A348-FE6E4D67D6ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088073$0B3F1B25-490F-4577-BF6C-1D7BA7177693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088073$164C5090-CEEA-4A59-A7FD-A6CEED669774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52f202788806998c5f8ff25173b0c47d29f474c","datavalue":{"value":"5940134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088073$DC896418-958C-4065-BAB3-4EE8D56D1C02","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":"Q3088073$080DF057-DF13-49C8-84D7-FC78234C2FD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce7665f855fd4a466d084dc89274f42e44aaa2de","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088073$12956125-F6B5-4B69-BC7E-C91FC1EDE26F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3969d72be25ee93058a19dd412e1195faec491f","datavalue":{"value":"W1525546443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088073$821261EB-1A72-42AA-863B-87988FBC668A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e36dcf85b140c3face7cfd0e702cb70be77dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4635599,"id":"Q4635599"},"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":"Q3088073$7806D656-0915-432F-8223-FC90AD7FE8C5","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":"bef7ef8c4345d9182d9c4db2da2315c1f7b50ca8","datavalue":{"value":{"amount":"+0.8508001565933228","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":"Q3088073$CC4633D7-4B72-4B6E-80A2-3299FF731FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad58f07a3c677921e28e8b64e5519dc72ba459f","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2faa6dd3c478fb7a13054df7814255844f7096","datavalue":{"value":{"amount":"+0.7888098955154419","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":"Q3088073$CF63C2B2-9F79-4F86-A421-E3E70FE3A525","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":"463a924e2f57da5058ddefc8dc5e3a19cc9d280c","datavalue":{"value":{"amount":"+0.7879875302314758","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":"Q3088073$BA423EEC-F9B5-4419-B5B1-B232B97AB047","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":"91009a85428b2f33904b28dc4d1517d11f46b2b8","datavalue":{"value":{"amount":"+0.7861515879631042","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":"Q3088073$318C1FB5-0C81-4BFC-9A59-75CCE667B6A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088073"}}}}}