{"entities":{"Q759742":{"pageid":761591,"ns":120,"title":"Item:Q759742","lastrevid":64121658,"modified":"2026-04-11T17:47:07Z","type":"item","id":"Q759742","labels":{"en":{"language":"en","value":"Mechanizing logic. I: Map logic extended formally to relational arguments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882400"}},"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":"Q759742$469C7814-F44A-4D86-9BEB-693EE5C4DEF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"603e2428ea0965f8a1f200ca6f21f2d2a4c90617","datavalue":{"value":{"text":"Mechanizing logic. I: Map logic extended formally to relational arguments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759742$AB69649D-549C-42E6-8B5B-8E9450C586B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eff2d1d2e5a68aa128a45e537b3450750313f21","datavalue":{"value":"0554.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$99F6084A-8081-4C14-977A-04295D29E33B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef26905df759760e83be21252358c82840905fc","datavalue":{"value":{"entity-type":"item","numeric-id":759740,"id":"Q759740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759742$A481C7D3-3308-4BA1-9B58-696DCEF7D818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2871fbb6d30e5d7d00c777c0d30898ef8a991314","datavalue":{"value":{"entity-type":"item","numeric-id":759741,"id":"Q759741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759742$D2AA652C-7E88-40C0-BE48-710424BBD14E","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":"Q759742$ED5C702F-2CF4-4F3C-8B2A-B9D0E332D0D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q759742$2960C547-BD6E-4C97-8C8D-CED5441660E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a59abb661618be6d2fcab7b13c5671f223933ac","datavalue":{"value":"The authors present a formal system which is an extended version of Aristotle's syllogistic: four supplementary rules and an axiom (a personal interpretation of Relational Conversion) allow them to manipulate compound terms (by logical operators; relational) in deductive reasoning; the system is exemplified by the diagrammatic method [the authors, ibid. 17, 469-475 (1976; Zbl 0286.02023)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$065D414C-5102-4A65-AFD2-67473E4C8E09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$1A3CF0F0-319D-4CAC-938C-BA572D848F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$FB00ED8E-6E20-4DE1-83C8-514A8040CA74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a59fbcfff02a3fb4a0968f7ce10ab0ebcba45ec","datavalue":{"value":"3882400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$FF491AFF-7070-42A0-9BA5-DC4877CADB7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee02bb10dd3db5e6c92cb09feaf51750d978085","datavalue":{"value":"extended version of Aristotle's syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$E577F304-0548-4A60-9108-4A184E02B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d248dbb7c951ec348a5d05cf35b8da82b901d877","datavalue":{"value":"Relational Conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$2BAA6807-1522-4D5D-A61B-C88092EB21B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461c4e8785bdad2db35c75fa3f2deca1c77ff3d8","datavalue":{"value":"compound terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$807FCE06-E31A-44DF-A2EF-7EAD4E7A5087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a949ba096a70ff483f61dbfa72618ca297c787e","datavalue":{"value":"deductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$822708C9-CC2C-4698-B8B2-EA0AB621EDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a081a1ca5652484402829925f46f385ae4b676","datavalue":{"value":"diagrammatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q759742$AB0D1909-6FE6-4AA6-B4E0-07BE47A96EA1","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":"Q759742$9B0B950E-1B99-4183-9C27-ECE4F8800CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89743e3ba09cb364e27c221a006fdc6bbde85188","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870632","type":"string"},"datatype":"url"},"type":"statement","id":"Q759742$2666940B-0E17-4FA9-96BF-6005E0FF9958","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abe45d6d4b52ea433ecf6b6fb41b03ec8a9f0062","datavalue":{"value":"W2040111752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$A825B049-57D5-4820-BE31-3CE391AFD048","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27b2dd4b382a73de1f99d01a9ff5413872be17f4","datavalue":{"value":"10.1305/NDJFL/1093870632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759742$4C855543-1B06-4D94-BA0E-72223A2D26F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dab4b25b4ace8c5087aa1299d0534ef40a563be","datavalue":{"value":{"entity-type":"item","numeric-id":759743,"id":"Q759743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a882751f9444b78bea3e674f6080d20f60ea435c","datavalue":{"value":{"amount":"+0.854013979434967","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":"Q759742$8187AD00-6B1B-4EEE-B4DF-669E4E11C030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b279bb348a44344f0377ab2c4b660ca68086d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4903914,"id":"Q4903914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd871b9c9e1530ecdb76c5448e1f2e49b6aea364","datavalue":{"value":{"amount":"+0.7565722465515137","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":"Q759742$5EF144F5-ABED-4BFA-BE05-FCD0302265BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8040ff7ca210acfd9b735b8c54badca0ce8e663d","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cef2a4832f028ca3bfa865613b4db215e5c9ecc","datavalue":{"value":{"amount":"+0.7560572028160095","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":"Q759742$E6F628A8-D474-46A3-BDB5-30CB38591802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335d262dd958b4256fb3fe182253c3356e31b83c","datavalue":{"value":{"entity-type":"item","numeric-id":2255203,"id":"Q2255203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673c865daecd988267942add762f57e3a3d0765e","datavalue":{"value":{"amount":"+0.7487612366676331","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":"Q759742$A5E8FE12-E892-4781-AC1A-7020275B450B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d385e0db5b2690e337ea102d134584c68095e9","datavalue":{"value":{"entity-type":"item","numeric-id":1102285,"id":"Q1102285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576cf262cd43545383a60930b5fac9ca310f519a","datavalue":{"value":{"amount":"+0.7381733655929565","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":"Q759742$D93DF4AC-8D86-443A-A9B1-0862B51BCAFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing logic. I: Map logic extended formally to relational arguments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_logic._I:_Map_logic_extended_formally_to_relational_arguments"}}}}}