{"entities":{"Q3726115":{"pageid":5756021,"ns":120,"title":"Item:Q3726115","lastrevid":50748083,"modified":"2026-01-15T00:49:15Z","type":"item","id":"Q3726115","labels":{"en":{"language":"en","value":"On the quantificational logic of intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957101"}},"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":"Q3726115$6A1E7FB1-60E8-4C1F-98FF-1D479582A4E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"344fe433ca640b65657afc3008cda1c34a7016a7","datavalue":{"value":{"text":"On the quantificational logic of intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3726115$2DE601BE-F454-41CC-879E-E7596E66731B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"265bf9da204a45c6547263b7e30820be12bdedda","datavalue":{"value":"0595.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726115$1E880806-60FC-4FDD-BA84-76C0B66815F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3ec9ecdd7e1342c04c20722741900aec91db0e8","datavalue":{"value":"10.1017/S0305004100063854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726115$24D1C485-74B1-45FF-A182-2B89392C86C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726115$EF5DC996-6D96-406F-B275-F53A62203206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726115$2B21F6A7-3004-47E2-ADFC-2F106E6BF0A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726115$A4F45D5C-9CF2-4169-AA82-51058520DFF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3726115$D664AD14-B616-46AE-BAED-3081F1BBFD44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726115$C822EAAC-CB32-4289-A893-DAD1A63C08BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726115$6A87BFF9-DA65-47F2-808C-38538B3D400A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e3bd1ccd0672f7fb2cf092580814cd2aed8ffaf","datavalue":{"value":"3957101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726115$DDD1522F-06CF-48E5-9B6D-3E3B20A49533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726115$E2356886-7D11-4D05-8EFB-D5CFD483605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0456a7bc5bc54f47b9b07347a6c756da57f02f63","datavalue":{"value":"weak set formation principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726115$16559846-8BA1-49C6-BF02-2FED05ABF977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726115$9BCC55DD-BEEC-4AC2-856D-80FC01265EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e3cb51d197db4e90dead727d36566605bdd87e","datavalue":{"value":"topos models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726115$052CC703-9EA7-481E-8C65-65A5ADCDE526","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":"Q3726115$18D75C4D-CCD0-4C69-8909-30C2A03F0E27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737af7fd7604b6559f5e67fbb4992a43c64a5893","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726115$754EF1EC-6173-46DD-A7B2-E9278C9D5D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726115$D5C7A6E3-B326-4785-8D6F-6B110F63A779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa7cc97b40928d3a63b990995ac2cb9aa6f8c29","datavalue":{"value":{"amount":"+0.8079447746276855","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":"Q3726115$713DEBFA-0953-4E74-BE7F-2523682D37B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e39190652f45dccba3b55cbc2f44cfffa6ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5436704,"id":"Q5436704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a82a6b727bcf2ef77efd74ed336f5d7cd12737","datavalue":{"value":{"amount":"+0.7832910418510437","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":"Q3726115$AA811CA2-2B5D-4A4C-9CE3-39016B90BBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a229961d31eec6ebc02dc04168a84b8718f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace97b66c9b4676e62d881ed0ede8a23c22c63b0","datavalue":{"value":{"amount":"+0.7817126512527466","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":"Q3726115$34E6ED65-7BC9-4FDE-A3D3-3D49DF62651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c955910df1e90339be147d08c85627d286bf298","datavalue":{"value":{"entity-type":"item","numeric-id":4268417,"id":"Q4268417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de031fbc29176c1d269b8d3aa7e172272b63e17c","datavalue":{"value":{"amount":"+0.7776151895523071","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":"Q3726115$5177D530-55E3-4BB6-98BE-8F098EA27BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba69c8f00c6454f7ba9238a2baf0998162e92342","datavalue":{"value":{"entity-type":"item","numeric-id":2231694,"id":"Q2231694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de031fbc29176c1d269b8d3aa7e172272b63e17c","datavalue":{"value":{"amount":"+0.7776151895523071","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":"Q3726115$E3055590-BF00-4463-BEEF-D804C9D4633D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3726115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3726115"}}}}}