{"entities":{"Q5213614":{"pageid":7243184,"ns":120,"title":"Item:Q5213614","lastrevid":41212313,"modified":"2025-04-19T20:10:35Z","type":"item","id":"Q5213614","labels":{"en":{"language":"en","value":"Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162489"}},"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":"Q5213614$6B260AA4-0526-475A-86F2-CCFEA067E523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1891ad685d6761ebbd86b5b01771b4eea011320c","datavalue":{"value":{"text":"Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213614$8C43F614-22B1-4549-A88F-4EB2F2E99E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55a8e6eaf9b79d13dee5f50188ae4ea4b3025d93","datavalue":{"value":"1429.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$275903BA-011D-4715-AA76-A1E1D22BCCC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c94bb5da1e5a347b6d6e8aa28fc799620be6d4c4","datavalue":{"value":"10.1007/978-3-319-11041-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$D77FBD9F-6CF5-44B5-AEC4-4BDF1B039479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b42a167d741fc6330b9d98b43c4e2ddbf3f78e","datavalue":{"value":{"entity-type":"item","numeric-id":373018,"id":"Q373018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213614$FFCC1842-BA8F-48E8-B4FE-8FDFE0D6A0A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213614$6A11088E-D5FF-40C4-8AAA-0CA0EB4168CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213614$1576BAC0-2D19-4531-AC07-A0677660A47D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$59B1926C-3FCF-4E15-AA04-1FD1D16DBC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$730AC3D9-23B3-4D91-B14A-DF12AAECB691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$FBC94D30-7F59-4C0E-A15A-46B599CEA40D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b060995a04bae3ab4f5b217c7b8b30babe8c9e7","datavalue":{"value":"7162489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$818759B0-5483-4DBB-BE6A-8CDA21C8898A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485b5d8dcb1e5e2117f9c842ebd45e3b711a0a49","datavalue":{"value":"anaphora","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$3995FA3E-6C98-4C2C-B184-BE3D265AEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$BD5B83B7-62C8-4A05-99F6-8375EEE69596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb9695bf0b58ee186d2686603ddbb3d9e88ffc26","datavalue":{"value":"fusing operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$EB983C72-BA37-4A69-A412-6386455C9BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$02A04F30-ECA2-49A0-BF49-B03BC09DCB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$8E69E131-1048-4B9F-8776-B6086D9D4159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$587238C0-1687-412A-A5C7-2BD9B080BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9e32ccbe41bec0eccdf93c967e5c4ca77d3db6","datavalue":{"value":"PFO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$BB80067D-5993-49F5-963C-D3FD1522C50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7348c001d4c51aaecfb8cf5b43d6b9fb809ed9c7","datavalue":{"value":"Prawitz","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$50DC004F-6B80-42DC-B2A5-5C0070BB6A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$D592DC2C-7A2C-4322-9FA2-761A7997B599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ca9ebd6cfd71bb661a2e4edbedcb4abef3505d","datavalue":{"value":"uniform definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$510842CA-04A9-4591-B6B1-E6C706196F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90f45c27bf9295aebac9d0cc506628702bce656","datavalue":{"value":"unselective binding.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213614$9248356B-69E9-43E2-A756-B86BE0C045F3","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":"Q5213614$66FF0811-DB99-4D20-8412-3DBA4B6AA387","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8e6c7291549135bd4a31d8fa53a222209dd0bca","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11041-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213614$4577220D-E0C6-43A0-BA09-21ABC8C786D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d910b25cbbd3317e76b5771872277fedf4a1cdb7","datavalue":{"value":"W1741214173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213614$01F4A3B2-84A1-4309-A366-0B2241A1026E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213614$6F3279AA-A4EA-4D50-B1F1-481B981EB203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ef19f736a8e8ff18392f2cd74b79ef55713225","datavalue":{"value":{"entity-type":"item","numeric-id":1314273,"id":"Q1314273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213614$791974C6-8C17-43F4-96BF-CBEB0F3C48BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae54cf29b94224fb075f0985187da2ab2141e6ad","datavalue":{"value":{"entity-type":"item","numeric-id":6160742,"id":"Q6160742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f6752466bb302eafee3ff05d8e64d767ecabfa","datavalue":{"value":{"amount":"+0.85273266","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":"Q5213614$7E8A41D0-D5C5-4CAD-A91A-8145E3F7D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151977b1cf8b5386af6869424a8612b2dbd5c61e","datavalue":{"value":{"entity-type":"item","numeric-id":2153833,"id":"Q2153833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c02d1c508ec3059b8a5fc43617876a2430aa27b","datavalue":{"value":{"amount":"+0.84782624","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":"Q5213614$DCE33F02-C94F-4C40-8BA9-153A94B8E837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50f9404d991fb650c49ed4db16abdb9cf1f47fd","datavalue":{"value":{"entity-type":"item","numeric-id":890788,"id":"Q890788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bae44e801362db77774be226cb451fc25f4ef8e","datavalue":{"value":{"amount":"+0.84087753","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":"Q5213614$C2E7541C-CACE-4C79-84AB-7D13236C4C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e27dd1a83e89f19127099a9eff4d2a589dac8e7","datavalue":{"value":{"entity-type":"item","numeric-id":2856059,"id":"Q2856059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e500ac656cf7fa5dc022939d8ed67a80961f5df","datavalue":{"value":{"amount":"+0.8323487","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":"Q5213614$07B8DBED-F6C4-4092-870D-D20E3EAEBE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a901c0127035a120c3bb11e2e24361cfa0cea5","datavalue":{"value":{"amount":"+0.8311635","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":"Q5213614$9EB26CD0-8C8D-4DCB-A9A8-26571410B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d44a0fe4872509b545bec1dc4bfd93dd46c2ef3","datavalue":{"value":{"amount":"+0.82848835","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":"Q5213614$F714F954-F07B-44A1-9443-80A89A20821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da93402e0fafc8b0dc039f78a5b2ab4e070f0315","datavalue":{"value":{"amount":"+0.8277687","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":"Q5213614$D4677145-40A8-41A7-BC23-A36CCBD4329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073af6f2f67036bd0df2c27e4034c8e723cd6593","datavalue":{"value":{"amount":"+0.8251677","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":"Q5213614$3A315F55-68B2-4406-8549-026AB414D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c2a2db63ef97708fef911bd82893dc58136b70","datavalue":{"value":{"entity-type":"item","numeric-id":4385438,"id":"Q4385438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627284ba7f545e12009f16fabe5e9660830e7589","datavalue":{"value":{"amount":"+0.8241433","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":"Q5213614$32E857C9-2251-4F8A-95A3-F7FDA1935A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e636269ce2c47baea7f6356045b3f7a49949ce1c","datavalue":{"value":{"entity-type":"item","numeric-id":5469012,"id":"Q5469012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c7c57bf36e326af4c031c9300d68c8dcec569a","datavalue":{"value":{"amount":"+0.82109034","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":"Q5213614$7D39D146-09C3-483F-BD42-923C8047BAAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213614"}}}}}