{"entities":{"Q4391436":{"pageid":6421035,"ns":120,"title":"Item:Q4391436","lastrevid":46974384,"modified":"2025-12-25T23:37:05Z","type":"item","id":"Q4391436","labels":{"en":{"language":"en","value":"Propositional quantification in the monadic fragment of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158364"}},"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":"Q4391436$492B4482-7516-4300-83E0-7EE67FCF2DFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e35a4197d211e15471db17580705483d924b80","datavalue":{"value":{"text":"Propositional quantification in the monadic fragment of intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4391436$CBD6EFC2-6989-4163-9766-3BDE7F41DD51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8036c304dd5faabd1874a58e894e6a7ede8a5fe","datavalue":{"value":"0959.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391436$6546EDDC-2160-4BC7-943D-2BE6EE61FBA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fc64bfb0191e0605008ce7c3d13095d5805c07f","datavalue":{"value":"10.2307/2586601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391436$BF322783-0E56-4520-8EA8-878ECE0F3B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a35120a6a454e23e128ae3826feb53523f2ec7d","datavalue":{"value":{"entity-type":"item","numeric-id":190318,"id":"Q190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391436$FBA22ACC-7AC2-4BD8-B291-5A9DDE626532","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391436$990B9EEA-DF40-4D20-A1ED-DE8A8E788EBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f4edbc315b46accf8681ddd2933c397936bf8c2","datavalue":{"value":{"time":"+1998-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4391436$680D6323-FFC9-4E1E-9C8B-20D10F1DED37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391436$C60F58C6-42DD-4885-8F92-98243EEB1282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70aee4ab0e48642906a9388e99e4ef0508da2d81","datavalue":{"value":"1158364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391436$400D3DB8-A9B7-427A-BE8B-45804C6275B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c388a3a38ae64b39bde499cd80f5f97aba9fc46","datavalue":{"value":"monadic fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$81D6D330-262B-4DD4-A65A-18A09094DB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$2746B93A-69D9-44D2-A659-985E7101155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$9FED29F1-85B4-4DED-A86D-8942696E6377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d30cb4011454775662cabcfb0dee19104a75ca","datavalue":{"value":"topological interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$48144339-ABB2-47D3-B7B6-FD59BFB5EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$731AF313-7F88-4150-819D-2D2C2B83A903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b006aeb8598472d2e099597cabe965343a3d79f","datavalue":{"value":"Heyting calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391436$4B7B24BE-D249-4A04-8692-BE2ED25CAD0F","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":"Q4391436$740FF00F-CC1F-43BB-8D13-3655655B1491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4adce38abbf2735ed7cd9725c4ad9c835b9004fe","datavalue":{"value":"https://doi.org/10.2307/2586601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4391436$7BAA155F-580B-420C-9D40-75C1428ED315","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25c51aef4e3f79ff1aa6f1fe37b824cfbf02b074","datavalue":{"value":"W2121836469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391436$ECF775A0-3C8A-4E6B-839A-B49148317C4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391436$904C312C-79C4-4C42-B9BA-3D4D30EBAC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0e62610a46dfaa857940ae1385ecd9c9dcd53","datavalue":{"value":{"entity-type":"item","numeric-id":4777262,"id":"Q4777262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391436$B4F406A1-0376-4EBB-B778-82CD3932B256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d67055312a9cb0aaaed481e70afde5c0564ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1158419,"id":"Q1158419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391436$448B4BA9-C231-4240-A173-40550EB32714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ac6aaf1df3cee186cd8881b50deb1da5c39568","datavalue":{"value":{"amount":"+0.8687575459480286","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":"Q4391436$24F111BA-CF79-4213-8C6F-46EED8562411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff643d203d86b1fa55fb859d2f5ab278319d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4438096,"id":"Q4438096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0e3d6256d34c037a507671e6756de6a9c382f9","datavalue":{"value":{"amount":"+0.8145101070404053","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":"Q4391436$A40B44BC-B6B4-4525-AE53-1EAAD8566729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49bf7a1a9340b00524c524644b0f3eafb022a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":1317903,"id":"Q1317903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dc2c813a2b4601f572123931193279e20ed5f8","datavalue":{"value":{"amount":"+0.8118504881858826","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":"Q4391436$792DD210-5B42-4D4F-ACC6-88C2A94046AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4391436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4391436"}}}}}