{"entities":{"Q3220560":{"pageid":3231268,"ns":120,"title":"Item:Q3220560","lastrevid":45716749,"modified":"2025-12-16T18:13:45Z","type":"item","id":"Q3220560","labels":{"en":{"language":"en","value":"Simplified Axiom Schemes for Implication and Iterated Implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885873"}},"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":"Q3220560$3C996C19-7634-4898-87E2-1BBD588EC08B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c279cbb4d520a2eae8b5cbe927cb46c822f8fde","datavalue":{"value":{"text":"Simplified Axiom Schemes for Implication and Iterated Implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3220560$E0726B1E-178D-4E72-9ED1-EB729267ADB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b0a73609f798d097a1fa94959a49da691b1ffd7","datavalue":{"value":"0556.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$94000CDE-DFDB-4910-970C-59046C27A88C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3220560$3A4248FB-3706-4C66-8C7F-AD75CB36B7CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3220560$531D8982-512A-490F-A0DA-573B3AC0B3BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$169D514C-B478-458B-B2E4-F62B7CC6F104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"435da786ac7ef01b97098680e0f594b603e67b5e","datavalue":{"value":"3885873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$2FC0BC53-A77E-4010-B300-5F321EAA32B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824a51aa198d72d74cd0aeea25b92e66c0304aa2","datavalue":{"value":"many-valued propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220560$B83549E3-0275-4416-A3F0-3FF102F7C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabb37967b8153f80fe3dc403e1586009916e058","datavalue":{"value":"variable functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220560$A8C337D8-F77E-4A58-A468-681043DAC204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220560$92C5A911-452A-4ABB-AE68-0F371CD38C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220560$8A3C62F2-AACE-478E-84D2-208171369437","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e043ee662934389534374fb1f47a3fff7aa44381","datavalue":{"value":"Q114696425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$AA834E6B-0B41-4A4C-A786-62916104C621","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":"Q3220560$AB38EFAF-01E3-46FE-B52C-C5BBEF4669AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a387ddc5130a27b3a2bb3ff8b67e420fd91e91","datavalue":{"value":"https://doi.org/10.1002/malq.19850310103","type":"string"},"datatype":"url"},"type":"statement","id":"Q3220560$081FDFCD-5F91-4E73-AD42-7D4B5CB01F2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e47a272a816c6fe2562bd5be4295f1ec661d1d98","datavalue":{"value":"W2088880550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$CD36DACA-1181-4772-A548-95FD0881EE8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c61c107673bcbf0a11f1159cb9729b6beb67d1f4","datavalue":{"value":"10.1002/MALQ.19850310103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220560$418006E5-776A-4028-BF10-DF2CCCB8FC45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4382064de68c423cd56f9509f3a80806766951a0","datavalue":{"value":{"entity-type":"item","numeric-id":3317086,"id":"Q3317086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q3220560$A16E5D5C-D979-4C80-9685-7338DAEA5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455d2bd05da6b1d0a55cf3aaa6722d805025cf8c","datavalue":{"value":{"amount":"+0.88398623","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":"Q3220560$29C0C8BB-1951-467E-8B9E-B27040383506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0ebd025ca817d91839d4641c736a9f29786aab","datavalue":{"value":{"entity-type":"item","numeric-id":1768659,"id":"Q1768659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171b1e2b8b0963c97a99ef7f59f57d5e1d79b460","datavalue":{"value":{"amount":"+0.8827755","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":"Q3220560$F0A3E2C9-25CA-4DAD-ACD5-6353FDDAD9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c51da6fe135b4276119e1c108289d11b2f15a3","datavalue":{"value":{"entity-type":"item","numeric-id":5560260,"id":"Q5560260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a010a4d0267c9712e9ad7646ae1e3f317d755f","datavalue":{"value":{"amount":"+0.87938577","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":"Q3220560$48695D7D-F742-4811-9191-6779B5BD3D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531e3c64a3fa207728afd65df19baa247048a6c9","datavalue":{"value":{"entity-type":"item","numeric-id":5783647,"id":"Q5783647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f625c24b4fa81c196bd2d673a3066f7f5b5dc3e3","datavalue":{"value":{"amount":"+0.8693615","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":"Q3220560$EB74A5FF-10E0-4164-95EB-B0E5B3A380F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d832f3bf09822fb1b06e3a37138f7476452b133","datavalue":{"value":{"entity-type":"item","numeric-id":2443116,"id":"Q2443116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c8d289ea2940ac8d5e4d4c44d35752d4c1e3ad","datavalue":{"value":{"amount":"+0.86845577","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":"Q3220560$5DF331CF-C8F7-4AF7-9D26-D562ABB7EE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e227575590b60e4bc268b67cecf58dde0eb6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5809943,"id":"Q5809943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ad0205fbfdcfcb0674348be6e6eac6568e9773","datavalue":{"value":{"amount":"+0.86701465","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":"Q3220560$A39389A3-69C7-4144-90B8-43186D39AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2c1326e5c08354f8383b186d56c60726fc44d1","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db718666af76fc4fbe396ae565641be196ab5936","datavalue":{"value":{"amount":"+0.8659312","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":"Q3220560$5446D71A-6542-4264-B21A-ED5BC7424964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20529d3be689b662890efd5a5105cdfca7fcca3c","datavalue":{"value":{"entity-type":"item","numeric-id":3778720,"id":"Q3778720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a1097a2fd38e0f412bcb69879913c8a4937d4f","datavalue":{"value":{"amount":"+0.86521775","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":"Q3220560$07CCA6AC-0350-4F8C-A34A-2492052BF9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be328478dd3601b5509e76cfebceae5df7f15e48","datavalue":{"value":{"amount":"+0.8648201","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":"Q3220560$6CFD7EF9-25BC-471D-99FE-A83A0FCCDAF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3220560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3220560"}}}}}