{"entities":{"Q4644571":{"pageid":6674152,"ns":120,"title":"Item:Q4644571","lastrevid":58312926,"modified":"2026-04-04T16:33:58Z","type":"item","id":"Q4644571","labels":{"en":{"language":"en","value":"Undecidable problems for propositional calculi with implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997982"}},"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":"Q4644571$17977A9B-D780-4902-89D9-0AC1D82D0616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfe61fa5bf9f989e69d10a36cb9ef3e9cae08352","datavalue":{"value":{"text":"Undecidable problems for propositional calculi with implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644571$59508C9D-E6C9-4DDD-8762-28B754F3AC12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f257aa0e0f31a7a2dc10593f3015fc2e061e2bcc","datavalue":{"value":"1405.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$717FC3BB-ADCE-4171-82AA-0C9775775C76","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":"Q4644571$DA872698-7269-464D-92A1-E3D7EB13C411","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":"Q4644571$BBE2CE98-30DA-4D6E-8154-2A2B9AC1FA6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8711770db44f0b27c38806be44cdac3628b5e69e","datavalue":{"value":"https://arxiv.org/abs/1502.00978","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644571$0FF3CA6B-D2E6-4C2D-A59E-51D3941B4BD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$9465433E-DD5F-4722-9D1A-449A355F61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$F167FFC5-F845-4C51-85FB-DDC4681DADC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f05c2f0ebdf71b56ce6158cf3a70f42a34ff548e","datavalue":{"value":"6997982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$4098CA6F-52AC-4EFE-8A39-65413A010E1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644571$CF08C549-B67F-4D2A-94B9-EAE4906C9775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb8339ab8a1a68ea58b88467cd1fad7c70382b4","datavalue":{"value":"implicational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644571$1EE51057-A76C-4B96-A664-F27EEFEFD770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644571$460009F3-8300-4B14-8911-CDB1FE7D218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a09dbc24c1314605239efdf4f11968d6d24798","datavalue":{"value":"tag system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644571$192C9E5C-EF8D-4C66-9057-CFB8A9C5F0DF","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":"Q4644571$B9E5641C-68E9-4F8B-A03B-E0449FA3A2D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8516819b19f18e254be9ca7a4d2b6a79ffe773f7","datavalue":{"value":"W3106203864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$BF1DAF04-2369-42C6-A581-B2588EB6734A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5cb62ef518de23e8aeda038f6fd6e79c1085dbd","datavalue":{"value":"10.1093/JIGPAL/JZW013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644571$3C8AFEC8-A74C-46BB-85B5-20C07A00A13D","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":"Q4644571$092CF71A-266F-4C57-9A87-082EBBF76C11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"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":"Q4644571$07F2F320-CBBD-431B-A2E5-61AAA23B4072","rank":"normal"},{"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":"1a188f638bb2684ee8da1474e4374da47837cc4d","datavalue":{"value":{"amount":"+0.8291610479354858","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":"Q4644571$AED61C16-C074-4E7D-87E0-EFA641F37387","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":"426ced25db4d1033a61544b3cf6280eeeb92396f","datavalue":{"value":{"amount":"+0.8138447403907776","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":"Q4644571$F66F4AF9-4701-49C7-9CC2-D7EC94DFAF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493344fa26c059dcc037ce9b245ae67af6dc9c39","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a0c26f50786d4e824244f0f544d8be8fca28f4","datavalue":{"value":{"amount":"+0.7861103415489197","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":"Q4644571$BA9BA895-55ED-4466-AD37-BCB698AC2422","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":"c7f142109ca5d5d336555ee0a8de1c8f67ab2436","datavalue":{"value":{"amount":"+0.7855618000030518","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":"Q4644571$4993B84C-EFC4-4325-A5D0-B240ABF7E3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644571"}}}}}