{"entities":{"Q1923834":{"pageid":1934576,"ns":120,"title":"Item:Q1923834","lastrevid":69314715,"modified":"2026-04-13T06:11:11Z","type":"item","id":"Q1923834","labels":{"en":{"language":"en","value":"Language and proof theory. Preface to the special issue on ``Proof theory and natural language''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934098"}},"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":"Q1923834$A4FA4EEA-D1DD-4D0D-A83D-5EFA9D4F3F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"278c761a43ff24702d39a0050d5b88f638bc85a5","datavalue":{"value":{"text":"Language and proof theory. Preface to the special issue on ``Proof theory and natural language''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923834$7DD59103-262B-4EE5-8DF3-0072415DD197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4065a656f28444ad6cd7f3e0c83248278f16a307","datavalue":{"value":"0858.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$763027F5-E7F2-467D-A660-8EF04D3295BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ef950c71ae215b7465889450ef41579f0b2223a","datavalue":{"value":"10.1007/BF00159340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$2BEAAB04-1CF7-4E6C-A14F-8452CBD81F93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9c2974f09349a32a29ce2709077d7981f94d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1923833,"id":"Q1923833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$CB686850-1ACF-47A2-9642-8BDAA02A2284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$429CBF9D-2B57-4528-837E-9DD5CAFF4D2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$4E4ACECC-BDBC-45EB-AE4B-615CDBA1CD2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b70610fb3a1550db30dd811e2db8a55951b17417","datavalue":{"value":{"time":"+1997-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923834$3DDF0CEB-E80D-4B0D-A9E9-1311ACA5174E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4a2c411a8ff3dadc7e56e3ae0bc3bf322352cb2","datavalue":{"value":"The note discusses the meaning and significance of the development of resource logics (in particular of labelled deductive systems) to the study of natural languages. Some problems to be solved are also presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923834$A27B5706-A640-4D33-A34C-6A83B793450E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$1359AEEB-4EE3-44AC-AFF7-DE29E9E5070F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$F08E3E6E-C1DF-4EA2-B1A3-2A97EAA53726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$5625EA4F-B6A3-4753-BF0C-CA88FF2FBD98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c63bc3c554d306b799bcf89260980a3267d752","datavalue":{"value":"934098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$1E8A9C03-0444-4ACA-A1E1-FD03462A2B35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025552cc9143e19ec34fb6c34a59c522114625d9","datavalue":{"value":"resource logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923834$7A9E9BA9-BDDA-4911-AADB-CA2571817168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923834$55902C94-66E2-4E0A-B21E-601473B39F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614dcee6fc248b4f39387f76ab7c886dbf945f7d","datavalue":{"value":"natural languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923834$676E53DA-7B58-49AB-BCFA-0290BC1A752C","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":"Q1923834$EBC1192C-6C6E-448E-8E58-39D1C5A4B1F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$D68CADDF-DD54-4AB1-A375-48E7A8E1582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6379547883a8015bbc38b24ce042bd0f88666b","datavalue":{"value":{"entity-type":"item","numeric-id":4698607,"id":"Q4698607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$91D4FFBE-C883-4541-BD95-6ADC4ABA7639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4168cf12628a87bb46c936dc09e6162cd951f7","datavalue":{"value":{"entity-type":"item","numeric-id":4857158,"id":"Q4857158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$DAAB1FD5-1E4F-48F7-BC6A-B9FE52052F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90912fceec84d48cb51989480e083741719a409f","datavalue":{"value":{"entity-type":"item","numeric-id":1923839,"id":"Q1923839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$271B640E-B261-41AE-A894-B45F49D170F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbca9717233da6ee0549de7beffe9723d3c0385","datavalue":{"value":{"entity-type":"item","numeric-id":4862312,"id":"Q4862312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$FE8F4F56-35B9-4947-8716-374826660E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa5d319e3e38a53a3050991cfd8f406c5fe78cc","datavalue":{"value":{"entity-type":"item","numeric-id":1177646,"id":"Q1177646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923834$5727F1EE-CA99-4EB4-A106-ADE26C2B49D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"416d81bbb9c69bac12498a4a1e793c8fdc58a5b2","datavalue":{"value":"https://doi.org/10.1007/bf00159340","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923834$E3E5C0AB-A66D-4152-A60A-705A0667BFFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d559317b8d72dc42daa3f2fd1cc1a01608f7824","datavalue":{"value":"W2005050698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923834$FDD55150-28B0-4DFF-AE81-9C22EE513644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9c492b91765b0b488a47968dd11907d6049d54","datavalue":{"value":{"entity-type":"item","numeric-id":4934058,"id":"Q4934058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de16a4b083f5c041f269eb69e7818a2623d791d","datavalue":{"value":{"amount":"+0.7520135045051575","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":"Q1923834$E33B0432-C7DE-4746-9D74-B758003C13EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edaa022c1426eb859ca6660a00d68d01f3ac8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4946232,"id":"Q4946232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74fa4a2bae7e7e16f563b672fb0504af24424f7","datavalue":{"value":{"amount":"+0.7381390929222107","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":"Q1923834$72E748DC-27B9-4CF4-A314-D75A5EDD98BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aa2fc351b7bd12bae8a271be1dcd96021a9397","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0102684068e105298583fd86506e68b2d1d894","datavalue":{"value":{"amount":"+0.734015941619873","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":"Q1923834$FDE47023-BBF6-4D57-8140-6BCB2F39430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7592b8d6056711fdb5ab7a897780063a245e4485","datavalue":{"value":{"entity-type":"item","numeric-id":1182709,"id":"Q1182709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb44c4aab7bd84af73c0d9218e648106b93055d","datavalue":{"value":{"amount":"+0.7285303473472595","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":"Q1923834$96E1F300-F163-45EB-BAD8-1B67E92A6C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language and proof theory. Preface to the special issue on ``Proof theory and natural language''","badges":[]}}}}}