{"entities":{"Q420824":{"pageid":422591,"ns":120,"title":"Item:Q420824","lastrevid":61712142,"modified":"2026-04-11T01:08:33Z","type":"item","id":"Q420824","labels":{"en":{"language":"en","value":"Ordered completion for first-order logic programs on finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037793"}},"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":"Q420824$BE75C331-A14F-4B61-821A-513A57BF4870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03107696d8f6752d660d43caef891e8df49be50f","datavalue":{"value":{"text":"Ordered completion for first-order logic programs on finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420824$45651326-FAF4-440A-93BE-F3A6F5E3978E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb9133f26e74be4340af4a5d5ff6335ab6126b3c","datavalue":{"value":"1244.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$6F4E46FB-758D-4009-917B-6D2ABC42FF3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$71273072-5B8B-4715-879A-B36F45E27813","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420824$1B7C1B6B-A3C7-4998-BE11-FDA9B74180D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$BD607884-B58A-4842-B950-612335AB9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$2659359D-285A-4A58-BDD9-360C4187CF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$6499B29A-94CC-40A0-B28B-AE783AD6C823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$BE2F7B4E-6911-41C3-9470-4635F70A6AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$299F6EEF-3CA2-4D26-A812-7B13780524F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec15a11f6233d72789076c4322b8b8978e48c049","datavalue":{"value":"6037793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$9FF42DDE-CBA1-4B71-8A0F-28F433051AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q420824$8826ACD4-3F4E-421C-8B39-05B02461B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cab3df0c09899025979a15e321ca181e11be214","datavalue":{"value":"ordered completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q420824$93493183-2D15-4CA3-8E08-C6AB24444260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q420824$86D99237-AEE2-4C44-8F38-C2807968026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q420824$3C3FACF5-655D-444E-AFE6-49F31AC346BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$F672BFCA-7A37-4F73-9FA8-52C078301465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$D61A9B67-9394-47FD-93C4-10F023FE19B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$DA9E5B88-3E63-439A-97F9-F4B8D7F0C8A5","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":"Q420824$B72D4C14-2779-46D6-8CC1-730D381BAE4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dea7f4733f2f56a6faab02592e2adcc0c34ffa8","datavalue":{"value":"https://doi.org/10.1016/j.artint.2011.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q420824$7ACDD73F-83AA-4396-9A5B-C4B2C1A93CC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f596aeb4dc23a1f59f9af05beb0714dfd6292bd","datavalue":{"value":"W2014272228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$03E2978F-6ED6-452A-838A-31D240DF465D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$CBE1636A-C553-4B7C-B570-8AD7FD725040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd629ad2e798ed2231372ffa2d7c65803fdeb0db","datavalue":{"value":{"entity-type":"item","numeric-id":543631,"id":"Q543631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$E0512DD6-574B-4E0A-BE93-B9EA13BC74D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$1875F7B7-691B-434D-97AC-4C372E2CAA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eceb7b97dcc82d60974e861e87df10d0134415c","datavalue":{"value":{"entity-type":"item","numeric-id":3983046,"id":"Q3983046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$4B69594F-1157-44E4-9DA1-8314494A2999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$F61C586A-6952-40F7-8052-7274CDD84E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$E2EE87DB-B92E-4EC0-836F-DF243185144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$2D6E336D-8828-498A-A266-9D04702BDF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5da690f5f6b2ec4c4b7425e8a23fa64798865f9","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$AB847911-883C-4DBC-98A0-6B6FAB033396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$0BF7173B-5BE2-473D-B403-B52378E3ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$0E5B3AC2-E062-4A16-9275-C1A335C108FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9324592dbfa1f7e2277b45d2dba533c75ef452a8","datavalue":{"value":{"entity-type":"item","numeric-id":543597,"id":"Q543597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$F9066E3D-26C1-423A-A2CA-086857D2BFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$CC7099A6-753C-4555-B001-07BD36586F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$9317B88F-DF44-4C17-8393-F58CDF6906A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa056a4bae13deab186fe40f422b76ff6cd27667","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$FD62A8CE-1E5A-44DB-ABF6-0BE2BC677FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$AC1A7BFA-FE70-417A-9732-45F924E1B99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f16cd69884c174f6c7f46366177d5c18429ab","datavalue":{"value":{"entity-type":"item","numeric-id":5394121,"id":"Q5394121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$DF107BD5-0DC8-40AC-A30C-5B55C50DA3F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c8483483e338bb7c5ee40e70c6ecafd8bc18031","datavalue":{"value":"10.1016/J.ARTINT.2011.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420824$592BE149-10FF-4757-9232-52A0B5C69758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe802958b93f9666a3a19003b7d47b19062826c2","datavalue":{"value":{"entity-type":"item","numeric-id":3643131,"id":"Q3643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$04C02E74-2163-422F-BFA3-8ABC63B5F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$5BCFFAEF-1EF6-405B-A1F0-BB871BF590C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7551bf152405a58cb456e3287c72b5bb18d865","datavalue":{"value":{"entity-type":"item","numeric-id":897474,"id":"Q897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$7699C5BE-BDCF-4AD5-A1A7-311C18AABEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fd7fb82eeec64a3b0e9adc928454391eff44a9","datavalue":{"value":{"entity-type":"item","numeric-id":6049621,"id":"Q6049621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420824$8837CA93-34C9-4811-AE2C-E890D326EE3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b444d811ca67a52baba85f241953f58e3d21a3","datavalue":{"value":{"entity-type":"item","numeric-id":892233,"id":"Q892233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6467298e5a114b5d9235bb9e31cdc074728cb4","datavalue":{"value":{"amount":"+0.8631407022476196","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":"Q420824$D76E7B9D-F8BA-4A4F-87CF-DF6EB8608D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e44f6fb418b3227ba7e52f2449ef3a5051b614","datavalue":{"value":{"entity-type":"item","numeric-id":1680677,"id":"Q1680677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94d984d5f7cb4bdfd0928f615ee619a5008dd64","datavalue":{"value":{"amount":"+0.7983914017677307","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":"Q420824$2FAF67E4-684E-42CC-9A0F-704A8D6E2510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f78f59a048ac6fc714e5498e3e7f4fca9661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278207,"id":"Q5278207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62213a4b466b888a0750523674508175d3553de","datavalue":{"value":{"amount":"+0.7546035647392273","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":"Q420824$55123734-8938-464E-BCAE-89E1EA5A0F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c6f90dd4492d9275119c22fc53b50479fe1ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5398291,"id":"Q5398291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cc350b6a4b89f7de44cfd73b7a6def9803ae2e","datavalue":{"value":{"amount":"+0.7457740902900696","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":"Q420824$4C0EEFDC-70D0-4F98-92CC-F72DAEA56CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2226f416d0673ac716e3bc8e74166cbc37100e81","datavalue":{"value":{"entity-type":"item","numeric-id":4812969,"id":"Q4812969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cc1d84807ce6e980022770fe56c5fa6ac7c855","datavalue":{"value":{"amount":"+0.7456360459327698","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":"Q420824$13690C30-C3D6-4D4B-8CC5-E4A63B88E6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered completion for first-order logic programs on finite structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_completion_for_first-order_logic_programs_on_finite_structures"}}}}}