{"entities":{"Q1799123":{"pageid":1809865,"ns":120,"title":"Item:Q1799123","lastrevid":68987499,"modified":"2026-04-13T03:33:37Z","type":"item","id":"Q1799123","labels":{"en":{"language":"en","value":"Enumerating justifications using resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958126"}},"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":"Q1799123$87090AC8-103B-4222-8978-789E2099CE9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1e2e9224b9e98d360dc273072388aa98706298e","datavalue":{"value":{"text":"Enumerating justifications using resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799123$756DF58B-4E2E-4187-BBF5-7F980FED2161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a0bf126f767d5a8d1808f9e79dac01fcb6ab8d9","datavalue":{"value":"10.1007/978-3-319-94205-6_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$2851A924-4147-4F44-B18C-77C5D97CADAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d280e1673ec395cfa7e078083317dab3aaf38f5","datavalue":{"value":{"entity-type":"item","numeric-id":438564,"id":"Q438564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$A49938F0-FEAC-4C43-A147-DE1FFE778253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed93de28a320369d7e90daddcedfa7a1e385078f","datavalue":{"value":{"entity-type":"item","numeric-id":1799122,"id":"Q1799122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$3A5C1FBC-E4B1-4A77-876C-B1629D2BD470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799123$1B9B9B38-3F8D-413A-84B6-A71001F1420C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$43BDD092-450D-4E8C-A6AF-F3AFE0EFA876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$27B92DBA-4BD6-4B13-98CD-BDF704617E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$AD17B1DE-2092-4835-B37E-47B75BACED3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff7cbd9c66e54eb96d432f8b2a3b12bb48bc0650","datavalue":{"value":"6958126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$627DA997-5AFA-44E4-9E0D-1CEA61A93556","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6aae6760cdeb57b68e285044300308c5cb20712a","datavalue":{"value":{"entity-type":"item","numeric-id":34716,"id":"Q34716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$365E5975-7429-46AA-8102-FFF7C6B0BA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5a242de69c79c07438513990ae78359ebba9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":28610,"id":"Q28610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$52D5907D-EB37-4E00-A704-1AB80B8DABD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"000a59c76fe8271e045a72b8e028e7c0252cfc1d","datavalue":{"value":{"entity-type":"item","numeric-id":40338,"id":"Q40338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$3ABECF8D-D374-4A02-9C58-D0292786B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b419e9e06fab46801d1f159517b25d63f9edfec","datavalue":{"value":{"entity-type":"item","numeric-id":40339,"id":"Q40339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799123$97090A48-C157-4211-9497-94DE021D332F","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":"Q1799123$070F6014-95E4-43B0-86DD-4BD73AB9A346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9b08df3daace9b4e482ae646522092e53ea130f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799123$546F874D-74A9-412F-B927-42B95C7A036B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"883752cf6fe65ac75d3e01a21af711115de9f020","datavalue":{"value":"W2741804002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799123$7F51251A-04D2-449A-87AD-0E9981FE2E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291a037f5ac0f782c3e5edc915acaa84f1332ead","datavalue":{"value":{"entity-type":"item","numeric-id":5449601,"id":"Q5449601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3dceb5d9d24d41309b5cd37616a27721b577aef","datavalue":{"value":{"amount":"+0.7078858613967896","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":"Q1799123$99328C30-75D9-43AC-84D5-0DE010A9D9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a6f03fa33fb9870877566515b25b3ef01d9aa","datavalue":{"value":{"entity-type":"item","numeric-id":5240210,"id":"Q5240210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc435b6c6433741a6f1f370011fd4931abd91a28","datavalue":{"value":{"amount":"+0.701031506061554","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":"Q1799123$0624D0B5-30D1-427F-B59A-FE361E451308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a491b25d8165b92b2f4903e967dda0a14669ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308010,"id":"Q5308010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70927af9077eb4001781f5ea6e3fd74ded86ea99","datavalue":{"value":{"amount":"+0.6958630681037903","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":"Q1799123$80B805F9-7F09-49FC-A772-8810DCC98927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33af77cba7c56b7e515881064983cc4d6acce7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2818038,"id":"Q2818038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e204bb13c053e2357b123f126312124955a9d1a","datavalue":{"value":{"amount":"+0.6919943690299988","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":"Q1799123$F7894E16-752D-492E-9120-21F882D88C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a826fb7d44c7df3837095390de83c0d1cbea78","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a256aa1ef131a124015d2eb643e7c91b91e496","datavalue":{"value":{"amount":"+0.6897959113121033","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":"Q1799123$FF142530-9753-4470-874E-B9E457ABAEEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating justifications using resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_justifications_using_resolution"}}}}}