{"entities":{"Q1055408":{"pageid":1057256,"ns":120,"title":"Item:Q1055408","lastrevid":69528993,"modified":"2026-04-13T07:37:12Z","type":"item","id":"Q1055408","labels":{"en":{"language":"en","value":"Boolean combinations of monadic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823779"}},"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":"Q1055408$59D71EC1-6BA0-4E59-A425-34FD6785E4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc9c2acef98c2b8605c95e845ff4017685a6787a","datavalue":{"value":{"text":"Boolean combinations of monadic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1055408$92577101-145E-4E88-A054-CFEAFC8AF533","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a46eb2cc62541e12aca29469957036575be9d69","datavalue":{"value":"0521.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055408$54484E1D-5A6A-4F7F-9FC6-602319F2A623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49970b57184c8049ac35be72e35c996fe00586f9","datavalue":{"value":"10.1007/BF02483729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055408$61A7989D-9461-4FBB-B804-C3C01E462F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$959FA328-854B-4755-93A0-342EF800DF5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1055408$32F2C47F-71B4-464A-AD91-0812437F107A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055408$97E918B7-92C2-4E5D-9B6B-178C77E59042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61840be84317b711c26be9c39df88a455277d642","datavalue":{"value":"3823779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055408$542D5970-714F-48B4-B5F0-66F95E56D821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055408$86E8CDE4-0334-4C0E-8A63-0B561B54CA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43335682d589a787cfcc6c3d3eab12401bb46287","datavalue":{"value":"sheaf theoretic duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055408$1FC89097-3A37-4E3A-A63E-8B0A4F2FC589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96881b851f591ea0f49443adff661b2890ec5848","datavalue":{"value":"Boolean combinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055408$4F268486-9494-430C-AB1B-38BC39E6FC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524f31acce80cd889182cc8529868b69d08fe792","datavalue":{"value":"monadic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055408$0227BE9B-567C-42AC-8655-28DCF9567E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055408$A39011F0-5093-41ED-B035-49452C8E9387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172d13bb1c9d1112b7c126a1a40cb52d5f1e4080","datavalue":{"value":{"entity-type":"item","numeric-id":795933,"id":"Q795933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$A9F59B91-1895-458D-8C3F-9718C18BB766","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":"Q1055408$541FDFEC-2204-47ED-9D10-1AC8C9E111DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce7fa0038aa865473d1f3d8405bbf8da43c3290","datavalue":{"value":{"entity-type":"item","numeric-id":5680126,"id":"Q5680126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$9C4D3EA2-D314-4476-BBDE-96A1CBB4CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$444794C3-C691-43C2-AD15-BD32EC4C1C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c290202d09253609d3352adbe072fd28dd6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5732648,"id":"Q5732648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$7BCCB4DF-16A6-49A8-9D05-35A335056B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$7D8E4984-20C8-4693-902D-35937AEE3BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0e17c347c06e336c81efa80f6b2f1c11d308ef","datavalue":{"value":{"entity-type":"item","numeric-id":5626658,"id":"Q5626658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$EDFD188A-B027-4E23-B6A6-BBBE98287763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89dba9eda945101f3493a6fcc35c5d80761c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5541306,"id":"Q5541306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$972446DD-9738-482C-B41F-C87F24A9C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d12bc73d12578e158c35548a9be50fc15f22baf","datavalue":{"value":{"entity-type":"item","numeric-id":5552146,"id":"Q5552146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055408$EC197D46-6F7A-4705-B848-B30B2D8978B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d67066d979f69d10afbe62340bfd88ab33d0118","datavalue":{"value":"https://doi.org/10.1007/bf02483729","type":"string"},"datatype":"url"},"type":"statement","id":"Q1055408$B2FF8647-A8CD-4722-988A-7AFDB7960D81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d24e347c3095923076822879c17998ef98f4851","datavalue":{"value":"W1974141362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055408$5EB1A15F-E19D-41FC-8C11-8F5A5B4732FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean combinations of monadic formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_combinations_of_monadic_formulas"}}}}}