{"entities":{"Q3637999":{"pageid":5667905,"ns":120,"title":"Item:Q3637999","lastrevid":50708636,"modified":"2026-01-14T21:28:10Z","type":"item","id":"Q3637999","labels":{"en":{"language":"en","value":"The monadic second-order logic evaluation problem on finite colored trees: a database-theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5578307"}},"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":"Q3637999$8D25E558-3429-4589-BABA-B8C656A62FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5de27ea271d6e5255f166e555c483ab7fe3c073e","datavalue":{"value":"1185.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637999$95AD590E-F08F-4054-8C9E-0B54B1CADD3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3c17e6125b607635b425beaf026ffd03ccb9f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401357,"id":"Q1401357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637999$91B2B11D-8508-4A58-AC3F-CFF0F8ABA5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"032e97df8bc3db85eeccc8511cf8763dbd407867","datavalue":{"value":{"entity-type":"item","numeric-id":3637998,"id":"Q3637998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637999$E2FEFFF6-CDC5-4B8B-9C79-CE9F3E6E5C6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84a43ca09dfc89bd40b6e05ccc6fc3b6ab38d41","datavalue":{"value":{"time":"+2009-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637999$39E69C4C-933D-4F72-93AE-72BA26286985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637999$60DE6D01-00E0-4974-90E7-45BA8FDFBC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637999$DFA6E765-F2B7-42FC-9C94-3F23FE9333DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f7501825921ac3814b02208922e44493423680","datavalue":{"value":"5578307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637999$E84C6B81-7C1F-430D-8637-826D0C077F08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$71BCB4F6-E7D5-4BE9-9BFC-00F6E785F11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58050f08a0e3452f382ffc392b06f5975759ad4a","datavalue":{"value":"MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$C9FBB3DC-97FF-4B82-9AB6-42CD23F2FAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34346623c58381d2009d44dab9c96712b9e8b322","datavalue":{"value":"evaluation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$6B3D58B9-155F-4FDE-AA4C-F485F4C3DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5869f84baacc1cf7c8144560ec73998e6093e08","datavalue":{"value":"MSO queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$72CCF8CD-FA1B-435B-9DC6-102182350DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$80C57782-74F0-4B5C-8321-45BFF65195BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e4d45008cc68078ad712322f4b2d10dee0dfaf","datavalue":{"value":"datalog queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$661FDF03-129A-4584-A1AD-854A3B92B76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc3daece583808c4f41afbed0024b60adc2eefc","datavalue":{"value":"acyclic conjunctive queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$91CE35F5-35A1-4D79-84D8-664899D2D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e121144179ffb745955f32b26525e7a282ce7a","datavalue":{"value":"Yannakakis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$3079D6A4-2FCE-4F54-8857-7C5C4F1F6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13dc93fff43fabc3355ca5a91fa07faa9312e0f","datavalue":{"value":"datalog rewriting algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$C8E47DBF-8EB1-4C04-A8B7-E76D220C49BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$70B7B436-CD97-4DE6-978D-65F43BB6BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637999$3BD238D7-72BE-4111-BC5D-47C5CF0BB4E2","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":"Q3637999$116CCB69-755C-4C06-8048-7DB23E347A0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef50313cec8f0e97eb72972c5caf5e1339e67e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4473259,"id":"Q4473259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4569adcde3a90fc84641faf84523822905051e5","datavalue":{"value":{"amount":"+0.7933071851730347","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":"Q3637999$1014D887-B4AF-4058-874E-BBFF21E9A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285c2740bb884cde01afc259893e59e4ab0ab0df","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698ee6ee5e6c1368ec14a93f0c39985a856dbc53","datavalue":{"value":{"amount":"+0.7845078706741333","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":"Q3637999$E869EC92-3B14-4A59-849F-3FBF92D4EE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7038c834c2c86f6e1a7b7e1dc946404a6dd58cad","datavalue":{"value":{"amount":"+0.7800966501235962","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":"Q3637999$CBFFA3CF-2853-4C1F-A1AF-2E5E5906EEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57c64afbb1ef20fb5f8402dc493a05430872d70","datavalue":{"value":{"entity-type":"item","numeric-id":3605529,"id":"Q3605529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c9d4d1054372fc8d81557abc912ec7f02101f0","datavalue":{"value":{"amount":"+0.7778602838516235","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":"Q3637999$3591A46C-1612-4437-A351-3B04DDE1BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9f1124cb0f401cd6dac1e7a3f975627bcc8118","datavalue":{"value":{"entity-type":"item","numeric-id":2946620,"id":"Q2946620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76dd021647d757e988bc9cffd1337fe2f166a9","datavalue":{"value":{"amount":"+0.777014970779419","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":"Q3637999$BBB50EF0-8226-4FF9-B46A-3DBE240A346A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637999"}}}}}