{"entities":{"Q5167825":{"pageid":7197397,"ns":120,"title":"Item:Q5167825","lastrevid":58468059,"modified":"2026-04-05T08:39:44Z","type":"item","id":"Q5167825","labels":{"en":{"language":"en","value":"Weak MSO+U with path quantifiers over infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312301"}},"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":"Q5167825$832AC6FF-845F-40C7-B2FF-1CBA870E9FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33005491282935442eb26731acdc89a4235da121","datavalue":{"value":{"text":"Weak MSO+U with Path Quantifiers over Infinite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167825$B89C49B7-7C8E-480D-8392-C49CDC1C766D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11d458a5eb1b51fe20a7905b5f2bdebd99a6f63c","datavalue":{"value":"1407.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$077D4514-6545-4AB6-BDD3-66AD87541669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34001c41639028785687a9947f2086d5e6a5615d","datavalue":{"value":"10.1007/978-3-662-43951-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$172928F8-E272-49CE-A977-9E05456494C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167825$C642BAE9-40D1-4B63-8552-8A9E7251C551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167825$0ECFF5E6-3990-4043-BA7E-0584FE5C75E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167825$97412AE4-47BE-4686-A0F0-AB76EF951EB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f90c99be3b0689a3d984ea2fd3bbbdcdcc9ca4dc","datavalue":{"value":"https://arxiv.org/abs/1404.7278","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167825$70105FDD-7F23-4B95-95B7-9EB1086C9123","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$7B16E2DB-18E7-4E5F-84F7-A19B211D6D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$805C85F8-BA52-4355-BEB1-01CFAAF4F6AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7f1bd8054a34840a72ab66716c91e616e2ad765","datavalue":{"value":"6312301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$CDAE7690-5CAC-441C-AC4C-FA9F4F485DEC","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":"Q5167825$DBDF5593-BCBE-4EC8-8561-A43785AF0BE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0902225204f8ac44d7216972ff1c8f673ef47af","datavalue":{"value":"W10842229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167825$17727E85-060C-4997-BE9B-9CBB8EFFBEFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e18ba2c7420cf9b5033ee1ab4a952cb5957fd0","datavalue":{"value":{"amount":"+0.9577879309654236","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":"Q5167825$13E7A910-8A54-40A8-8F55-18AC3070AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2b3587481fc3fc680e05a2e350cd0b8318c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5167826,"id":"Q5167826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314469b26f9d424c8bb13c41b8c947b165d2da68","datavalue":{"value":{"amount":"+0.8414431810379028","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":"Q5167825$380281DF-D0ED-4480-B4A6-99B459E2FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bbf6bbcabe8cab958b96d8e6f29f46c17585ef","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b639f514aa5500d4f038e113b0d3eccb84529d","datavalue":{"value":{"amount":"+0.8016871809959412","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":"Q5167825$4D719B6A-3591-4B90-A4C3-7176C34989B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c00ed7d9e5bd1da3d8aa41655fe254dbe448a13","datavalue":{"value":{"amount":"+0.795296847820282","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":"Q5167825$267357AF-2EAF-42F7-AACA-FED9351F41C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d627e13ce2282a7587a9b6f5c3f0f7e0ee96371","datavalue":{"value":{"entity-type":"item","numeric-id":4598237,"id":"Q4598237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7225ed885dab32772e6c263b18a251d550ae4d6","datavalue":{"value":{"amount":"+0.7870833873748779","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":"Q5167825$D97BC66C-EABD-40E5-A8E6-4C25DCAA664A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5167825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5167825"}}}}}