{"entities":{"Q4527912":{"pageid":6557504,"ns":120,"title":"Item:Q4527912","lastrevid":47566234,"modified":"2026-01-02T02:31:58Z","type":"item","id":"Q4527912","labels":{"en":{"language":"en","value":"On the role of implication in formal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558174"}},"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":"Q4527912$EFB0112A-CE64-4825-ABE5-CA917EF93391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efb27a4b092086b0f0adcc6147e886b05b28653","datavalue":{"value":{"text":"On the role of implication in formal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527912$F30ECAB3-937C-4FA9-9DA3-9B799764D412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f385a54fe5509e53412201a0ffa6be4de5eb44fd","datavalue":{"value":"0976.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$7F5510D5-10E8-4E23-AC49-1F9A2C620F27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"034320745f7f94ae5ec2f5a34f8155aa4d0f5ae6","datavalue":{"value":"10.2307/2586689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$E4AB2E4C-BA02-4CEA-A7ED-9508930E1E3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527912$C63B77CF-C305-4942-B995-7DCE5C51F97F","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":"Q4527912$7A5994CB-CF3A-4EB4-AE05-0A2E9A091190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4527912$CF170F07-A267-424E-A4F7-3339E03289D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$B3F32F8D-146B-468A-8A56-9859E8A78406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$20C78462-123A-4976-9CC6-507A6913545A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$257EDC47-399B-4828-B4F1-93A0F1B577EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$C83E7FBB-C33A-4552-99E6-D4477C76C8E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cf1a79a3adfba6e3f12bbed99bdda74bed09e17","datavalue":{"value":"1558174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$0E0E3D0B-2824-4EBA-B344-6AEEE614BB74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$5C0540DB-DD3B-4CFF-AFC2-AC349F4099E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$3004B7E5-8CD3-4762-968B-E90399C509F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9134a22ff0dd3038c01599a41b480c18e296f05a","datavalue":{"value":"BCK-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$5D1961DB-FBE2-401A-98F9-09206525598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$F5B4BFA2-6F99-454F-8248-DC64DFCFCDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f788c90e46783fe8ce0d9a8ecc5f1908346584","datavalue":{"value":"comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$BE38B471-1C94-43B4-B4D3-BE35A2DC78A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c6ec7257eb2a92272565e1ca913deaa39d82ee","datavalue":{"value":"BCK-set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$879CBF72-38F9-407E-BB83-DA75CE229778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527912$A15BCB7C-2DD1-44D1-9915-53A7DB90F93E","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":"Q4527912$C21702E3-B925-414B-B6B6-1DA4D1D5BDC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9763c948087ad72f5a6985c52ac9603c30a89bbf","datavalue":{"value":"https://doi.org/10.2307/2586689","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527912$19EB461B-E7D3-48BD-9D44-13D08146D74D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cef10a919e69220a450db09108086c72e8e83c4","datavalue":{"value":"W2163037973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527912$D55AF6A1-127F-4C02-BE88-D0D5297F3C28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527912$080EE251-C08C-4E24-8EFD-C0783171930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527912$FBD72708-2B17-45CD-8C20-6AEF9C2F53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527912$A236B749-7633-438F-84EC-4240562187BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f86ab49274249705067fcebea78e035b81de63","datavalue":{"value":{"entity-type":"item","numeric-id":3338223,"id":"Q3338223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527912$6D6639B1-9FC6-4887-AF2E-6CE60E99BC5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e99bbfbdf6fe5b36a6d03501cd85b03a84398","datavalue":{"value":{"entity-type":"item","numeric-id":3824391,"id":"Q3824391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2ecda8e784f5e04ecc83b3b4940f5d75a1af4a","datavalue":{"value":{"amount":"+0.7666643857955933","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":"Q4527912$2AB9AA0D-CD1F-4196-AFD4-6FCFABA3AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cdbbf38d94910a9a0f0a17040a5b94ca453729","datavalue":{"value":{"entity-type":"item","numeric-id":2869904,"id":"Q2869904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc613f48b193d68381588f0e67641cb45094d541","datavalue":{"value":{"amount":"+0.7474738359451294","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":"Q4527912$E7A11AE7-8505-430A-BD8F-D11015853CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4fc6899f39d8a8259a94d9d6b58cc16a11fc70","datavalue":{"value":{"entity-type":"item","numeric-id":3789529,"id":"Q3789529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaad00113dbc33e11a5d2550f6c525199b794c7","datavalue":{"value":{"amount":"+0.7401573657989502","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":"Q4527912$AE8211BE-1F32-4A83-8230-967E04D11FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa46b8e7746c3ab994009a140d2aaf32341edfa","datavalue":{"value":{"entity-type":"item","numeric-id":3832538,"id":"Q3832538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4298be70886a6a3bcbd6e68df710b39e5f45fc","datavalue":{"value":{"amount":"+0.7387287616729736","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":"Q4527912$7F5AB920-50B8-47F3-8C7E-B247EFE22F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587a49a7daad5fa46ff89e84d9876af92480cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4276020,"id":"Q4276020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3af9e729a6fed8943f246c489305ae824dcabb","datavalue":{"value":{"amount":"+0.732559323310852","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":"Q4527912$9FF0D9AA-92DD-4CA3-92A4-8D14441BD9D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527912"}}}}}