{"entities":{"Q6612795":{"pageid":14223952,"ns":120,"title":"Item:Q6612795","lastrevid":95626385,"modified":"2026-06-05T09:26:27Z","type":"item","id":"Q6612795","labels":{"en":{"language":"en","value":"Monadic monadic second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920692"}},"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":"Q6612795$36DDFBA8-8078-454F-A83A-C6C781994146","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ccd213827f7499cf84dadf9d7405d788b54ad02","datavalue":{"value":{"text":"Monadic monadic second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612795$23FEBE9E-FD7F-4269-8EEB-A7A871DB51D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96fa4b3fa689f9f42ac30614298cd442da270381","datavalue":{"value":"10.1007/978-3-031-24117-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612795$F2464762-A65B-44CD-A260-04890DDD262A","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":"Q6612795$3D29448F-A68F-44F9-9797-288DE3720E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$A1FB19A4-6853-4195-BFFC-D21C9568CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"112bf1b37500fbe6178adb9c68c8488b88c9ecbf","datavalue":{"value":{"entity-type":"item","numeric-id":2134820,"id":"Q2134820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$57D70E24-B0BE-456D-B3C2-9074E7B235BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6612795$49AEC75F-631D-40A4-BFCF-BEB3F935DF19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612795$4C9A6B44-CF5C-4005-9134-0C3DAED3F51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612795$AEB4A473-5338-4DF4-843F-58D70F559CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612795$0900EDF1-ADE8-4FFE-9010-255516BBDC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b60d67072bca07d8ceb606684eecfca97bb78e7f","datavalue":{"value":"7920692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612795$3FCB401F-E460-4462-9CE6-BB9AE66FB6B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612795$8761E209-4165-497B-9A43-42B210FC2B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612795$CBD71EA2-2B40-4E61-953D-695A02547CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000c96198d700de3f776f4f36aeee2fc709b396b","datavalue":{"value":"recognizable language distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612795$D9AED30D-8063-4EAE-AD64-9DDD34CA5763","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":"Q6612795$5D279C70-3775-4A76-9D2F-277F24308486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84c3c0ff97e22f274382c589040b2de27e0160","datavalue":{"value":{"entity-type":"item","numeric-id":5079721,"id":"Q5079721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$0AD662F7-C68B-43FB-988A-DFCBB1F1A8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$C4F9D7B7-294D-4FF2-8CF2-B50A18F43A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$6A460C39-EE5B-4219-A247-5D1BFB7DAE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f521a9a90954acb634a9e019721c2fde3b6e6389","datavalue":{"value":{"entity-type":"item","numeric-id":3451085,"id":"Q3451085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$F27365A4-49DA-4E9E-B691-35B5A9668DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8407db12068f720cbdb9292e65206c3c3003a306","datavalue":{"value":{"entity-type":"item","numeric-id":5207048,"id":"Q5207048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$6AF77897-D5F7-4264-949E-1BAEFB70D925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cec10b26da8d425b5732af1f838b65b53f416c","datavalue":{"value":{"entity-type":"item","numeric-id":4635898,"id":"Q4635898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$CB8C2DB7-A137-471B-B862-0F99ABC4A718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbcac0129d0a35a06ea172984d276dd9efee54a","datavalue":{"value":{"entity-type":"item","numeric-id":5145285,"id":"Q5145285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$B1F91E43-B97A-48DB-B513-AAC0BCA4907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adb969be7203963cece16af08d4325f8d1c9db0","datavalue":{"value":{"entity-type":"item","numeric-id":2074223,"id":"Q2074223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$CA06E8A7-3AF9-42B4-95D6-D9CC58EA3F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6995a106a4c641a120b18b6a74347a20920322","datavalue":{"value":{"entity-type":"item","numeric-id":1014779,"id":"Q1014779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$2C7D259A-528C-4C40-B2B3-3A04ABBC5DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$BC6C0D14-3B98-4DA1-8F58-AC84E9F823FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$BAF92903-26B5-49D1-B0D7-9BD704788AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49faa512c925e547caf94acb48b26b8fb2786301","datavalue":{"value":{"entity-type":"item","numeric-id":2552890,"id":"Q2552890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$E78756E9-C402-4CBC-BA16-46A69BCD8E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f289079b2a2bdef115cbf6d72e07f53da105d8","datavalue":{"value":{"entity-type":"item","numeric-id":3012914,"id":"Q3012914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$B4161CAD-C17C-4A9D-8E83-D880C2AEEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244a422ad9e68a8aed8d61a32e9693e7601d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":2255534,"id":"Q2255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$3F9A435D-6AE4-41A2-A05D-4A38907CAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$FAE6F057-8A75-4E98-A179-541916DAE0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$47385958-D490-4B2D-9885-E3BAC0E87418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$C3DC5488-2123-430A-9C3C-2915023B8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$6CADFCB1-414C-472C-BAD9-3DA11409053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$468E658F-9024-4C7F-BA84-D0065E4E92A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$5E05F8BB-BAE5-4297-90F6-A32A84263ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006c4852c432fd55fe96ba8a66ead667bb55e01f","datavalue":{"value":{"entity-type":"item","numeric-id":2133473,"id":"Q2133473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$932D68BD-55DF-41FA-8699-51CFAC5C685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd71436a5110499fb35f7238e3796190b668a5ae","datavalue":{"value":{"entity-type":"item","numeric-id":4598253,"id":"Q4598253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$7E06E0D2-01A5-4B81-A1B1-991D32B2A71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41ca2cdd185f9b8144210352f3428ef62d4bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5144687,"id":"Q5144687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$B89C7A13-FDAC-4172-9328-8F7CDD7CA976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$C992DE96-4F57-44CE-B57D-DE4A6AAAE679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905c4ec0886d965dd2e20b4bca1d581899faaa8a","datavalue":{"value":{"entity-type":"item","numeric-id":1342133,"id":"Q1342133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$FBF7B59A-5C6A-45E3-97D9-02332EDF841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$25513266-C1EF-49C2-AB59-6B3962292A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb4c131130624e587de1240ac15c83225c44787","datavalue":{"value":{"entity-type":"item","numeric-id":2134821,"id":"Q2134821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$CCF2EF5A-8872-4380-880D-5292BCE13631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$722482C2-788F-445D-8603-F1F9850BA9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$FDEAD595-7619-4804-9459-6E5FC203DA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$407918CE-E57A-44F9-9BEE-A3661160FD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6612a3911ee3fbfc9a0905f5e2a282b9ee914fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4683188,"id":"Q4683188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$60FC17E0-C7A1-4198-919E-FE2B14F3FD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$8D1935C6-8B03-4DE6-96F2-179C8B05F24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"474916c99dca3dce5d3ed44bab7bc8d09687e0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5462675,"id":"Q5462675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$1C7A5387-55C3-4A34-92E7-69CAA9B18777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$D24CFDE5-A55E-4344-B21A-94F00C5C3195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$9732AAFF-6E8B-4A9C-927C-E2A4423C9C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71acf1f42bd54677ba32b999051b4c558ab3d41","datavalue":{"value":{"entity-type":"item","numeric-id":5740404,"id":"Q5740404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$0DE41D6B-4FB6-484C-AE00-9DA57655DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$8E3D3038-C119-43EC-BD3A-6E057BB50181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5aed15c946efc90ae00b85cbc17166d3eb0dac","datavalue":{"value":{"entity-type":"item","numeric-id":3156505,"id":"Q3156505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$FD141C75-9092-4F95-AC3A-F9BD5CDBFE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5458c71076be96f3e7b2d0455327961c7ac173","datavalue":{"value":{"entity-type":"item","numeric-id":2579740,"id":"Q2579740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$C0F8E6EB-7247-4969-9713-90CD55767605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0ea96852345205a0d11215301b794603e65200","datavalue":{"value":{"entity-type":"item","numeric-id":5028467,"id":"Q5028467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612795$496029E6-553C-4511-8F45-BE91CF3163E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic monadic second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monadic_monadic_second_order_logic"}}}}}