{"entities":{"Q3065008":{"pageid":3075724,"ns":120,"title":"Item:Q3065008","lastrevid":51155642,"modified":"2026-01-16T23:33:15Z","type":"item","id":"Q3065008","labels":{"en":{"language":"en","value":"Expressing cardinality quantifiers in monadic second-order logic over trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5831885"}},"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":"Q3065008$7C01C6EF-319A-4F80-8345-70602F3C1EC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a07035bdee45d6b86ef1acf8c9fe30abc176d75","datavalue":{"value":{"text":"Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3065008$D68F6336-19BB-4EFB-988A-C2451A07B8F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad847e54cebc769b2caca81d9f3fe5974d45c409","datavalue":{"value":"1211.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$DCE07A2C-90FD-4958-B07C-03FF0069D0C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a0275ab09f5ab8e08b632e1f67a71b062f8db7","datavalue":{"value":"10.3233/FI-2010-260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$F55EDCC7-FD52-4DAE-A78B-9FBD94C2A598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74667561feb4b78c28b4baa6c38c20977b8ad8d8","datavalue":{"value":{"entity-type":"item","numeric-id":436330,"id":"Q436330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065008$1205DB04-B6FB-4395-97A7-EEA9429006FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065008$9FEA908A-EB4B-4CC8-90E8-FE176DF9D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9eb69be426b73e0d73ee824f30a5b181c05975","datavalue":{"value":{"entity-type":"item","numeric-id":999263,"id":"Q999263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065008$C208D528-603C-4737-A48A-312958C41765","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065008$89E46283-DC8C-4231-9C8C-EF04DB94B97B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c2d3c72cfe71d37d0ec412655d40e813991301a","datavalue":{"value":{"time":"+2011-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3065008$630A63CA-95A5-46F1-8C39-8EDB2FCFE0A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$917D1AC8-28AE-4132-8941-94D38B03E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$51E86D22-D782-4C8B-BA43-1BD9FF99C0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$95097F29-7BDC-4506-9F4C-427691BAC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$83991369-1757-4059-B5C7-F4B11A749506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7fde7bf5e4afb58447ea4d33e7e62943dc9e18b","datavalue":{"value":"5831885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$BDC30E1E-5D85-4B10-A951-5B44A42EA0D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065008$788991FC-2593-4C36-99EE-E1CF9E0727E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065008$E06F8B65-D8A7-4D0B-AFD0-AC6DDD945FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b908b98324841bb6b546054499be1d44695ce8c","datavalue":{"value":"cardinality quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065008$81D42FD2-B51C-4671-90A8-80ABA159B7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4aa9967ed6719814bbc09fbf5635711fec03a83","datavalue":{"value":"Cantor topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065008$927F827E-B019-4E55-8704-596C2B422CCD","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":"Q3065008$ED22F548-3A76-457A-ABA3-DF3F127A1CF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5de5b332b328db0a2b35a8c41d9b965f4e1e8025","datavalue":{"value":"https://doi.org/10.3233/fi-2010-260","type":"string"},"datatype":"url"},"type":"statement","id":"Q3065008$A49A2CA8-B94E-4982-A9B8-211ECF1696E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d8a9d7833479b5f1cd75e7fa3d2d218742056d1","datavalue":{"value":"W1888128996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065008$9C01DFBE-67FB-4890-AB8A-24E8DC91E346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9513ee24a0ecc42ad85aece1891bed62b4b4d45","datavalue":{"value":{"entity-type":"item","numeric-id":3644744,"id":"Q3644744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe9065a6227a63bdf699db97f2bd99be2278182","datavalue":{"value":{"amount":"+0.9451696276664734","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":"Q3065008$F99AC4E9-B595-4B09-9DF7-18B417AC4927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4206b1fa915a0ba4ef0c08e85668951ee6d029a","datavalue":{"value":{"entity-type":"item","numeric-id":3011122,"id":"Q3011122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cdfd049d147d9452df12c211775bc05c3fa70e","datavalue":{"value":{"amount":"+0.893707275390625","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":"Q3065008$5ED6DE1F-BAB8-47FB-BC97-1DE4A53F16E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28a82005f77ed4c66e285be5f4842cfe0f79676","datavalue":{"value":{"entity-type":"item","numeric-id":4637695,"id":"Q4637695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1540d1aa2c24837d449720c68f20d1961b726096","datavalue":{"value":{"amount":"+0.7967556118965149","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":"Q3065008$50195AF6-1192-4BAE-8BAF-434A671231EE","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":"86ec1afdae94b99a0179e6e62ca89f2f0634b0c6","datavalue":{"value":{"amount":"+0.7726381421089172","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":"Q3065008$7C0D0D79-556E-4ADF-9EF4-86691FE8E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f351fcb1c2bb3c2d12abbb0e478247625e5b98","datavalue":{"value":{"entity-type":"item","numeric-id":4673357,"id":"Q4673357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db2fd1daee24a9724253fd7b2badee1aedb0d7b","datavalue":{"value":{"amount":"+0.7708781957626343","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":"Q3065008$5661BE98-824B-4737-95BE-A1CF98ABB570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3065008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3065008"}}}}}