{"entities":{"Q759743":{"pageid":761592,"ns":120,"title":"Item:Q759743","lastrevid":64121667,"modified":"2026-04-11T17:47:07Z","type":"item","id":"Q759743","labels":{"en":{"language":"en","value":"Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882401"}},"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":"Q759743$7CEA6159-D1BA-4906-9243-F2378B330033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86ee4890c3516709d7b7812290f93bd17b8c35ab","datavalue":{"value":{"text":"Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759743$F2390337-695D-45A8-96B6-27712F8BFAE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e10f03744e1fe5ec0b56dffdccb2e4efaf00631","datavalue":{"value":"0554.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$9D2A7E51-5119-4F01-8D09-630B9B38AB59","rank":"normal"}],"P16":[{"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":"Q759743$DCD9DC6F-3C1D-4FCE-9338-B2270730A414","rank":"normal"},{"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":"Q759743$C8BD8C56-35ED-4A1D-BA76-4E1E2C6FF773","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":"Q759743$1B4DE7C5-D8B4-4C2A-9DB9-C00F17234572","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":"Q759743$1EB77FD3-55E4-4175-8955-D8E017456B15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"102e2f3ef1fe6a69856979d5a7257ec74f5de68b","datavalue":{"value":"This is a continuation of Part I (reviewed above) and the authors' paper, ibid. 17, 469-475 (1976; Zbl 0286.02023): the authors present an algorithmic syllogistic method which solves problems presented in logical form; they richly comment and exemplify the method; they also introduce a first version of its computer program.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759743$E62B2469-AE23-414B-9E6E-656ECB926276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$E3794222-DDD2-4DD8-BFF0-1F2F8607D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$F7595967-6758-4F61-BFBF-9412358555A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$961BCB85-721F-43FF-85DD-5F3021D3FB88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"390144620c7d225a5a13563b7a2bafc4cf00b01b","datavalue":{"value":"3882401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$2DC21BDB-AC26-4A8E-9444-5EBF096710B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a949ba096a70ff483f61dbfa72618ca297c787e","datavalue":{"value":"deductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q759743$C978831F-2975-475E-92BF-0DD8A956263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a081a1ca5652484402829925f46f385ae4b676","datavalue":{"value":"diagrammatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q759743$F8CD80CA-5AAA-48F9-A836-CA51822F1317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5232c5f1dd2822040311620f66b912f4ebe2d1","datavalue":{"value":"algorithmic syllogistic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q759743$DEA9D51B-3C0C-45E3-B5F0-0FA550B9C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9e70aac0010dde3d8d51d5a55e32c303bc6a02","datavalue":{"value":"computer program","type":"string"},"datatype":"string"},"type":"statement","id":"Q759743$2561FDBC-BFA2-4776-AEEF-23F2606CCE9E","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":"Q759743$16B85DBF-297C-4DCA-B343-D2AB39E878E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d751c127ad66e3e9681cb338bd7b9422914ae9b8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870633","type":"string"},"datatype":"url"},"type":"statement","id":"Q759743$FE7DEB78-E1F3-4764-BD12-89F7075E178B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2bd725935c74764889bf141321c1f793342788","datavalue":{"value":"W1965063011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$D6C8358A-700D-4A0D-B94D-1237E1E0A765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807f124d2b4bdab0f69ceee1a72aa010ebb1cff2","datavalue":{"value":"10.1305/NDJFL/1093870633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759743$F3440842-359B-434F-B83A-CCBA252BA119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f69a90ab8438271491e52e7c37d0acc8ecbd1a7","datavalue":{"value":{"entity-type":"item","numeric-id":759742,"id":"Q759742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7831c5a504a32aec9e368086a9b7ef6c9535d6c3","datavalue":{"value":{"amount":"+0.93863714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$258FA276-99B5-4BEC-BC85-6EE8D9F3F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349f28a54fe11ea6c8fa090b6d91b605c7e3904c","datavalue":{"value":{"entity-type":"item","numeric-id":5890057,"id":"Q5890057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0636be7aa900e7c54e700c416f2c2ba65d435a9","datavalue":{"value":{"amount":"+0.8663019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$24D6F3F4-6C3C-4A0C-ABD2-5719715FEBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058758f3ede8cf6908f9bf9e85cb8f830d733728","datavalue":{"value":{"entity-type":"item","numeric-id":4691187,"id":"Q4691187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d5bd1d20628f6235617f6b205323a472a8e0af","datavalue":{"value":{"amount":"+0.8648926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$641863D8-881F-4828-88EB-CC2CEDDD88FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69d3ff37fdc0630bd193dce7b948b7c03bc5515","datavalue":{"value":{"amount":"+0.85640585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$053C57B0-8F80-4981-BB7D-D81875814623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1cfc853f4f5e9b8d94062b825701b06d4af5a08","datavalue":{"value":{"entity-type":"item","numeric-id":3738607,"id":"Q3738607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cfd6e26f2fb014ee9cf7b960bc2192b26bffa0","datavalue":{"value":{"amount":"+0.8550137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$31F8C270-3BDC-4E66-8F66-CD43BDD2823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15128462266bb86a70731c93269bf8c72696ca7e","datavalue":{"value":{"entity-type":"item","numeric-id":1813824,"id":"Q1813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311c7c280e1f287463825e4d33b6847701d5a71e","datavalue":{"value":{"amount":"+0.84844893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$DCDA7DCA-0316-4894-8D83-1036967A3879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f505eba0057360ff6fbf4efa07caffda762c27db","datavalue":{"value":{"entity-type":"item","numeric-id":504394,"id":"Q504394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b296e9c18fb3967d70030a1d783489e1fcff7f04","datavalue":{"value":{"amount":"+0.8460593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$24BAF62A-CB8E-4300-A3DD-8ABCBF637697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be055b314b934e40a3d60a53755f0ad33613a859","datavalue":{"value":{"entity-type":"item","numeric-id":4212163,"id":"Q4212163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac4c84192f8ec0dec686ec0964dff0f7fcd2f5e","datavalue":{"value":{"amount":"+0.8453108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$FB04E191-6B79-4DBF-822E-5640C2438496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26ddc2033dfa90228c63db3e1dbd80cd7945595","datavalue":{"value":{"entity-type":"item","numeric-id":1353915,"id":"Q1353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3d6030d0cb72c9f063a251c725696898d1a28d","datavalue":{"value":{"amount":"+0.84287435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759743$A2876106-8A79-4CD5-A8D3-A721998744CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_Logic._II:_Automated_map_logic_method_for_relational_arguments_on_paper_and_by_computer"}}}}}