{"entities":{"Q1041788":{"pageid":1043636,"ns":120,"title":"Item:Q1041788","lastrevid":66103740,"modified":"2026-04-12T07:34:25Z","type":"item","id":"Q1041788","labels":{"en":{"language":"en","value":"Completeness of hyper-resolution via the semantics of disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5642366"}},"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":"Q1041788$41B3266A-1699-4BE0-98EA-FC6685E683AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aec5b85b9c746070c1ef209dce4ba49e0b4df3a6","datavalue":{"value":{"text":"Completeness of hyper-resolution via the semantics of disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041788$A2A0FFE2-FC3E-4B77-8C8D-1DDCD871C267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bf3e7230d9ee41b4917fc42e9704b5285855a46","datavalue":{"value":"1185.68630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$286C8E53-C62B-4F4C-9D30-48E9C5676FCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$2D89AC44-F7EA-4C77-9B62-DC335D54ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$E37A53D4-36CF-48DC-BA53-0415C2FD6379","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":"Q1041788$8AB35574-6DF6-4C33-A090-10D65270360C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e067d02fef1a1d1eabc0ca53437d57c4cd48bc0","datavalue":{"value":{"time":"+2009-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041788$03A24C15-96BE-456B-AE8C-911C3E559FF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$ECBA1F66-9A67-4823-9637-3EC6AA367950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$693F92AF-6897-4549-BD9B-B134C90ED79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$A658248D-7FE6-458D-AD1C-83E1EA46F970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705f6792093fefa0a3750d63a1abdcb490d63c41","datavalue":{"value":"5642366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$8FF923BD-A504-4FA2-843E-24BD1E61019C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041788$87F51BAF-1DF9-44AA-A52E-62168864DA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041788$6154F30D-2AC7-4F63-A108-A76BDD95A8F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$8CCAD83B-1C52-4158-9C7D-10B56102FF55","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":"Q1041788$16E048AA-3816-4591-AED0-19C09D907185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8275e260ec2068000d4f1885652ff20fee1f0be5","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041788$C90A37CE-0A33-4F4E-918C-5264900215F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f1c60fbcb11c479dd59a2a2bcaa92b38935cf86","datavalue":{"value":"W1991020124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$9A54E98E-15A4-4F9A-A7FC-4B7F86EEE835","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$89F2F5A7-EE9D-423D-AC22-2D2935B7283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8650a071223264bfee34c96b2e4233b3080f6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$9279A55A-2ABF-445E-B8BC-C1BC8065397A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$1EDC660A-C18B-4B45-89CC-BF08A8E03A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$55E46EB2-073C-43EF-AEB3-2E9B38157CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$96834DDB-6DC4-4A47-81C9-5501EF927819","rank":"normal"},{"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":"Q1041788$C2E2598A-9E33-43AB-8DAB-1327731026CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ef7fe275e1013dfbbe27b73bc3de1034cddb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4474846,"id":"Q4474846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$2ECA7C5A-CB0E-4923-B0BD-82651A97E81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$24D79347-4CB9-4460-A215-DA9FE16E6AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$8948AC06-E98C-4F30-BFAB-A181CC0B93A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f09c8478424162622e2e11cbade44966513eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5621960,"id":"Q5621960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$B55B71CC-15D7-4908-AE8E-49A873347543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$839198B8-8F3E-4AB1-A845-65D7B31F1AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$4DA8C95C-E46F-4461-AD46-09A13DE08AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89e7cb7f75aa483464f4d37150bcc6d704387eb","datavalue":{"value":{"entity-type":"item","numeric-id":1177928,"id":"Q1177928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$EE75E17D-0B77-4D70-86E1-0128898C17BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$FFFA55E1-0C23-4B85-AF36-25634ABC6E8F","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":"Q1041788$938232A3-CEEF-4D67-B45F-89FE47D3DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f106bef306e512c37a33cdbb2d55cc0b148f9472","datavalue":{"value":{"entity-type":"item","numeric-id":4454845,"id":"Q4454845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$626613E8-BE27-441B-8F05-A69EABFC2AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a1874d29ba2e2031caaddcde53605d8fb51d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5394153,"id":"Q5394153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$36F63F74-F9E0-450F-B5AB-EF6DEE3FE9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8d6fe643120eff099e5038d750eccd67fd9c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$E5604053-1DAB-4419-9AD8-8B86734FE9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$828BC073-E405-4CCD-B816-EA506D8EC354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$ED2F2D24-3C08-4838-B7F4-ECB61C160559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$54C64991-52B6-4FA2-971C-B8B860C4DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041788$4FBE3F4F-7D04-43DC-AB7C-F0E25531F59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a941267b6fa0b5c14b323b21f25c7ad6d942ffb","datavalue":{"value":"10.1016/J.IPL.2005.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041788$DAB4C9D7-0136-4C92-91B9-2AC498F44F8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c46b1718ed11c38abd904c591ba133b62e381f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394153,"id":"Q5394153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce917e50641b4cd6be9ac824b4f05e68ac36d0f","datavalue":{"value":{"amount":"+0.8453296422958374","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":"Q1041788$0C1DE382-A7B9-4F8A-93C8-85B7BF7BCD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0195d1f54e620341c9e271af93c17d1399b0d0d","datavalue":{"value":{"entity-type":"item","numeric-id":5480638,"id":"Q5480638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd92bd94b2db82624901975dfccb23d2c188597d","datavalue":{"value":{"amount":"+0.8148887157440186","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":"Q1041788$3647E027-6DDD-4B79-9DEE-C6014A2F25CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893dbf29ab7b8ffbe7566d1d91dfc549260511eb","datavalue":{"value":{"amount":"+0.8123580813407898","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":"Q1041788$BC74D395-396F-4FAD-ACBF-CDC784D796C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bd2d7b52cf6b6d4b643d4fb4434a23d0ea7ac8","datavalue":{"value":{"amount":"+0.7943227887153625","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":"Q1041788$116A2F34-8538-4643-883C-405B2A37B564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e0cae42710547ece2a30a546fd9950b325296c","datavalue":{"value":{"entity-type":"item","numeric-id":3971269,"id":"Q3971269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281103f099b1f88822f203a7d406d52916716fdd","datavalue":{"value":{"amount":"+0.7751299142837524","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":"Q1041788$54062E42-D186-4C4C-86AF-9671F1E96D85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of hyper-resolution via the semantics of disjunctive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_hyper-resolution_via_the_semantics_of_disjunctive_logic_programs"}}}}}