{"entities":{"Q6902062":{"pageid":20911327,"ns":120,"title":"Item:Q6902062","lastrevid":84176114,"modified":"2026-05-13T02:13:24Z","type":"item","id":"Q6902062","labels":{"en":{"language":"en","value":"Ranked enumeration for MSO on trees via knowledge compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8119430"}},"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":"Q6902062$3357E401-3606-49FC-9D80-E525152641CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b1feab1323aaadcc73bd0e72bc72cfe693db45f","datavalue":{"value":{"text":"Ranked enumeration for MSO on trees via knowledge compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6902062$607D2BB6-C232-458D-AC08-CEB67137E414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5817223592972adccf969c293e418037bc01cb14","datavalue":{"value":"10.4230/LIPICS.ICDT.2024.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902062$497E7F80-FF68-4293-ABD9-40A8E361D530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6726a4ad13f74d2ba81f286ec0ed53466799ad11","datavalue":{"value":{"entity-type":"item","numeric-id":778530,"id":"Q778530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$CB0B2058-5420-4C42-BEF7-FFCA95971457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2385cc4dfe24a394f2fbebc903db8a7daf0bb26a","datavalue":{"value":{"entity-type":"item","numeric-id":269321,"id":"Q269321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$8A72E2AC-3B10-4D5A-B02D-1EC4C3607D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fecf80de58f31558ba8f1ceccc24d138affa8e76","datavalue":{"value":{"entity-type":"item","numeric-id":290897,"id":"Q290897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$A20BDA50-A30A-420B-B926-C5B9200D1052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31e9ce568cae0d4fdb2e10004fae03500ecaf9a6","datavalue":{"value":{"entity-type":"item","numeric-id":778531,"id":"Q778531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$448FBC65-616F-4F73-8E97-59370E13769E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aadfe502d9fc0f96faafdf2a3ce941165f259b74","datavalue":{"value":{"time":"+2025-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6902062$80BEE1A1-6C18-4E8D-A3D2-AAD0A8035B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902062$339A561E-D21B-455B-A85E-A5A4D06987CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e0841efb87cdb7f13e207bef1abfa2320efc4ed","datavalue":{"value":"8119430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902062$14A94A11-14AE-4555-A496-96B0A834020D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$9D964639-9473-438D-8454-9D821697CC65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902062$2402A54C-694E-4570-A9BB-F5E33D950C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902062$47DB43CF-64FF-4CDB-97F0-040BCCCE4661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6902062$6A1EE3F7-DBB7-41BE-A860-71799D65D95F","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":"Q6902062$4A91B77B-248A-4BA0-9C48-2C7F12568B96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$F021234A-8D88-4D13-829A-24B3C50BFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb30a4e572cc2843d152b694e61d2cf7e89a0ece","datavalue":{"value":{"entity-type":"item","numeric-id":5111443,"id":"Q5111443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$30A4CB54-EC69-4533-B331-E94BDA4FFA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe444688809996723c9f19104b79a90cb520ada0","datavalue":{"value":{"entity-type":"item","numeric-id":5091137,"id":"Q5091137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$1ED2AD2E-D96C-4A0E-895C-2EDBA24D0DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a0d824e631e26ed9afd3f18cf46fff0b5958dc","datavalue":{"value":{"entity-type":"item","numeric-id":3449465,"id":"Q3449465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$7DE85D70-0106-4216-AAE6-2E8AD41C04A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486328bcb835b0d729b04b9e1d795e5e5932317a","datavalue":{"value":{"entity-type":"item","numeric-id":3613336,"id":"Q3613336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$B14C2ABD-6A45-4D65-8A16-84D03A5F6AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cf8197f8a026e751f0e8b9b9724006b7cccb4f","datavalue":{"value":{"entity-type":"item","numeric-id":3608414,"id":"Q3608414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$F3430D81-A512-4863-ACB1-6ED951A380A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86905402e92bff9e3d73a999e23b27615bd3cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":3305351,"id":"Q3305351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$48EA08E0-958A-47D3-91C8-46AF06890575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf95e79bee397fea06caeb38c66ee670cecfd71","datavalue":{"value":{"entity-type":"item","numeric-id":4339017,"id":"Q4339017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$8F6068E6-92E3-4C94-9C5D-C6902FD814C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$11FD9A5C-13F1-41BD-AD28-C68D23FF8387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8055eba5e9a4d96a56e4ca777d5f8632d2ea08e5","datavalue":{"value":{"entity-type":"item","numeric-id":5028476,"id":"Q5028476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$CC2F6514-2C62-4DB6-A02F-94AB40C72B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$3EDFB45F-ACCA-42D2-A075-306E92E44536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe45d83731e3d384f322fef389c28ac6f4419b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277786,"id":"Q5277786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$BD0BB91E-7BF2-4F63-A2BB-0B695D45D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d455063a540158f54bc00e6be218e8e41bdf58","datavalue":{"value":{"entity-type":"item","numeric-id":2946714,"id":"Q2946714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$75640B74-792C-420C-B0A2-8DBACDF70582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4fbbdb525d53e912d0fd9fc57d70ac9cc61edd","datavalue":{"value":{"entity-type":"item","numeric-id":5643805,"id":"Q5643805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$38EED772-DD04-4BE6-B8EA-3C9C5293538A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$2AAEB0B6-2153-46B7-8DA4-9849C51205DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe71e7dd2637fc4da0eb62e87ebee49b6e497de","datavalue":{"value":{"entity-type":"item","numeric-id":4635652,"id":"Q4635652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$6EEA8E9C-A521-450B-A99E-379A6EC6D087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3acfeb6500969d2e934fb86ceff54824a082fa","datavalue":{"value":{"entity-type":"item","numeric-id":5616598,"id":"Q5616598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$949B658D-6627-4EB5-8C48-7B7A201E528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7eb5b90709daff4835dd2d4b660ed145dbfced4","datavalue":{"value":{"entity-type":"item","numeric-id":5012518,"id":"Q5012518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$20FBDE03-96FD-465B-AEC4-C940462AD706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19c3fc842264278c9b0d7e3b1231c0ce1d8ac00","datavalue":{"value":{"entity-type":"item","numeric-id":5889796,"id":"Q5889796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$75AA2765-A4DD-4397-88E4-17B550649D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7546b64df416f252a11fd407dcd3e9a8f309fa","datavalue":{"value":{"entity-type":"item","numeric-id":2965468,"id":"Q2965468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$B436F680-8C4D-4FCC-A7CB-98787A6DCFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa66917798933a44c62c1a663d1cfe8897bfa5f9","datavalue":{"value":{"entity-type":"item","numeric-id":3174913,"id":"Q3174913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902062$C8791AD9-C1C9-4064-AE59-3AEA6497E36B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ranked enumeration for MSO on trees via knowledge compilation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ranked_enumeration_for_MSO_on_trees_via_knowledge_compilation"}}}}}