{"entities":{"Q6203558":{"pageid":13338445,"ns":120,"title":"Item:Q6203558","lastrevid":58762674,"modified":"2026-04-06T15:25:32Z","type":"item","id":"Q6203558","labels":{"en":{"language":"en","value":"THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827891"}},"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":"Q6203558$47361BB3-123F-4928-B4FB-B2CC26BEC077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9a8a3e19ec1a621aafbece6d099477927334779","datavalue":{"value":{"text":"THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6203558$A0E4FBA1-FE18-4699-9E53-CD577C164DC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e936e7ebf0aa017908b5e811b2e61fb3d84ba4e","datavalue":{"value":{"entity-type":"item","numeric-id":2046359,"id":"Q2046359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$A65FD6FA-CCB6-4ECD-BBFC-CC0BB7DDAE14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6203558$59826DBE-6E98-4648-9FF1-E0E949846F17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcbabba7c34aba793e605d4f1ec9fdeeec26169f","datavalue":{"value":"https://arxiv.org/abs/2112.00486","type":"string"},"datatype":"url"},"type":"statement","id":"Q6203558$09FEC18C-E920-4E30-807A-A85EFAFB0805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$C85A5A10-C88C-4E4E-9950-CC4029F9F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$7BF7DB5F-7184-4001-A543-80B0C4AFA8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$6E8456B4-3D4A-4263-A77F-602508733886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$86E8553D-0F03-4C12-9274-795149A90E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$D3653050-E6D0-4A98-BD11-670F6B0A3AF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"996f7363c1afc932767b22fa24a308a9f392a829","datavalue":{"value":"7827891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$FD3B85DA-03C2-495E-ADB9-16A2E6BE96AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203558$3C0EAFDF-05F8-4D44-AC93-F2EF87150C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203558$564155F4-18FE-4589-A4EC-3C5B26797C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203558$4193840B-AD34-4362-B83C-628C3145754C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47ec8cac1536ce5c9d528903c28c32dab19155e","datavalue":{"value":"tautologies of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203558$9B82FB4E-55A4-4473-B3D0-E07D544E00BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6203558$EDDB72DA-3FA8-4401-B53C-2A4FAE314BCD","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":"Q6203558$D0D77718-3A90-431A-A2C4-CBCB54A621CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"568225dbd5dc9397e46ec200214f033ac529ce72","datavalue":{"value":{"entity-type":"item","numeric-id":448333,"id":"Q448333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$4FCF4864-35F5-4EE6-BE0E-776D5BC032EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$88B8E1CD-63F5-4107-A569-1EBBF9502761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53f41f5cf361d1f3a8afdfb23d296ba8ce2290e","datavalue":{"value":{"entity-type":"item","numeric-id":2556402,"id":"Q2556402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$C0CF0353-8079-4A32-BC65-F1DDB8BD20C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a674565dc2186fe32a08f77155a52515ce8d4a","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$03842274-411B-420C-8B77-5458F986ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$F1BA3AD8-8627-4639-942D-B668570AA627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$03F6E6AB-E64E-4B2F-8227-744E07049F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$50D4B1FD-5334-409B-AE4D-F73B05D8EBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b1d684154fd4f26fa723f51d17c9760b9f0756","datavalue":{"value":{"entity-type":"item","numeric-id":2231694,"id":"Q2231694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$FA794DF2-60DC-4AF4-8255-F599132123E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$A9F6284D-A927-4D5B-B395-A1C16DA15865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6cc5b932a5a74537fb1aafe9a78ae17b7279b7","datavalue":{"value":{"entity-type":"item","numeric-id":627438,"id":"Q627438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$122DFD8C-85A7-464F-A52B-19C72C3BC4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$44D9BB5F-4478-403F-AAED-81E28853E907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f5fc7030a036b2f519950f3b5af48d89cafacc","datavalue":{"value":{"entity-type":"item","numeric-id":1812961,"id":"Q1812961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$874E632E-18DC-4CF5-ABD4-28ACEBD70B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cc8ebf956d1ae34080a282593f78ea4e6feae3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$1505C068-0F5A-4FF6-AADE-3B269C73DA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cad03e160a9637ee0d8c986d58a204202bf66f","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$E0F10097-E949-4F6F-A30B-8ABEF79D1946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6907ea4b0793780103a07987b11c4056a5cf28","datavalue":{"value":{"entity-type":"item","numeric-id":5659531,"id":"Q5659531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$F662F8C6-8877-4F83-AFF0-0444F638B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$005AFB4A-700E-48D9-83BF-1D76B860FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79493e162a67bd2a4c7953039e78c8573fad17b4","datavalue":{"value":{"entity-type":"item","numeric-id":5937848,"id":"Q5937848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$3F88A555-55DB-44C3-9FE7-D53D55477E9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96012d59d7d73482efe4b25477cf882a6fd51ee3","datavalue":{"value":"10.1017/JSL.2022.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6203558$63B49F1C-E9EA-40DD-A488-2BF7817873FD","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":"Q6203558$0E6B32B7-3C00-43DA-80F4-4C69A54C19CB","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":"aa333f4e418d59df480aaa47f7c0444287d18e5a","datavalue":{"value":{"amount":"+0.736880898475647","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":"Q6203558$4B9D8308-F941-44ED-B962-D14DBC36AA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2f0f0b143d630e7d12441a5c7f195e86c71771","datavalue":{"value":{"amount":"+0.7157679796218872","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":"Q6203558$49E9089A-BF13-4493-8B3B-62887979FF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ef8a620a96edd639b715384a7345b6f217bab1","datavalue":{"value":{"entity-type":"item","numeric-id":6076364,"id":"Q6076364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1575fd65e6f78d0f7e0dbd11701f86ab5a16303c","datavalue":{"value":{"amount":"+0.7122825980186462","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":"Q6203558$0E04EAFC-FC06-4F83-81D8-62E7A0111A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cd03c6cdc3f80f20449ce208f61e04b6b8f342","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4559e91166161324467efdc19eb39413e0fd39","datavalue":{"value":{"amount":"+0.7041789293289185","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":"Q6203558$ECE6AFE9-6A67-42D8-AF3A-7602BB15F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08efddb0c59c91798f6d83d347d38436e2513acc","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01922f4b12f3d1dfe35d6e69a0d8b6d6389f65ad","datavalue":{"value":{"amount":"+0.7005113959312439","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":"Q6203558$C2B4316B-ABD6-45A2-8202-3235C2615D64","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6203558$02DFA880-A3EF-41B4-B402-5037E66C8177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6203558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6203558"}}}}}