{"entities":{"Q6047662":{"pageid":13181818,"ns":120,"title":"Item:Q6047662","lastrevid":93758306,"modified":"2026-06-05T05:03:27Z","type":"item","id":"Q6047662","labels":{"en":{"language":"en","value":"On the completeness and the decidability of strictly monadic second\u2010order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736793"}},"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":"Q6047662$F08B0FFD-144F-4CF1-941C-0A5CD4194B23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d68a86709100316167bd24006202ce3c5a6f80d4","datavalue":{"value":{"text":"On the completeness and the decidability of strictly monadic second\u2010order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6047662$4B1E54DF-26CD-4111-BF69-A5C19C1B2CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"537b6bd35e5d00a3aa5b103e8238458fdd0ba2ce","datavalue":{"value":"1521.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$E07526C8-D26A-49DB-9FF3-172C4E86683B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a181d493b4ad6aa6ce40b0f22cea49accc5af864","datavalue":{"value":{"entity-type":"item","numeric-id":2153832,"id":"Q2153832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$5793F0FE-314E-44F8-A2C6-F8C30741738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$98521426-51F6-4322-A0D6-3EDB0F1A44FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$4A867FEC-AB9C-4D55-A335-BC260EBE7794","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6047662$B29267B9-735D-4E5B-9151-82CD773547F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$FFFF3B63-84FC-4900-837B-C25EF28A484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$11F35DF4-8CBB-4FD7-9738-DF43E0A6CC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba75d74a5167588d157c9e04c90ea51f2c11315","datavalue":{"value":"7736793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$D0D9CC68-4B50-4684-BA5F-80C7E295C588","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":"Q6047662$696367CA-A2DD-452F-AFDF-8BC7F172AB3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b39e241bf0b9056a6a9b188d39a278e22bdb041","datavalue":{"value":"https://doi.org/10.1002/malq.201900046","type":"string"},"datatype":"url"},"type":"statement","id":"Q6047662$56D83697-F913-4FCB-BFF4-352B686A7E2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7e8f1620b40f3c62a353c999fe8005129195a1","datavalue":{"value":"W3119127574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$8985CB10-1910-4364-8672-3BB7F3DED789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$EFF8502E-A072-4523-848C-120C3EEC9B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$BFBF4C88-3AFE-43D2-B949-D4BBA3A254D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672678cf45fd4483f5b79d4774c74879e4f49101","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$A4B528DA-D3A4-433B-BA2C-FA61C5E470F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047662$B648B1A2-DEC5-4E40-A038-9827BF5D7C78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68ccb11d4a51db2f31196e579f855f45ae4b8720","datavalue":{"value":"10.1002/MALQ.201900046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047662$1135262F-695B-46EA-AB5D-D99F644B8CEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62d78197947027d933cebda936a26cc6799f188","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff2412982a465896665de47b024e51ae479f403","datavalue":{"value":{"amount":"+0.7439969778060913","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":"Q6047662$D98FA732-545A-4F77-8DBB-A439863C1D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60147acdb76f80d96ac1a2d79702ca8d97e8f784","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a960041286b25afb83b2f71b4f7685885f683cd7","datavalue":{"value":{"amount":"+0.7028736472129822","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":"Q6047662$3500999C-9348-4A60-8035-F4F3978AADD9","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":"afed9cbc4f3d69a450a3dece0add0d8cfb600239","datavalue":{"value":{"amount":"+0.6984984278678894","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":"Q6047662$F2E4C103-BA59-418B-A3B4-5B163C1002A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3639b2965d16e020aa6299f37609bcf19803df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4993769,"id":"Q4993769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31694be80b5dea9fd3f5d2a0f34a3f99841f721","datavalue":{"value":{"amount":"+0.6958936452865601","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":"Q6047662$4DE9502A-5CD0-466B-93C6-CD93059AD39F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness and the decidability of strictly monadic second\u2010order logic","badges":[]}}}}}