{"entities":{"Q1708464":{"pageid":1719205,"ns":120,"title":"Item:Q1708464","lastrevid":53048300,"modified":"2026-01-24T03:03:41Z","type":"item","id":"Q1708464","labels":{"en":{"language":"en","value":"A note on contraction-free logic for validity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852389"}},"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":"Q1708464$73CE0717-D6E7-4A20-BC21-3014786A558E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51a18ef238740c61b74f05d6c8d35d9def8ba7fc","datavalue":{"value":{"text":"A note on contraction-free logic for validity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708464$3A498A27-F4EE-42E3-8637-754D6BEF684E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d3e239f24d2fc0633788f31140f597bc22a2b9f","datavalue":{"value":"1382.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$6F50047C-EBBE-4B01-B843-208389E9BDD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0884cc32e2b2977696ef6349cc5eb3d7eefdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1707191,"id":"Q1707191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$CDB228D9-192E-4928-B5AD-BA247F7A2B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6262e92c1eec6a2b904522000fa38dbd7eef5dd9","datavalue":{"value":{"entity-type":"item","numeric-id":514096,"id":"Q514096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$1626F382-C0B4-48E1-BEE7-B162DA905560","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$70E70936-E1CE-4E3C-89A3-775AE7B72697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c52e8821da0e2bfacfdb2ff41b10d5c84490346","datavalue":{"value":{"time":"+2018-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708464$0502261C-C454-49EA-9119-EDFF69AF5489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$BF6E35D7-C214-4CED-9805-AF84F61E2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$5F65F3D6-5CE0-43E2-A190-BD5EF5287FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$E9281804-A446-45D1-B6F2-013C2408269D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$5AF8611A-71E8-4BEB-A731-81D307C1174A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52612168c32a89cd2bf541de2ce84cd7aa3434cf","datavalue":{"value":"6852389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$0C0015E5-0EEE-4422-94E1-96DC1956F50E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708464$6997759D-3E81-49AC-9531-1023AEA64103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708464$F518929E-3BAB-4038-AFB8-561A40EC322E","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":"Q1708464$1D7112B2-05A5-4382-A2B5-27A309C27FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ad8fb6cc4579a163d6d6be1c4a09288d4a54187","datavalue":{"value":"https://doi.org/10.1007/s11245-014-9241-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708464$A25C3FFE-F8B2-4438-8FDD-345CCDA871C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab13f4537bc85aebde35e8a72a33c856e220a265","datavalue":{"value":"W2049445104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$C1F8723A-53A9-43C4-B59A-F6D40DC3967E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babcb2136f09546a315df53e15ed48a3be9ff116","datavalue":{"value":{"entity-type":"item","numeric-id":3849883,"id":"Q3849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$77603A8F-A4D6-4093-B29F-E8B0AFB5C3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$C57412A9-838A-4526-BF77-DB673B668FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cd4eac09aa0856eee48e37ceca05351ac58342","datavalue":{"value":{"entity-type":"item","numeric-id":4662877,"id":"Q4662877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$18C66E92-7881-4644-8F70-85A6CDADB43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723be41a3130086c62a67c781fb6caf24e26d78","datavalue":{"value":{"entity-type":"item","numeric-id":3543573,"id":"Q3543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$B06D8AA0-0415-43E1-9AEC-1436C29D573B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$745E8B3C-09B3-43CE-B6B1-33BE865F48EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8ecf442d60d4a3efb732c4a353e902de0c21d8","datavalue":{"value":{"entity-type":"item","numeric-id":3395330,"id":"Q3395330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$9827D6F9-4519-4CB6-906C-19BD32F00167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27733ec2c2f7fc26856cb55b2429e5576d599689","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$9AA9F5E3-A007-4679-A00C-973801B937C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$56E8FC94-59E0-4544-B9A0-447F7A01DF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911d5e3e19ca0bbf770c7d292d2abe333503c4fe","datavalue":{"value":{"entity-type":"item","numeric-id":484113,"id":"Q484113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$E179E61D-F548-4AB7-A455-8F113765757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cac132da2afb239fb84ddc23e97004d35f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4135469,"id":"Q4135469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$C299F9F4-9A49-45A5-8523-EE89D72D8D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$961573FB-251D-4E5D-A7FB-1D0A2D4E50F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35614b8b4ded8c7ce96c11809c80a2e2a48dde45","datavalue":{"value":{"entity-type":"item","numeric-id":5588619,"id":"Q5588619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$986174E5-CC2A-4275-B300-1FAD7314C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$257562C2-EF88-499B-8D50-0F9FA3E1B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f20aaf993d702be77db861117b4765fa49d06e","datavalue":{"value":{"entity-type":"item","numeric-id":4912986,"id":"Q4912986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$E704028E-BEC2-43B9-BDB3-1C59F30ED9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$E4F00C95-0B5F-4B4B-84F1-E4ABB54AE992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cf734d0be9b05f003e9ce114e3867b45ca7a6d","datavalue":{"value":{"entity-type":"item","numeric-id":1257476,"id":"Q1257476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$7097BDFC-A23C-4507-8670-CE41302436CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$5CABA116-1D5F-4DF7-A93D-C6706A65AFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$F25B4589-FD41-42C4-9FD1-648D29D804A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708464$CC0BFE0E-7EAA-4A7C-980B-8B5162860C47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064f1145e23db55c6414619e04be75d6862fd389","datavalue":{"value":"10.1007/S11245-014-9241-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708464$C89B6A28-3F77-41FC-B967-F0C938C14DCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2fb0c2fb7a485530955f52245cbc51ee065a9d","datavalue":{"value":{"entity-type":"item","numeric-id":1914375,"id":"Q1914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062948335963d0eccfaa076167a68e494ded5c90","datavalue":{"value":{"amount":"+0.791395366191864","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":"Q1708464$119D49BE-DE63-42D1-8E30-76C9B2DDC287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e165745249894d9b092024da9f8187aabcb72970","datavalue":{"value":{"entity-type":"item","numeric-id":722029,"id":"Q722029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062948335963d0eccfaa076167a68e494ded5c90","datavalue":{"value":{"amount":"+0.791395366191864","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":"Q1708464$D14F5476-6620-4C7F-B862-6EDF6AB19036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587a218ccbc019a0f1d4b098f5b1275708014682","datavalue":{"value":{"entity-type":"item","numeric-id":509601,"id":"Q509601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c583196209798e1ed72034a201a380b7d0967919","datavalue":{"value":{"amount":"+0.7910786867141724","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":"Q1708464$7007710A-7767-4CFE-AA1C-113CB16263A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced274a14b79d806f6b07e7d25733a1264c17c19","datavalue":{"value":{"entity-type":"item","numeric-id":1611254,"id":"Q1611254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c354d2ebab2acd96502ba6aa281e2d234e46e9b2","datavalue":{"value":{"amount":"+0.7829259634017944","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":"Q1708464$DB061ED9-6A13-4612-BDB5-070BD5E0B334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f1b266d7ab77b9d620513f0f4421ac0ab927f","datavalue":{"value":{"entity-type":"item","numeric-id":1577364,"id":"Q1577364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c354d2ebab2acd96502ba6aa281e2d234e46e9b2","datavalue":{"value":{"amount":"+0.7829259634017944","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":"Q1708464$DA03F72A-DF87-439B-AC99-BDFCDD4B9A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1708464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1708464"}}}}}