{"entities":{"Q1591374":{"pageid":1602114,"ns":120,"title":"Item:Q1591374","lastrevid":47551459,"modified":"2026-01-02T01:36:33Z","type":"item","id":"Q1591374","labels":{"en":{"language":"en","value":"Intuitionistic logic and implicit definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546875"}},"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":"Q1591374$B0D700CB-B37C-40B9-88D7-BB3AFA1DF94F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1a1abf28cd744705fc4cf6f6cf45430c413593","datavalue":{"value":{"text":"Intuitionistic logic and implicit definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591374$E1125B6C-E0F6-47AC-BF3F-6B2E194FDB84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc61b3599ef7733a0f4bf8df285bfa4d0efce7a","datavalue":{"value":"0963.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591374$09D7FC05-2D67-4F3F-92DE-85709CA5E42F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02133ba3e91b95cfc4b6614ddaa6835b8b046665","datavalue":{"value":"10.1016/S0168-0072(99)00049-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591374$2190EE3D-C45A-44FB-8D84-81DCA37B15A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$A6E8BF23-DBEB-424C-948A-82362255CECE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90979b81b018a348b1a5b71f174fe9ac84bc6b6d","datavalue":{"value":{"time":"+2001-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591374$54C8C37A-DC50-4706-AC53-47F8A2B2C41C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591374$A7AD0821-4601-4B2B-824D-8394A56CCDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591374$50E677FC-7E98-4BD6-B0F1-7EEFC953133B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7740408e7939dd3b9b439f1c89d7b9c274c61235","datavalue":{"value":"1546875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591374$FC575289-7571-42B0-876E-86D4CDF8E6AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591374$66B9FA7E-E205-49FE-8113-EBDF48E7A603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a51a3cfbc42ba2eb6d7c429efad6ac654607a78","datavalue":{"value":"projective Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591374$68D6D750-7E51-4003-B7F5-5F916E20319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591374$80EAAA3D-EB04-4E85-9698-4403445C549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907074bd4459984e62debcd0f6fe69693e4fb1fa","datavalue":{"value":"varieties of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591374$254DA26E-601B-4B8B-A7DF-1621959C9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eeec4b895615fb42cc37ea938bd8e38002f72e8","datavalue":{"value":"strong epimorphisms surjectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591374$E33D45EE-97E3-41F7-AD44-DEE590BA0704","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$5CFCD030-1317-4800-8D24-77CE95354A9B","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":"Q1591374$651B6958-500A-4309-849F-46948CA377A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$F73C7138-1292-4095-9E9D-C4D03EF5E151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$0A82A684-6E01-4871-8235-1686C0F26F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b420a628720114a41cc60ae0a5080d2edfcf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":4198505,"id":"Q4198505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$DADDF985-F5DB-45E5-BCCA-DC99DB0B2FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$7511A282-53BB-4395-BB4F-3ED7A820E084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$6883E777-B15A-492A-9043-9295C8E6CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$1E2BBB83-A3B1-4B11-BC71-D938339D49A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98b485f1ba210146a1fb412e396b39495f2f40","datavalue":{"value":{"entity-type":"item","numeric-id":4128534,"id":"Q4128534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$55AA292C-231B-42C4-8B4E-1897972E0F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$3CF2BEF7-832B-49FF-80B5-C7E808D2B8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$F2CCFFCB-A38F-4F86-9220-8D93AB24B5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4d324bc6273766a52bb608ca79459be84f9c49","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$6F4E1FD5-7C08-43DA-B2FD-DB2C9751A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1701cc6f4c1af3e73df1594af9484f44597ead24","datavalue":{"value":{"entity-type":"item","numeric-id":4026930,"id":"Q4026930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$D6532BB2-A16F-4D43-871B-168B304B69CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611f8accee3aa180316a67b5d0efa9358fe790fd","datavalue":{"value":{"entity-type":"item","numeric-id":4936636,"id":"Q4936636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$2DA38449-EDCE-425B-AB2F-1A3992DF4F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b83a8d39d2e6bfb78621e0d3e3390e21d28358","datavalue":{"value":{"entity-type":"item","numeric-id":2713994,"id":"Q2713994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$5B77EFB4-B0A2-41D3-83D9-CF6E68A5212A","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":"Q1591374$F386AFFF-B636-4F95-98B9-316F2EFBAEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a20bd4392df5eead51bf3e4f2378df7610d7b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4273484,"id":"Q4273484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$07F3389E-4197-4B14-B9AA-75A9332EAB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$AC0CEFAD-ED9E-4330-87CA-EB75363BB3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9f500dc91aa72b2199175da5b1d6d4edb9ea80","datavalue":{"value":{"entity-type":"item","numeric-id":5549788,"id":"Q5549788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591374$EB41BF69-73B7-4654-AC12-88A26078DE5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a5b62bd45cec9ab681c0e89da5431bcc5f3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2713994,"id":"Q2713994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1dd7a23653080c1c3241685729c3866da77092","datavalue":{"value":{"amount":"+0.8241834044456482","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":"Q1591374$6CC77504-3FDD-47FA-8E9A-12A3A794CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b0dbb454505d2a45dde5949ba09b184f05e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17392b701a7ba69065ada4227fadb20a180be21e","datavalue":{"value":{"amount":"+0.8157302737236023","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":"Q1591374$3E5E8B3C-E2C5-4BAA-A633-F023DC745EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebea76d8243b92bb31af2f812cf7d0ccfe161bf","datavalue":{"value":{"entity-type":"item","numeric-id":4936636,"id":"Q4936636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf6ae43ff471fc3d8642c0e3d81fea579792fcf","datavalue":{"value":{"amount":"+0.7953040599822998","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":"Q1591374$77C5A032-A6A9-41D8-A599-5AA899724DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cfa0d90eeb9e7ec8cc97e02b6c18ad9afb7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3577906,"id":"Q3577906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf6ae43ff471fc3d8642c0e3d81fea579792fcf","datavalue":{"value":{"amount":"+0.7953040599822998","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":"Q1591374$0BB46644-6750-4AB0-8E10-70422716E5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad12c18a2944c1e9a8db41a9991e52139aa6c26","datavalue":{"value":{"entity-type":"item","numeric-id":4268406,"id":"Q4268406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646bccd91b85f9604602efb81d305369d1a55e27","datavalue":{"value":{"amount":"+0.7947531938552856","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":"Q1591374$734D9172-C551-441D-B7A9-0329D7D0C2F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1591374"}}}}}