{"entities":{"Q1182107":{"pageid":1192856,"ns":120,"title":"Item:Q1182107","lastrevid":69818841,"modified":"2026-04-13T09:36:40Z","type":"item","id":"Q1182107","labels":{"en":{"language":"en","value":"Efficient deduction in equality Horn logic by Horn-completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 29389"}},"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":"Q1182107$291E735D-DCE7-4B16-915E-DF08EF8BF9F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c47df8e934191aef00d438727eda03bce30f3ef","datavalue":{"value":{"text":"Efficient deduction in equality Horn logic by Horn-completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182107$8914D14C-81AD-4A77-AB66-332B6C1D1DE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd0542033ccce0a7ce057433737856a0861e80d8","datavalue":{"value":"0735.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182107$574A9A11-D1F5-4857-B090-4E1D5F4EFA99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fbadf821fc8baca75a5c16c32db15d5a0fb6fe8","datavalue":{"value":"10.1016/0020-0190(91)90053-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182107$417FF598-6E85-4E90-8187-E6CA303F37E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$EB73BD77-22B3-4634-909F-C839E72BC8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"131244087c0ab4794c16a3d168c1a669d65cfebd","datavalue":{"value":{"entity-type":"item","numeric-id":1182106,"id":"Q1182106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$5C707784-1D61-43CB-ABE1-4C98809C371F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$E5E043B5-214F-474D-A621-02DD6636D760","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182107$1BE572CB-8B0F-46B6-A0F2-7DD84A507829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182107$82F025C8-6601-4417-BA17-5BABFCF6C0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182107$07EB4FEE-BD8E-45A8-9691-F75AED3C3602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8268c2483a789666324a8a9f486df2b7cdb03460","datavalue":{"value":"29389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182107$76AB3EDB-42A8-4E7C-8D53-B5ECADDB5EA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182107$423F8A8E-AC0B-4244-8971-B24A62D1E73D","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":"Q1182107$195C97D4-D4FD-47BD-848C-D9A80909B36B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$CD9F1B1C-AA4A-441A-A479-6992B3DB8B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$DFB55AFD-5C45-432E-9A9D-FE3116524101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$D36E83AF-0597-49BF-9817-AC2FB450BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182107$A7621A92-2881-4533-BDF5-8E8E8C3603C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5464e66046f75bd71049a3af274d9a6edd2819e","datavalue":{"value":{"amount":"+0.848411500453949","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":"Q1182107$125EEFE6-CC92-4125-8470-DAD43D1D60CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04152d00312ecdf064595c741f526a2424cd138f","datavalue":{"value":{"amount":"+0.8448073267936707","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":"Q1182107$0050E3F1-90E5-4C87-9E72-8B93A8FC5BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c566810319d59b6524cb87c3b10309ce2ad7ab0","datavalue":{"value":{"amount":"+0.8332217931747437","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":"Q1182107$063B1EBB-7F52-4284-A77B-B1A42A8E30F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9cc276b03c4bed8b4a56fd95ea571b450b149a","datavalue":{"value":{"amount":"+0.8129506707191467","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":"Q1182107$88C454F3-DE19-4E9D-AAAF-E3F6765103B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cdcc0bc38cde26587a3338b1faf976e3f210f","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6f25c9b3e48fa90c9b492497a429ede05c6f09","datavalue":{"value":{"amount":"+0.8099117279052734","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":"Q1182107$FFCA131B-A63F-4831-B58D-EF90A7D76D32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient deduction in equality Horn logic by Horn-completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_deduction_in_equality_Horn_logic_by_Horn-completion"}}}}}