{"entities":{"Q1906670":{"pageid":1917412,"ns":120,"title":"Item:Q1906670","lastrevid":43409992,"modified":"2025-07-25T13:56:32Z","type":"item","id":"Q1906670","labels":{"en":{"language":"en","value":"Urquhart's \\({\\mathbf C}\\) with intuitionistic negation: Dummett's \\({\\mathbf {LC}}\\) without the contraction axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 840796"}},"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":"Q1906670$F5A1ABF2-F18F-4198-B85F-851FA4624BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42cdef0e647eb8f54126da61929a4b1000eb0b6","datavalue":{"value":{"text":"Urquhart's \\({\\mathbf C}\\) with intuitionistic negation: Dummett's \\({\\mathbf {LC}}\\) without the contraction axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1906670$862747AE-E511-4C8B-B0BF-A5896017751A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1cb4680c350d806f0a8d30bd8d5f660c60795f7","datavalue":{"value":"0838.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$02B29F72-4FBE-4F42-B3EB-7895980B0021","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$8947DEB4-9652-4379-B613-D108D97F4C86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$EBE6EAE2-0668-47AF-9B70-5D5A1298CEEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818d4e227be848826de7c68bd56964bdf6300a06","datavalue":{"value":{"time":"+1996-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1906670$D8A4CF3D-2437-4239-B372-357E3AEA9AB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$A10BF471-7133-4E27-BD92-F998211062E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab4e074d2e3e7651008bd5c810fafcd98fc2b25","datavalue":{"value":"840796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$759C255D-645C-4F9E-A60D-B99DBFF4C1F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906670$A2BA2E2D-C5DA-4560-A1AC-CD8E4FB6D74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906670$3DA5A4C5-193D-4DA6-9221-99E673A74CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6198904f8205c654933f6d5ac4428744adf7e05b","datavalue":{"value":"intuitionistic negation completion of Urquhart's system \\({\\mathbf C}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906670$E0A9AEA1-EA1B-442D-BFE9-4D8E86DA3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1df50c4bec347f8758c49635594e768f88428","datavalue":{"value":"Dummett's \\(\\mathbf {LC}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906670$9F4F8BAF-BA2A-4BA0-A944-8B05B5223DBC","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":"Q1906670$B68E514B-3282-490F-8B82-F56643D760C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fa5e254419fdb8858912c99b71103dd26e29c0a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040149356","type":"string"},"datatype":"url"},"type":"statement","id":"Q1906670$41E55D5A-7CE0-464A-A1BD-D5E0C35A1F84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"183a15c4cfd92efcef6dd09469c83a995f25fa31","datavalue":{"value":"W1968201569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$09780D08-34F1-40A7-98ED-A7ACF4DFFB5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d2653d6af5dc836bb01d84625f649d22f1536a8d","datavalue":{"value":"Q114007570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$14559E95-A4C2-4EA8-8DE2-5198A0A8D592","rank":"normal"}],"P223":[{"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":"Q1906670$F8036886-6025-4177-A0AD-D2AC6946727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad44f60690d1a87f158bedf15108590cd80690b","datavalue":{"value":{"entity-type":"item","numeric-id":1386684,"id":"Q1386684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$33475D29-25F7-4857-8BEE-E654FF90D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$A1C7939E-D4E8-46A2-805F-3700B4FD4D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$63B7915B-71E2-4A9D-BEB8-E0B22A3E4555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f4111d3b549f3a84275f80515fccb114d3ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":4342080,"id":"Q4342080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906670$9CBB95CC-4A99-4572-B8CC-DCE85650A7AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5b18dca549726aa371a4d1ca4dd849c1f25e403","datavalue":{"value":"10.1305/NDJFL/1040149356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906670$A6181EE5-8A5A-4D83-8616-3CA871C1B9BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1906670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1906670"}}}}}