{"entities":{"Q4644516":{"pageid":6674097,"ns":120,"title":"Item:Q4644516","lastrevid":58312983,"modified":"2026-04-04T16:34:16Z","type":"item","id":"Q4644516","labels":{"en":{"language":"en","value":"Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997911"}},"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":"Q4644516$C7F60D20-122A-45BB-AA89-B0168CE31F2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fff00a01a07f74d77b49972324ce9025cd95f91","datavalue":{"value":{"text":"Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644516$879C7AD6-0BF7-43FB-9346-ADB1124290C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e91fc475ed4ebaaf4842207f3f990f4c869508","datavalue":{"value":"1405.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$ECFAD51C-89D4-4B7B-B8D0-7DFCEF58C878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b58ef4b107cf93700b1f9bd56ae72fafc92fe5a","datavalue":{"value":{"entity-type":"item","numeric-id":549451,"id":"Q549451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644516$51C58BD6-993D-45EE-909E-7DBEC85216E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644516$44226367-D78B-4CB5-94D4-1C7B30F5F049","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eba29196329339812d21a7c828ccceb5f8489cff","datavalue":{"value":"https://arxiv.org/abs/1407.7010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644516$73CD0F4C-6A9C-4004-9509-C5C64927D242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$407E50B5-EE49-4736-8CEF-F4E5FD35FE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$AB6F0C08-B2D0-4A9E-A23A-74D9BA89DD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$BB816C08-4874-4B55-9CD9-5347B7928ED4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dbe07fd5e8913be17d6cf061e28fc1456cce895","datavalue":{"value":"6997911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$BC3204E9-A40C-4360-9357-5B5DF8BC5AD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"065a298bfb1e72eda90d3a85e419b22d32a079a0","datavalue":{"value":"classical and intuitionistic propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644516$D72B99DB-EF72-4890-930C-ADCA5EE063E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb8339ab8a1a68ea58b88467cd1fad7c70382b4","datavalue":{"value":"implicational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644516$15C282FC-1ED0-42C9-AEDD-E8E38DBB7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644516$C6858AAF-63F1-486C-8E66-98469D03EAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a09dbc24c1314605239efdf4f11968d6d24798","datavalue":{"value":"tag system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644516$2A83F3D0-3F57-43D9-AC92-07048CC6539B","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":"Q4644516$C95456DB-9FE0-4FA1-A814-B63C833469EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eea132905d06c8bc0b712946359555ee91c732ce","datavalue":{"value":"W3099382357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$D9708BA6-0931-41E7-86D3-78E127AE7053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f678107672d510bad6b67f1715278b05d7059a01","datavalue":{"value":"10.1093/JIGPAL/JZU047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644516$DF5F0310-639B-4127-A007-26E50ABC9837","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644516$A838CDF7-0026-4ACD-8CDA-4F255C616B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c18afeaeea352885a6741509c4ac8b71c1a0717","datavalue":{"value":{"entity-type":"item","numeric-id":2259003,"id":"Q2259003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119b755c9e5bf83fffd529d361bd2b1e122aa0df","datavalue":{"value":{"amount":"+0.9055123329162598","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":"Q4644516$92505B8E-ED1A-4A17-9BDB-8F6BB5B19662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abe765d74f0a7de77f8f13db595e23e93f4631d","datavalue":{"value":{"amount":"+0.9019989371299744","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":"Q4644516$3FBD6428-CBFD-4435-B349-DAA3F09EFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e74ec88077a1d663811b993747c5ece04eec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2364331,"id":"Q2364331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1eee3831d138a94b3d07e91c9255c3fcba62cd","datavalue":{"value":{"amount":"+0.8021068572998047","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":"Q4644516$60A86BEF-6395-4992-91C5-0948B0BC63E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3531825cf4874c55278e8cc2cbe5831c197636e2","datavalue":{"value":{"entity-type":"item","numeric-id":786806,"id":"Q786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fe21a4f4c814da85ba63d5bc1334d359b5c920","datavalue":{"value":{"amount":"+0.7723293304443359","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":"Q4644516$2F414F44-E452-4AF8-B362-E0695B8A6F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8763d81cc2ad81db6f4d781c65fe123169964321","datavalue":{"value":{"entity-type":"item","numeric-id":4644570,"id":"Q4644570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0bbdf097e6afe611a1f380baa671565fe7e040","datavalue":{"value":{"amount":"+0.7516776919364929","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":"Q4644516$A3821D70-8CDF-4354-9C5C-438B885BC66B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644516"}}}}}