{"entities":{"Q3085169":{"pageid":3095884,"ns":120,"title":"Item:Q3085169","lastrevid":51218159,"modified":"2026-01-17T07:23:30Z","type":"item","id":"Q3085169","labels":{"en":{"language":"en","value":"A modal perspective on monadic second-order alternation hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872413"}},"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":"Q3085169$3C692047-EB82-4232-A2D3-6680E197B635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e78c8a8784b309070df0e3ea12be5f32d5a4daa3","datavalue":{"value":"1244.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085169$A7B13329-0C9C-4A37-99AD-7CE868E4D707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085169$A8EAADAF-A197-46E5-8F4D-D930DE6DD513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085169$25A27701-88FA-435A-BAFE-9270D359F28B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085169$1AC92492-D9D8-48C2-8BE9-59E2111BA2FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e9c947db9b5a55daa71fb0d10e24d6e4f350b0f","datavalue":{"value":"5872413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085169$0266F5DF-BD20-4937-9E2B-5A0B30F9993E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085169$B465C27F-4A8C-4F1A-A7FE-F05BB99D06EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d22b82563ebca48e90415abc49a6556c8806ba1","datavalue":{"value":"second-order propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085169$5B5C2C93-B0F5-4851-A7DD-E2E78AC4E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085169$B97AD284-26D9-46D3-A89D-FC2A447BF7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849c40c9be37b42e851b5450de9d4ee8af01e1f2","datavalue":{"value":"alternation hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085169$9B9A68DC-08E8-4FE7-9357-E0CFC6C05487","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":"Q3085169$63467F63-9E82-4A22-A408-155C989EE542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064e49239fd267f19f36361b3fd54dfe09d50cbe","datavalue":{"value":{"amount":"+0.9516253471374512","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":"Q3085169$25D435A1-C3B3-4A94-813D-20AED5345ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2963ac26c2840748d32e101418ad4ac93a986f","datavalue":{"value":{"amount":"+0.7796878814697266","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":"Q3085169$428720E1-742E-4FE7-B027-9585BA5C33E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70908c23eb5ccdb7ca5a9eeeb839c819b57f138","datavalue":{"value":{"entity-type":"item","numeric-id":5958302,"id":"Q5958302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb968321ef776d8acfe554d9858cf4b44e9451ad","datavalue":{"value":{"amount":"+0.7599108815193176","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":"Q3085169$A3B78269-EF3F-4D91-BE1F-C7A616E96ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10d96801661f9c2872b91fb053ae4919fa92006","datavalue":{"value":{"amount":"+0.7589697241783142","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":"Q3085169$89D1920E-5728-43FC-9741-034D6D9BF13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a2fc4aef0c59ab788dd4a099a6a5621bcd2c94","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c405591f9477d2fcea5a00c8db088d09c3b7386","datavalue":{"value":{"amount":"+0.7574709057807922","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":"Q3085169$5E6A7C0D-281F-4727-8AC9-78D1DC6FF660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3085169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3085169"}}}}}