{"entities":{"Q4254637":{"pageid":6284238,"ns":120,"title":"Item:Q4254637","lastrevid":41144147,"modified":"2025-04-18T12:10:19Z","type":"item","id":"Q4254637","labels":{"en":{"language":"en","value":"Intuitionistic completeness for first order classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310710"}},"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":"Q4254637$1F52C687-EF8F-49EC-B46D-2FA79CEA7F5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2045a12f0962a4575ce1992413369a04546a0419","datavalue":{"value":{"text":"Intuitionistic completeness for first order classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254637$A2DC9FB5-E5B2-4AF1-964C-4FBFD03063D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dafcbb38275c699fbbafd25ef39af8269eecdf2","datavalue":{"value":"0929.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254637$FCAE6751-9CC2-4A9A-9F29-C3FEA6C782AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd4ec0ac669ac9c63ff4aefd4b0104d945ed5167","datavalue":{"value":"10.2307/2586766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254637$6B6ACD07-9F9E-4276-8499-D2775D3A50E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254637$FEBA4AB8-F781-4F83-BCB7-F34287EC912A","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":"Q4254637$F909E7CF-034F-42D3-9522-73E3B1AAB2E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254637$45B5E326-76EC-4452-B62E-64FAC8FC3511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254637$0D9440BD-C7AB-44A4-A81B-9B055AE681E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d494fa1396b519ee26b625596f589b8d4d817ae6","datavalue":{"value":"1310710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254637$06949FF9-B9EA-4BA3-A97F-68C62F532418","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a59e5500877f3c7b4ae679b4ea3d4fe42bea93","datavalue":{"value":"intuitionistic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254637$BBE9FFF7-F7CD-4109-9453-B1F9BCFBB8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51a947b062ec75fc2cd6dcca32b3f74b7f48f3be","datavalue":{"value":"intuitionistic counterparts of classical notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254637$7AA4584F-FFB8-4DAE-9186-6303382CB5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7b11825d028c00c66a9f08428f07630bd6542b","datavalue":{"value":"classical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254637$7C2FA9EA-D219-42F6-B25A-26E7B7023A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b13a8dae1ded206aace2c918ee98ad3275889d","datavalue":{"value":"classical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254637$DC2F56F4-BAB5-4AF8-BAC6-481D63377B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254637$419E4ACD-551B-4175-886E-EFB06218E6A1","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":"Q4254637$1B6E5BD7-5275-4354-8515-CFA79D87473A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6057502ef4a44d4dd8ea8ae41de4ce96a7d1fad0","datavalue":{"value":"https://doi.org/10.2307/2586766","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254637$24A6400D-EA18-4B25-B6AE-E4CAC7D58BBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14436ed65bee2f8f75222d0753630f585ce53825","datavalue":{"value":"W2064071203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254637$D6440310-A3B3-4E88-B193-9B78C42E6177","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce52d4f27e8543c3e57e7dec883e2886338c2d77","datavalue":{"value":{"entity-type":"item","numeric-id":4214829,"id":"Q4214829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254637$434B8200-0EB4-4591-A42A-FD798C478ACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc139b56239b392ab612c5c34ace4d5078f989e7","datavalue":{"value":{"amount":"+0.9713274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$571646A4-93F0-43E3-9234-E65ADB998651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc5535e312e4a535edee0b4138203622a93fcd7","datavalue":{"value":{"amount":"+0.9607188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$1AFFBC45-9100-4B52-BE2E-8013E77B39A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878bcc2abdfa8ba5c9ce2f5da02a4562c38b0406","datavalue":{"value":{"amount":"+0.9401769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$FE951CA0-6D5A-43FC-A8DE-B660D00A0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d524f10888c170c1573978aab123e8e9d860120","datavalue":{"value":{"amount":"+0.9391113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$34091968-CE66-4D96-BC3E-CEEBE4131781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43942c4aab8fd70b620417138e88f2331604007f","datavalue":{"value":{"amount":"+0.93318546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$FA3E2D64-1899-49CF-810A-1AE8BDC78771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22cce1d25d3bafdf3a09675a4894250d1dfff1d","datavalue":{"value":{"amount":"+0.92543805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$C403BA48-EA86-44E8-A346-33F54BE7D23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a53ea7ef327c74383b11b31595ac887d654741","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b33cab8d9af2366e56b5869c7b52d31f5b3515a","datavalue":{"value":{"amount":"+0.918372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$78BCE8A1-70A4-4B1C-B108-027147666B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d2601f2a687ae1d279514dfbf8f168e27a265a","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3017f7134766ba75b58ec523ac4fdd2ba6a775c9","datavalue":{"value":{"amount":"+0.9177346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$ED595928-A5F7-4C07-94B0-46E6CDA42EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88a2c676a75b82faaa4e2fbdf7aa3686c4d71c7","datavalue":{"value":{"entity-type":"item","numeric-id":939055,"id":"Q939055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789a258951e06f91109d6b02ed4a930c597b9ac0","datavalue":{"value":{"amount":"+0.91453767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$F7451DCA-B493-4FAA-B20F-599A5372D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e82d7c33a908c91ea9a97d1825da8daf0e9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad924b603cc6439362c66e530dae2f39a6c1c0a","datavalue":{"value":{"amount":"+0.91118973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4254637$C6FA2FA0-7BA2-4850-8147-31295AC5B92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254637"}}}}}