{"entities":{"Q5389974":{"pageid":7419548,"ns":120,"title":"Item:Q5389974","lastrevid":51452180,"modified":"2026-01-18T07:36:36Z","type":"item","id":"Q5389974","labels":{"en":{"language":"en","value":"Weak MSO with the unbounding quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027213"}},"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":"Q5389974$C0E3FAD8-01DB-4B77-A1C1-7F991470BD4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42ed3ed43a44a9652e4102497933d2346561931c","datavalue":{"value":"1236.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$17892CB9-B10C-4C51-8D03-6F2DE4182E84","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":"Q5389974$86B11B63-6200-47E6-8E20-301ADE524456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389974$6BBE8C7C-3ACF-4FFD-8CDC-42AC23FE6BDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4322d58d92b9e1ea65aec689131983a0539dbf5","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_7cbe.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389974$6DC33721-ADDD-4EC4-BDAC-80D6EBC393C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$D70B0950-8649-463E-ACE7-062DDB22F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$F36477AD-1B17-4729-B7BB-CA9687DF74A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"530f664c4384ba2b56462120887d736d65d5c17d","datavalue":{"value":"6027213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$EE70D7B7-C960-4500-BB5F-8C35FD423098","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389974$C158D0D9-99C4-43FE-AC90-2C2F14A5166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389974$453A838F-FE3E-458D-8EA4-0D6D966A8976","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":"Q5389974$926F619B-E5D5-4788-9DE5-38C1E8F9D0CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aabb2f218a63b6efd4762f2708039594a9d91fc3","datavalue":{"value":"W2286445266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$C9B55F3C-695C-4738-B557-6E1EED74F028","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24288a9154e6db35d78669ed050c307ed2b093de","datavalue":{"value":{"text":"Weak MSO with the Unbounding Quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389974$95B1CF13-185C-4648-9C17-312E526B96D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccd0070561d66a068b76043ee94538b6a85cb93d","datavalue":{"value":"10.4230/LIPICS.STACS.2009.1834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389974$FEB9E7C5-7084-48DD-9B35-43CAF943294E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6562bc3cf9b314568e5bf844026b8c6bddea272","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ec8fd0cd563eafb1f372a97cf0d5048dfc1c05","datavalue":{"value":{"amount":"+0.997741997241974","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":"Q5389974$F3EBB6B8-EF7D-46AA-AE55-DD3B4B57BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565121846bdb8ab0c39285c4d4e61e7107bab56c","datavalue":{"value":{"entity-type":"item","numeric-id":800737,"id":"Q800737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac43015b0eb29fa495084d29dc49865887595b9","datavalue":{"value":{"amount":"+0.880755603313446","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":"Q5389974$03C61445-57E1-4CEE-A9C1-4DA8A29222D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a064046a6a0e078edb72b23f16fb06bc6ec2f561","datavalue":{"value":{"entity-type":"item","numeric-id":4596779,"id":"Q4596779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731a9957bce6716d55d05207776f381f475b6a17","datavalue":{"value":{"amount":"+0.8087663054466248","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":"Q5389974$7926E0D5-A001-4FB2-AB79-A88B7EF4A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db55fc295b6008f6d096d157bbcbdbeac0ee2758","datavalue":{"value":{"entity-type":"item","numeric-id":2920114,"id":"Q2920114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24151394044e9409d101c6d30960e80b27de0527","datavalue":{"value":{"amount":"+0.8042375445365906","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":"Q5389974$6C7D36A4-5D06-4DE7-8BD4-C35C76DEF25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43a1626a544fa2977e602f562af0d0f078774cd","datavalue":{"value":{"entity-type":"item","numeric-id":2920119,"id":"Q2920119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5301d04b2c9520f79c78f45c91dafed13874dc81","datavalue":{"value":{"amount":"+0.7752501964569092","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":"Q5389974$EA023678-BCAC-4EDF-9C50-A53A7E5D1571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389974"}}}}}