{"entities":{"Q898781":{"pageid":900629,"ns":120,"title":"Item:Q898781","lastrevid":65228592,"modified":"2026-04-12T01:10:23Z","type":"item","id":"Q898781","labels":{"en":{"language":"en","value":"Logic programming as classical inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6522459"}},"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":"Q898781$918F10F6-6FF4-4E14-83CB-12DD39610866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cee186e8d2830b866446f1ab2e2514e6aff85ce","datavalue":{"value":{"text":"Logic programming as classical inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q898781$9F90891D-8FCF-46C6-A6C3-31E88AFF6A63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$DF808CCA-0DD8-42F0-A55F-06F88362F2ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0b0bf87fb6106f38722f33b49fa61bb09ad1b48","datavalue":{"value":{"time":"+2015-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q898781$31D72722-7ABF-42B5-AFA8-E64C167BE68D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898781$1B137095-DF08-408E-89EB-2A7CC94315BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24ae7aa023758db8e17bb1961ef535b7fe3f1bb","datavalue":{"value":"6522459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898781$994EBE86-48AF-47D0-9884-58AA3EEDF1B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac25b4b3aae97068d7b120108318e50151b932f","datavalue":{"value":"denotational semantics of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q898781$7C5ABEAF-D4BF-4ADE-A942-9373A1FF9C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268d71c3569c489aa657899cbb839eb77c0c8e68","datavalue":{"value":"contextual hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q898781$76881A5D-2BB8-455C-AEA6-D7BD346EDC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff51aa820d9bb8dc14492d4b4ec40e88c513474","datavalue":{"value":"\\(\\kappa\\)-structures and \\(\\kappa\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q898781$36355953-621C-4E0D-8DAF-D5C6043AA7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d179c839211eda04974253101df0cae4d7dc14bc","datavalue":{"value":"partial \\(\\infty\\)-interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q898781$8D90C219-EDB0-4E40-8973-C2A22734918C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"894071b83b1ef278120be18cc53167ee5cc1e54f","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$BA8ED088-4B99-4ADE-8BF6-82621140B092","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":"Q898781$281E2B05-C4E5-4526-BF18-6A7F57488683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58b0c36f037ad8661e9ab73b4e24bb9969753561","datavalue":{"value":"https://doi.org/10.1016/j.jal.2015.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q898781$B2444575-FD48-4DA7-8C30-F763B2889E09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a7f338edb643013eed475cc3a1813862d567b1","datavalue":{"value":"W1122782392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898781$8E1A0D10-E3F3-4E23-9D20-CFFCB0A34EC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb240c2d96b404c86cd73082f8ce049836f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5618341,"id":"Q5618341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$1126B295-A56B-4181-94AF-ADF85FD32C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$9A24A64E-863D-448E-B276-02F63F744C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5975e694cb3c63a46e16ffc3da67560e2e34927","datavalue":{"value":{"entity-type":"item","numeric-id":3172888,"id":"Q3172888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$4A54EA6D-2E85-4F81-8A64-472C7FA0B1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe32678743702da3aba3528ca5afbd5df73bab1d","datavalue":{"value":{"entity-type":"item","numeric-id":1289107,"id":"Q1289107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$4ABCC2AC-4C5B-4B47-B820-4EE71C690152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e8740e208870b99b901eda211b81858055fae2","datavalue":{"value":{"entity-type":"item","numeric-id":4302840,"id":"Q4302840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$93551DA7-BDA0-491D-824F-94F5893A1294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$A4FC1F2A-F63A-4238-8D0B-CEE0A2402EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$F1A8D5DE-B994-4ABB-ADF6-48D4C40E36D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$B2AF6368-CA87-47FF-99FE-477BA7A79726","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":"Q898781$58D7B127-0ADF-49C5-B939-7FA0F605090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619f46634e99bfb6ac9e02e51a08555faedf7f38","datavalue":{"value":{"entity-type":"item","numeric-id":2851269,"id":"Q2851269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$65F988DB-C61B-4D76-A773-98D84768C300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$36939DCF-DEB6-421A-B855-41D912469406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$A9CA370E-0F47-4AAC-9521-C88D5F32539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$36A7236E-9059-414F-B799-E2CDCEBEBED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4e9ae009d5790d07b8fb9d4b94d739d61ef352","datavalue":{"value":{"entity-type":"item","numeric-id":1342215,"id":"Q1342215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$6878DE3E-B425-4EBD-B137-80EFF5E8B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c04db52c26e3a7770645d529262efe971133ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1199545,"id":"Q1199545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$38B14FB2-FEF4-456A-9B0A-86C011363CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$228E4DB7-86EC-4EBD-BDC6-EC8BB176FAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$E24A8053-F3F7-4FBA-8736-64239E1238D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77a3ff8625459385ea61719f35298b85a1580e","datavalue":{"value":{"entity-type":"item","numeric-id":3509062,"id":"Q3509062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$5023CB19-B6F5-42D0-BC91-2ECD5BF0EFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5630e02c8daa81884f563d404161514c148540","datavalue":{"value":{"entity-type":"item","numeric-id":4897703,"id":"Q4897703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$70B019B6-79A1-47B5-910F-AA49BF090171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$3D97426B-3005-454C-B5B1-4C2165862214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$9B38A49F-086D-4D09-ADB0-BBB77F4076DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a843337d5a4f5c3cb23ca2eb48f00e5448dba","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$EFCEC0AF-B606-40CD-9055-844E914A46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$231945CF-3DC6-48BD-9A15-DC1398CD7734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$CD357A34-8957-4E41-8685-C03CA13056A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898781$49B15E3D-643C-44EE-AD10-90A77D0CA486","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ea2730c78f8397fc3f5802c680dc01a223e9db4","datavalue":{"value":"10.1016/J.JAL.2015.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898781$21C72AC3-CCD2-4812-87E0-214931B56DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea411277b171eab4b181c18fa5bb525a9dacacaa","datavalue":{"value":{"entity-type":"item","numeric-id":4897703,"id":"Q4897703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f8312bab3c78cf7111ebba0757f97bae25d375","datavalue":{"value":{"amount":"+0.7962886095046997","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":"Q898781$46D8AD53-606C-405C-A3D5-4C692E4EF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaba4a23abbaa3de1534a3479e04bbcfe8b62e75","datavalue":{"value":{"entity-type":"item","numeric-id":4327844,"id":"Q4327844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d0c6ca27346d9745ac01f7ef42913b6126e10a","datavalue":{"value":{"amount":"+0.7813461422920227","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":"Q898781$36DFB61A-5B2C-4735-8301-B640D8350742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdd43e718730f6b1e223729bd2bbce05b349c2f","datavalue":{"value":{"entity-type":"item","numeric-id":2085572,"id":"Q2085572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b30993d026fd111e6133b56387fd7120a5f8ce","datavalue":{"value":{"amount":"+0.76910001039505","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":"Q898781$CE8B7E59-CB67-4E59-89A4-D19199B18B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb8fa0a12465c66630a4dcf2ec21b5d0e6810a7","datavalue":{"value":{"entity-type":"item","numeric-id":5738920,"id":"Q5738920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10eea18c0de13a2241e2f3dd509b8b6a2560d3f","datavalue":{"value":{"amount":"+0.7689389586448669","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":"Q898781$368A071C-EC46-48D1-93E8-1C434CC0C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee08a2115648bf6876f249bfe90f355eb3dfb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3126167,"id":"Q3126167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b535da571ae8da6c0f5758a4b3ff9ba693fb2f93","datavalue":{"value":{"amount":"+0.7662052512168884","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":"Q898781$9BC2ED7F-EF84-4F61-B08A-86ED90AA5E00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming as classical inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_programming_as_classical_inference"}}}}}