{"entities":{"Q5021989":{"pageid":7051566,"ns":120,"title":"Item:Q5021989","lastrevid":54200900,"modified":"2026-01-26T11:15:08Z","type":"item","id":"Q5021989","labels":{"en":{"language":"en","value":"Hybrid deduction-refutation systems for FDE-based logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7458044"}},"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":"Q5021989$EE34EE12-D6BC-4F4F-8969-522558C58EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"448d834e0008825d82a34e42722f4d739b85e406","datavalue":{"value":{"text":"Hybrid Deduction-Refutation Systems for FDE-Based Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5021989$42A3810B-2346-4812-82DA-6630FEACA3DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a02b154dbce52b7577e6e634298ad8ee1759923a","datavalue":{"value":"1496.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$98FFA47C-2EC8-4ACA-B2A4-DD665CB9524C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1e3f4d82af21df262b982d334b6fcd5080240fb","datavalue":{"value":{"entity-type":"item","numeric-id":2151409,"id":"Q2151409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021989$3D2E7F44-70F5-48DD-A610-EDF03DA13FEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021989$2272D9C9-C381-45F8-A926-B9AA942B9A23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22d960510734a1b3722cd75cfb98f6e62ba2e104","datavalue":{"value":{"time":"+2022-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5021989$36C4ACAE-FFDE-4C7A-9A98-17A1A7BE631E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$6D6D4D7C-0D44-4E7B-ADFB-736E651B89D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$81796D7B-4E49-4276-84A9-F94B49BFFAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$1AD26E40-54DC-48A6-B1A1-A9880FC6DF83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3208d033e252c46ef4525cc002a91cfa26f5a00","datavalue":{"value":"7458044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$8C706764-8C45-499C-84C2-865B71FA31A0","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":"Q5021989$4E5892D2-876B-4BDB-9E55-5D3219F20538","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8df0b9ab82e008c27b58d79da5fa01c720468d86","datavalue":{"value":"https://doi.org/10.26686/ajl.v18i6.7080","type":"string"},"datatype":"url"},"type":"statement","id":"Q5021989$4AB6C848-B677-4700-BB66-5E0DC340A1BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b074f3aea78778ca88ffbf44ace3f88a15cdc19","datavalue":{"value":"W3198912670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$A742132B-69CF-49ED-8686-3F37F51F48FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"831354e2953181fcce976b727ee69f1d265cbc63","datavalue":{"value":"10.26686/AJL.V18I6.7080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021989$C0F7B667-2542-4F22-9B6E-50875AB50D53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7120cdee5eb8bf7425244a14c5ce507ab8d62ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4deb1c1d0b246612a57617897d1b56a51f5b46","datavalue":{"value":{"amount":"+0.7897478938102722","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":"Q5021989$2876C8DF-76DE-40D4-B8A0-32FC536F0B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d608e85bdd2f02e2c757de7ef886fa08a48a6070","datavalue":{"value":{"amount":"+0.7568237781524658","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":"Q5021989$E8111248-D387-4148-9617-56CE346BE50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b244b94d7d7b90e8285dcb1bd95c7979823d95","datavalue":{"value":{"entity-type":"item","numeric-id":1424966,"id":"Q1424966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288d3c2b14c63b7b6268f34d7b5ec286fc1084c2","datavalue":{"value":{"amount":"+0.7552621960639954","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":"Q5021989$95018C3A-B6EE-446B-9A3F-5665B55CE3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9550337e89fa60d6a90d36b0ed49bbe7d9738b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2041966,"id":"Q2041966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7937efd735af3ef7480b1065476346cb7051190","datavalue":{"value":{"amount":"+0.7398586273193359","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":"Q5021989$CA354B88-F786-4EEF-8192-18FB4E57355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cf26ac68810aa69216000d8be658eabc5645aa","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23ca3cf02820d2377f121677b8c478e4181a46","datavalue":{"value":{"amount":"+0.7397585511207581","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":"Q5021989$22E0FBA6-A711-40E8-BE3E-981563794462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5021989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5021989"}}}}}