{"entities":{"Q2628299":{"pageid":2639042,"ns":120,"title":"Item:Q2628299","lastrevid":57965610,"modified":"2026-04-03T06:42:16Z","type":"item","id":"Q2628299","labels":{"en":{"language":"en","value":"Operational semantics of resolution and productivity in Horn clause logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725119"}},"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":"Q2628299$32D67640-E31E-431E-B877-A8862E612734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79c562a5e5c629743bf9549407c2d323ac614eab","datavalue":{"value":{"text":"Operational semantics of resolution and productivity in Horn clause logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2628299$E344A9CD-AD70-4EE5-832B-0278FBCB60D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dc45a1df24197941699b949759e328738bf4f99","datavalue":{"value":"1362.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$BEBD56B5-A73F-4FFC-86AC-8342F73966D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b615b898de6efd0f31bf76761f7533501cd79f0","datavalue":{"value":{"entity-type":"item","numeric-id":815359,"id":"Q815359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$8CCA0657-C6BF-4407-A21D-D11089FCCFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$B04183EF-CA21-4D15-A299-B22DCB2C4C14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$AAB8B763-1AD8-4080-971E-40F48B1CCF6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2628299$E8326BBA-92CA-47BC-BB6F-F02ABDB0AF3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"862196dd895acd05c984178a8baccef5e582756c","datavalue":{"value":"https://arxiv.org/abs/1604.04114","type":"string"},"datatype":"url"},"type":"statement","id":"Q2628299$7315114F-4D5E-4DD2-9120-8F3CDF133D37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$9DCBB283-F2D7-48F3-A631-A3856FAF4A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$EF7F0994-5C4A-4AFD-9943-7163BA476828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$992AFE58-C696-4BDC-B54B-75234258FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$B254C6C4-49F0-49A3-8F75-299A30A219F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$9E2A02FE-2CC5-4BA9-B35B-B7DEB8B284D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5eb448260884bd69639004e5638af295d5653c","datavalue":{"value":"6725119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$D6AD7CF4-D721-4E36-B657-9B127AD46A49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$7BCBD740-41DC-46F7-AD9D-F98F0DADCFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$2AA88F81-9077-451C-B0B7-ECF9843FFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3f7ff6a86072c50e90104de323066f50a120a1","datavalue":{"value":"reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$85100DF6-6E55-46FD-8FD0-4CB37D220271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c22d62f413dc5948c4a463101cebe7446a7a71f","datavalue":{"value":"structural resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$AF351E9C-609F-4E3B-819A-E99C95A741EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$647D4955-5B77-46B3-A12C-FD406B025F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0f5f11f961902b6d0dfee3acc1de077e9bea97","datavalue":{"value":"productivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628299$1069426F-155D-4752-B988-2839EFC23F2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$678B4AB3-9C6F-4280-8DC8-1A672A902A76","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":"Q2628299$256144B1-7F7B-4E13-9FC3-821B526A1899","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87b8ec69cf3e025897daf88bb2536b52d9a81cc1","datavalue":{"value":"Q59614631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$80B3F711-0086-4853-BD3C-E4381BB55AA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f881c6259ad28640a238b8540bf102f409672bb","datavalue":{"value":"W2507158969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$C1719BCF-7EC7-4B5C-B5CA-27D453622FD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$47C3BF83-2C6D-4776-8D75-6ED31ED6604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$5527B23F-939C-43C4-9E88-E9662A645710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720317f07a75a6f52d17c91804e0bddc91fd12e7","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$95834BFA-0ADF-4D09-9FCE-5792F72017A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c11fde44696795cac33cdd0d688fb5f169e5740","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$F059DD7E-109E-4C1B-A816-2CE703799A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$777629B3-ED28-4725-9599-2CCFE835B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$E9B29B9D-9644-4F1B-9224-F7B61AA8DA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b056a64cb29c05e02357d656db677c46d33b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4631184,"id":"Q4631184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$54238FAC-54A0-40A6-A859-61902DF7D1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8fc5b07d88fd354ded6b197cb3b095dd6cc909","datavalue":{"value":{"entity-type":"item","numeric-id":2409734,"id":"Q2409734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$3E6775D8-8DCD-4048-AA47-0C1DE373FA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$528ACF47-B1B7-4D9E-927C-8BC7DB4AE5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6ddc3048ca9b0d59f5ac2d8947832396faa644","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$85B5C666-E76E-4D54-9661-C3993C34868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$D2805B2D-FEFB-4AFB-935E-DDB3770767E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$50C917E2-6C15-468C-9CE0-C33D2191C949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63899175be9ed3802d3d3087d00174f09aa5f497","datavalue":{"value":{"entity-type":"item","numeric-id":2936783,"id":"Q2936783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$1F8ED8BE-49FA-4422-9D88-A9C149321B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$93D2C053-0963-479B-ADD2-690F930FF907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db5c740654841c88eff53691dabd54ddd6dabcf","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$21287CEF-F7F3-47D8-93D1-CDE83511A06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$A864B756-18DB-4E7E-846F-7325C557D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$7B699B4C-1A21-4087-A10C-2A5A2557FBA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f946410307aa7870b012d2748d71db4c759392","datavalue":{"value":"10.1007/S00165-016-0403-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$122C0DD5-84A6-445B-93B2-257453034C32","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"411eb7e33d5f41e6450757a6f84c885eec39c899","datavalue":{"value":"journals/fac/FuK17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628299$2BD1AA66-CC59-46A4-B93A-E87C27F1D818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95184a3deb447e059c5a798e81c8c44969fcd365","datavalue":{"value":{"entity-type":"item","numeric-id":5743587,"id":"Q5743587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c85d1bed48ad39c62ea6af5f227b2bca523c1d","datavalue":{"value":{"amount":"+0.7889044880867004","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":"Q2628299$A65F8C15-FD41-47FA-9FDE-71184D9D0724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824f6dafbb9cbb041dd76d97b7a18cdacf2253d0","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b0968b0eb18f56125ed236d68aca3b7e633fd5","datavalue":{"value":{"amount":"+0.767899751663208","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":"Q2628299$1D4EB951-8DD6-4041-B491-FEB2204B483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed700cd70fec831718e2475b7391b61f9dc31ef","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6014a61832257d6f900fd273084389faeae92ee7","datavalue":{"value":{"amount":"+0.7547289133071899","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":"Q2628299$33B1B15B-2847-41A0-BEE6-58A086F35F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb86745d967b9e3db6817ce58db28f0a3188033","datavalue":{"value":{"amount":"+0.7532856464385986","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":"Q2628299$78591D83-0C13-4A60-9FBC-C445A2942F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a11c27059cb286944575068a410597b5d41073","datavalue":{"value":{"entity-type":"item","numeric-id":1188938,"id":"Q1188938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb86745d967b9e3db6817ce58db28f0a3188033","datavalue":{"value":{"amount":"+0.7532856464385986","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":"Q2628299$25BFAE55-6C1B-4024-BB70-FA7A10909096","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628299$A577D73E-C0A6-43CF-97B6-EE5B550053F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2628299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2628299"}}}}}