{"entities":{"Q753478":{"pageid":755327,"ns":120,"title":"Item:Q753478","lastrevid":64118289,"modified":"2026-04-11T17:46:10Z","type":"item","id":"Q753478","labels":{"en":{"language":"en","value":"An efficient strategy for non-Horn deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180782"}},"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":"Q753478$849515FE-1DC8-4A6F-B8CD-56A6251A0948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06ca62be4e1545026735521cf6d30d89c335162c","datavalue":{"value":{"text":"An efficient strategy for non-Horn deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753478$283501C9-B812-47FD-8E26-0F530A1C6975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"889830f43b00ff6c48e67c8983929167325a5f49","datavalue":{"value":"0716.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$778AA957-C169-472D-8D89-3880D9A2C22A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"319bb8b8859fcfae7fcb4e1a8fef491f2267b8c5","datavalue":{"value":"10.1016/0304-3975(51)90010-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$A6ABB758-C573-43BC-88F5-715BEC303711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393e0bcb000ec0fe1a5c28a426b1c9e092ecdc93","datavalue":{"value":{"entity-type":"item","numeric-id":266878,"id":"Q266878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$D51AB4E1-017A-4268-982A-B51EDAD2AA00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$F55E83B9-3B05-4BDA-BBB1-A37909E79284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q753478$737DD58F-1CFB-4A76-8D8D-748ED47C79F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$7EE36A70-A3D5-4514-8EC8-001852477B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$2132181F-C059-4E95-A0E0-C418CFDD0342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$93034164-3D16-496D-911E-E91D6FA44629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$4DD91702-712E-4F59-A0CF-5A909D32EE11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b964a205a2ff6ccdaca97d6c2fcbe7a368f72fad","datavalue":{"value":"4180782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$C82310EE-CBE7-4FA2-A9A2-280D99F84C37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q753478$B520E8CD-C431-4F43-BE11-A8BC1B00106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898c74b82a6f4c23533a915b46f9829db027913a","datavalue":{"value":"non-Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q753478$1997EE15-EBAA-4CFD-9DCA-CDC1EA849C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3c687cb6ea0e5a6609b16927b9acda7f548739","datavalue":{"value":"SL resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q753478$72B19321-B530-4A6E-AC49-42B86364B7C5","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":"Q753478$8369ED6C-344B-4DA4-99B9-F8645C2E93CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f776cc8d59069c9f7e17d9ca9e9328278258cc3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(51)90010-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q753478$B369A36B-417D-40E4-AA5A-0DEB75D27008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1099943b7ed1f980a65d7306af223408d2298fab","datavalue":{"value":"W2091640551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753478$9E185F06-42FE-4681-B820-EFFC1B9C8651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$77DB079A-C176-40DF-B5A3-1B2D5BAC9550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c083b847ea81457ded00157ea519284d19e697a3","datavalue":{"value":{"entity-type":"item","numeric-id":3820060,"id":"Q3820060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$AFFAFB41-8B74-4FCC-A1F9-53E058A90FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$0D9A852F-6189-4695-A96C-19B9552F2F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c87838b584781103d19d52b6767af2ea2fd4b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$11AE84CA-E559-4591-B9C8-DD215A2DC296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b0af58919081b0ba1c198c5dd217c031469f73","datavalue":{"value":{"entity-type":"item","numeric-id":1820593,"id":"Q1820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753478$260EF112-763F-4E5B-BA24-02FE2AC56193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795639cb519e6b717774284fd806b58dc5703522","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956a54d372020e02626b9d1f0eac1b80be9678c6","datavalue":{"value":{"amount":"+0.8000691533088684","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":"Q753478$EF1D1091-98D5-425A-B09F-7A37CE699393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9fcaa0dd74ccea201a9e137f6d8ec4fc189869","datavalue":{"value":{"entity-type":"item","numeric-id":1823737,"id":"Q1823737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03d2fdf63879d77a81c07eb4cd70d929d548416","datavalue":{"value":{"amount":"+0.7632134556770325","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":"Q753478$4A847C44-F6F6-418C-BCFF-CD765E106995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae915ffb0b055fcbdac25dc3cb493a9d781478c","datavalue":{"value":{"entity-type":"item","numeric-id":3821632,"id":"Q3821632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1bd686f7170b6cc76ba87d73816f62d949341f","datavalue":{"value":{"amount":"+0.752385675907135","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":"Q753478$ADF982EA-5F32-4444-BBF8-5D973660A7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdd9f1b395bd11ed6955e786d0d24ba45a74947","datavalue":{"value":{"entity-type":"item","numeric-id":3805964,"id":"Q3805964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd3c0550aaa97e12d59d59d092d2d1f023d6a5d","datavalue":{"value":{"amount":"+0.7396795153617859","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":"Q753478$6BC838A9-C320-43BA-8C19-82635ED5A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc6fd6c48aad92ef910d28a49686ad6ff5eaff","datavalue":{"value":{"entity-type":"item","numeric-id":3820060,"id":"Q3820060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007bfbf70ff9ebcaef6028ceb51a106e754f4539","datavalue":{"value":{"amount":"+0.7336771488189697","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":"Q753478$7D542F9C-4215-4663-9350-16CA75B4765E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient strategy for non-Horn deductive databases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_strategy_for_non-Horn_deductive_databases"}}}}}