{"entities":{"Q4412837":{"pageid":6442436,"ns":120,"title":"Item:Q4412837","lastrevid":48135760,"modified":"2026-01-03T18:14:44Z","type":"item","id":"Q4412837","labels":{"en":{"language":"en","value":"Expressive Power of Monadic Second-Order Logic and Modal \u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1950130"}},"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":"Q4412837$F7791D9C-F93E-4C8E-84D4-1F8F8F9F3777","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb1ef7921d6e1d16eda9b210d5a9473de55ff93","datavalue":{"value":{"text":"Expressive Power of Monadic Second-Order Logic and Modal \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4412837$4CC2F935-E3F0-464B-B5F3-EFBC31A2E0B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08780e2a0639255c111fe35d5155f12ea34855b3","datavalue":{"value":"1021.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$E5580ED9-53FF-4167-BC5B-604273988265","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e0a048ff28eecf944d4526b942aa5cf7d0c6e4","datavalue":{"value":"10.1007/3-540-36387-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$8B3C3F50-B24F-4330-8E7F-ED2B00BD9817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"549dd62c358595f8417445a5b85aa327146612fe","datavalue":{"value":{"entity-type":"item","numeric-id":2781278,"id":"Q2781278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412837$F59A9387-DD06-4BF7-88DF-F7C6208A1509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412837$A698F803-59D8-49F7-9E0F-E6240FD61F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af6acebe0ba8380f0e7105638b65df81e8c477f","datavalue":{"value":{"time":"+2003-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4412837$29A45E1B-B394-4AD9-9276-55A088FBE987","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$B81A209B-E0A8-478D-A010-FBA9D24B9D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$FAA65BDF-7DBC-443C-A4D9-B878DF0C0F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$28743F31-9E75-4DBD-A40D-41D4F74967A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$C75EC616-0BDC-46A7-AC89-415ACC918502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$8B40DEE8-A806-4EA6-81D3-6F8D4C612F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$97F84232-C1C9-4290-A432-326799C12882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$14597D6B-CE0B-43F1-A97F-18EF0E362E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21e6f0d3eb2c37a5ec319cd751a8cb3d7d7717ab","datavalue":{"value":"1950130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$FDF4E2DE-D5F4-4813-B451-A6A7EA3E9170","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":"Q4412837$2B5CD532-ECF3-4025-9531-13C1503FC282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a16aa4d0217051875353ac8526033ccb8e65bae","datavalue":{"value":"https://doi.org/10.1007/3-540-36387-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4412837$8FF7F76E-037E-4D5A-AA3D-DE45399ED347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36391e5109452cb471c16bfc94f2e67d91b35df7","datavalue":{"value":"W1482902840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412837$DF4A5B52-EF22-439F-B8EE-AC79099F30B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf843a7a29d4fc996d3d7645392e9fc48d7fc555","datavalue":{"value":{"amount":"+0.8958255648612976","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":"Q4412837$57E32BFF-8839-44B7-A2CE-D00CEB3F1E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820e70d404e4a515b10ee55eb13b7b48df6d220","datavalue":{"value":{"entity-type":"item","numeric-id":5121266,"id":"Q5121266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5bb62f1f1bde3a68cf92e51d29ca3ce0ecaf86","datavalue":{"value":{"amount":"+0.8677126169204712","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":"Q4412837$0DD88C5E-61F2-4F25-BB12-0183D8C9A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb2a5c066da893ef4a804b9d15c1eb32e5bab81","datavalue":{"value":{"amount":"+0.8658952713012695","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":"Q4412837$93579275-625B-445B-821F-57B0E23F10F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceffdd329b916bec937476626c5b94b07cfb8d45","datavalue":{"value":{"entity-type":"item","numeric-id":2182315,"id":"Q2182315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8dd105e0abf3601ef4f102d0eae70e23dc09dc","datavalue":{"value":{"amount":"+0.8602610230445862","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":"Q4412837$D9168708-DDF4-4925-9022-15DB234E4E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c02e3ec25316e3da92f1e7db6f8e1529478a367","datavalue":{"value":{"entity-type":"item","numeric-id":4635611,"id":"Q4635611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa874c3ad8eb2535b8246c1f367015735521f8d","datavalue":{"value":{"amount":"+0.8539336919784546","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":"Q4412837$37C39027-708D-449B-8877-F841B3AA2BCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4412837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4412837"}}}}}