{"entities":{"Q3384904":{"pageid":3395607,"ns":120,"title":"Item:Q3384904","lastrevid":55395634,"modified":"2026-02-17T15:29:21Z","type":"item","id":"Q3384904","labels":{"en":{"language":"en","value":"Towards coinductive theory exploration in Horn clause logic: position paper"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447759"}},"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":"Q3384904$C5734BD5-B7B6-4E01-B788-CE691F839807","rank":"normal"}],"P16":[{"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":"Q3384904$FCE05C4F-E23B-4F59-9C8A-2A4FD6E49DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0e9a614d0a09604bad86ad8596b5b9752793a5","datavalue":{"value":{"entity-type":"item","numeric-id":437283,"id":"Q437283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384904$5BBFAFC0-85D6-47F9-8C49-1FECBFC958F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384904$F799DB89-25EC-4908-80D5-598085A03A78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e68461d97f6113548e460e2125e26a95e3dcaa0a","datavalue":{"value":"https://arxiv.org/abs/1809.04771","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384904$E9278AA7-D01F-4C3D-9936-627E4A5D602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"24c68ac31eb9be7962ceef8f8f22f737c783c267","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2018.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384904$114F0117-0DD3-4868-BF93-B5B2A8D75C99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384904$EE83FD50-9043-4E45-8B96-4D403AF267E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384904$4F536A05-2511-4A93-B974-5573C3591632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc99e444954e0012e45590b5636cc70a11ad764c","datavalue":{"value":"7447759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384904$B1842D44-C642-473A-B946-AAC108699A99","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":"Q3384904$5C827306-728C-4A14-9FCB-E6851143DFAA","rank":"normal"}],"P223":[{"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":"Q3384904$EED5A611-964C-4904-8AE0-7998951196F9","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":"Q3384904$F3DD7692-9628-4AD5-B8F3-F4783D398053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381d30406a5db177bd61df587b5b0cf10aa2d35b","datavalue":{"value":{"entity-type":"item","numeric-id":4592714,"id":"Q4592714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384904$46E5CC74-F9E9-4E12-86AC-67A0EEFBD2BF","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":"Q3384904$7C5BE227-C9FD-4F43-A7CF-0626CF295B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384904$406D604B-1287-40E1-9750-0B9E2EAA078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9901a00b49868594909cfecc127baac906dcdfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384904$AAE810ED-9E03-4FFB-B85C-95E299850F0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3504f4318cb957c7ba6dd13732adbd83dd719c1d","datavalue":{"value":{"entity-type":"item","numeric-id":6070807,"id":"Q6070807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc307efc3f0ed08e17053b1ebd6767f39721d1f7","datavalue":{"value":{"amount":"+0.8640665411949158","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":"Q3384904$605AD067-652A-4550-A1C0-5F0776473A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba564a5605c63beab54050a1319c8ae631617eba","datavalue":{"value":{"amount":"+0.7807784676551819","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":"Q3384904$CBA4CCE3-A0F1-40AE-9AAC-B21A087800F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a804c3c76a1bb0c8ec52d4f0a6c8fbcfbc284417","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324fb356f951a66579941ed0c8ec99c569d4c9ec","datavalue":{"value":{"amount":"+0.7733399868011475","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":"Q3384904$842274C3-0641-4030-ADFF-616634001150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7bbc5319be3ce3acd80f7f27d9f71b4e25155a","datavalue":{"value":{"amount":"+0.771671712398529","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":"Q3384904$3758AAF7-539B-4787-9D66-DEE5E284D32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4f9903314155d75bff5f10a98dba7de75733","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb17a9522d0fc771cc210656e21e38daee7794b","datavalue":{"value":{"amount":"+0.7637671232223511","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":"Q3384904$26744C24-E175-4179-B273-092CEE4FC6C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384904"}}}}}