{"entities":{"Q3485884":{"pageid":5515784,"ns":120,"title":"Item:Q3485884","lastrevid":49402987,"modified":"2026-01-07T02:40:00Z","type":"item","id":"Q3485884","labels":{"en":{"language":"en","value":"Refutation search for Horn sets by a subgoal-extraction method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157909"}},"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":"Q3485884$9208769D-9B85-484A-8A1B-51F1282EB2BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1da5b49af6ebbfb331f5c9e780bb0b1d350702","datavalue":{"value":{"text":"Refutation search for Horn sets by a subgoal-extraction method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3485884$06C56F9E-01AF-4631-A929-F84659D769D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87b0e753b18728ab7f96abfb7a15fcececbb7826","datavalue":{"value":"0705.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$06BA13E5-3037-438C-AC7B-00A73C4BED4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab7ddd57878b7b6bc02ae49463f54f20e415b897","datavalue":{"value":"10.1016/0743-1066(90)90043-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$AA05563D-BF6E-40E8-A0C3-E769DC21E6B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485884$0E6324D4-8EB0-4F65-A959-D8B64966C2FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3485884$D3E35147-79BF-40F5-9E5B-30DE5E73DAC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$ECAE8F65-5828-4AB9-922B-AD2CDF38C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$D08E3620-555A-4601-B52B-96C19E18B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$97763BF3-E223-4695-8ACA-02A412F08D17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e3ec4f16a6fb3ae21924589e29f35a1f04b7354","datavalue":{"value":"4157909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$01448929-AAAE-4E6E-AD06-1F6F20867B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98536b62e8262cc8fdb1c7b2350318240f849853","datavalue":{"value":"refutation search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485884$697C7D7C-1281-4E93-9E89-F0C1DFB37606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0317cb9e188988bc330bb581a6d83ed957b47d10","datavalue":{"value":"Horn sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485884$4CE8F8CD-D06F-4312-A687-BF135B3AB90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485884$59DD67E0-EC8D-4C4B-B000-CD56B44C44EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485884$4F4E6A94-1F6C-4F47-AC67-F22E33BC3CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844386d67c4c2175793cc6b8f5a69f543ceae14d","datavalue":{"value":"deductive-databases management","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485884$3D45B2BF-D208-4E84-9AAA-2C3C0C04D13A","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":"Q3485884$536CEEDB-3AD2-497E-851B-2D2BC057AF04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9a5b342e21a48e2bf6feeeae61cc0fcdf336838","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90043-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3485884$D760DDC4-B7C4-4B79-9628-14EA6C48503A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"842a63e57382dfbb06dfa8492f2d91e7e27a30b5","datavalue":{"value":"W2023509229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485884$9531B102-2169-4C09-AA72-2E6819E292F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26df735870355093c813bc92138e93234fedbb","datavalue":{"value":{"entity-type":"item","numeric-id":3742762,"id":"Q3742762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c0cdbd6fd6716d255a3c31beb9c98f601cd803","datavalue":{"value":{"amount":"+0.7404943108558655","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":"Q3485884$A0535B3B-4613-4EE1-94DE-B9359FC5A742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6240e02c8daafdc57ac98fe1b86c47e2ea7911d9","datavalue":{"value":{"entity-type":"item","numeric-id":4610327,"id":"Q4610327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5700c2e888c83cc0975d5b1495009e7a2ab99d23","datavalue":{"value":{"amount":"+0.7351216673851013","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":"Q3485884$AA91A9D3-09A7-4163-A7F1-ED8BDA2F833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1d923cfb9f94445f405833e3fd3fd5d3dbb7f4","datavalue":{"value":{"entity-type":"item","numeric-id":1422809,"id":"Q1422809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d6f2707cd7259c932f9af70ffda948265ecbfe","datavalue":{"value":{"amount":"+0.7289578318595886","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":"Q3485884$2785D27C-DB93-4BA5-8799-F178D87E1E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25d69e5cf77680a5d5a26b193c6476fb484ad75","datavalue":{"value":{"entity-type":"item","numeric-id":3783623,"id":"Q3783623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f9daf7c321afd6f63084098ee55058d10b42d8","datavalue":{"value":{"amount":"+0.7205609083175659","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":"Q3485884$8A70A598-6EC8-4A8D-9031-3100263644EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de3569d2e6f3b3616c98dcaea44ecb60d53f09a","datavalue":{"value":{"entity-type":"item","numeric-id":1369080,"id":"Q1369080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2aae1a733e0ca77de0f0c9edef9c56f37d178e1","datavalue":{"value":{"amount":"+0.7129073143005371","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":"Q3485884$471B97D6-0292-4520-B739-A44D7ED73007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3485884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3485884"}}}}}