{"entities":{"Q5241228":{"pageid":7270796,"ns":120,"title":"Item:Q5241228","lastrevid":53583368,"modified":"2026-01-25T09:05:53Z","type":"item","id":"Q5241228","labels":{"en":{"language":"en","value":"Quantified intuitionistic logic over metrizable spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124568"}},"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":"Q5241228$1DD7D4C4-5B1F-41BF-BF6B-4E6B71AFC4BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f66823f0dc5207aff809b92e77756e60eaf7baa1","datavalue":{"value":{"text":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241228$44744205-DE87-40C6-8395-CB8393D55DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8744fa872c3b10acc430e1bc328824110c5f30f2","datavalue":{"value":"1445.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$40C1C2B5-0C75-45D0-AD10-0CFFF3C247CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9708551c7c4d2e1c2955170c9ec30b9a6a375c3d","datavalue":{"value":"10.1017/S1755020319000170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$D362BEB6-BA26-4930-89EC-EEF155A57F93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$F0342E32-88CB-4627-9B0A-C59FA2D4199A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$40599D5E-E3A4-423E-8AC8-FF54834B0E3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf3c9392a3a411e1401dab8af8f22fd364f2a018","datavalue":{"value":{"time":"+2019-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241228$FA37C102-4D7A-492E-922F-8524DBB6A345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$3CEEB404-00AD-4262-B5DD-081A4484BFFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0923fdcc916f751c1088702cba12d92d20400b51","datavalue":{"value":"7124568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$C7C0BBB7-9C55-4275-9842-ADB1F7818DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f089c6ac3c26640b15eb46f53ba109e09a65eb2a","datavalue":{"value":"quantified intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241228$7A900211-6ED9-413A-B580-261095CAB759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241228$EE9C1594-00FD-48CB-AFEF-4F6BC111740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241228$6194F0E3-5BFA-49A0-9E71-404B7D63E569","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":"Q5241228$0D1BD68D-B90A-4A39-9A85-2453DBE06FA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5424301ac1ead41d6e8b6bca6af6c50f2da734a5","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$7BA37797-A2BC-40BD-B8DB-331FF0ECD5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$824D0739-B118-499B-91CB-7AD68A2DD2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$8ADF0686-F70A-48EC-8B54-2D6980AC2908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be81e446200638599f40555687e97bdd3a90b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":4185470,"id":"Q4185470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$5C4E7481-DA51-426F-B4D0-8113472C2A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$66EF6FD2-3A2A-44F9-911B-C24B964C4B40","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":"Q5241228$83728DC8-23C5-4D4B-BE10-162E773DFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$54765AD4-4F52-4CC6-B26F-702BDF05EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$CC1C6D59-BA98-474C-9E69-58EB8ED65E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753056d26ab5c133f0c397bee997f1eecc1da9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$0F7B05F2-25B1-4555-A4E2-F38380275837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8e7c810a525b02adefe0ae966e0b6fc4bfe812","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$DDFD42C1-BF81-42FD-A61D-C2008BDA4087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e99682c79a780c74ba24372aec8d103a99fd85","datavalue":{"value":{"entity-type":"item","numeric-id":476117,"id":"Q476117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$5F08EB60-6B6C-4857-8C02-DA57989B16F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$38065849-E06C-42DB-9366-B189DEF34D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc7f940372600861ef195ef10b402a3a7cb8519","datavalue":{"value":{"entity-type":"item","numeric-id":664687,"id":"Q664687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$E1FE329E-E9CC-492E-8541-769106A65753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a2556c96988fd1db785315ee83aa84b98f347","datavalue":{"value":{"entity-type":"item","numeric-id":3947661,"id":"Q3947661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$8A857622-2861-4CFF-8664-F7E3FF401549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1d97d729b495d4976b6442a2e4af96303aadb0","datavalue":{"value":{"entity-type":"item","numeric-id":5787742,"id":"Q5787742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$D6E5B034-82D9-4864-AB47-BFC4095C1C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d754f560f97b38f90d96b39947840c671a32e3","datavalue":{"value":{"entity-type":"item","numeric-id":5807661,"id":"Q5807661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$44C38D4C-8DAB-4A3E-A8C1-FEBAFC0CD94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$B1C61B9B-2534-4E79-9181-4FF384D67BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241228$29BA2FAD-C4B2-4D26-9CFC-6E10791058C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99415557a5366d9d0a8d66671eaae571ee261ec3","datavalue":{"value":"https://doi.org/10.1017/s1755020319000170","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241228$86C6852C-E65D-4BE1-A82B-9AF9A3788F84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c8d83e900085650005faf25549a0fd477e8edfd","datavalue":{"value":"W2935729958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$2AFF96BC-3ECB-4B52-A200-0AE52CB484AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"167c27fce566f2f4e5ca4d9dccce8979791363b7","datavalue":{"value":"Q128119111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241228$3210B5AC-A478-4941-A869-1DAFE835EBD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc4c2b14f81fc5f6d7a8116c75f220c9c847671","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118162e132758ec85fd36d11cd265cba39f7ff2f","datavalue":{"value":{"amount":"+0.7692713141441345","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":"Q5241228$FBCA37AA-9A46-4AD3-ACC3-AB24FB78EEF1","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":"6de3c1b102e03221e3237544a9efc33459fa747f","datavalue":{"value":{"amount":"+0.7642711400985718","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":"Q5241228$35FC6704-0A70-4CD1-AC19-026B3DE0ED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca3e7a36a6cf5e5e11224ddfb5691ba4b19e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c3b944565d85135f400dc685fdd00eb6147035","datavalue":{"value":{"amount":"+0.7552574872970581","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":"Q5241228$CAD83800-B67E-4E80-9259-86A883C7E255","rank":"normal"},{"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":"cd5c7d703b3f2e11de383df76b77ac0c34e1e9f9","datavalue":{"value":{"amount":"+0.7549630403518677","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":"Q5241228$A806FC90-E723-4911-9930-C293914DB60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c3a578716125d19f5cf96372178d583b050dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5117595,"id":"Q5117595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3f538bebd7b9d9bf5bae891cb695db156befff","datavalue":{"value":{"amount":"+0.7506155967712402","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":"Q5241228$BB63191A-CC77-4F43-8327-237573B05B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241228"}}}}}