{"entities":{"Q3495673":{"pageid":5525573,"ns":120,"title":"Item:Q3495673","lastrevid":55937839,"modified":"2026-02-21T07:56:38Z","type":"item","id":"Q3495673","labels":{"en":{"language":"en","value":"Higher-order Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170133"}},"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":"Q3495673$96480FCD-60E1-4716-A2F3-31C519360DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea77526fbe096d23ac2a1c85241b058eb41f1fcc","datavalue":{"value":{"text":"Higher-order Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3495673$436F48B9-4B9F-4762-A148-B28E7142D2B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70fe14d962fbc04a86097da9b70d9a6084aefd61","datavalue":{"value":"0711.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$29A08675-0A1F-46C2-B319-94EC9544C5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a805fbf9a622c7c7b9b3e45357f82e59958ba1d3","datavalue":{"value":"10.1145/96559.96570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$EABBD556-34CC-42D8-B2DB-D0857D9E111C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495673$9454FEFF-0915-450C-B210-BDFBBEA4D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495673$DC0FB184-454F-46AF-8DA0-FBB21FAEF2F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495673$326FF3BD-1BB0-418A-B8A9-5D136AEAB486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3495673$35DE2B96-42BD-406F-AE48-15B242AAAEB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3f27674e90ec202b5ed61790aeb49469548e68","datavalue":{"value":"https://repository.upenn.edu/cis_reports/847","type":"string"},"datatype":"url"},"type":"statement","id":"Q3495673$DA660A99-7541-493D-BBE5-13EA967A8D25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$5F4D5B8E-A407-43B9-8CA3-1AB807E0B4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$953DDFDE-B8B6-4016-A349-F57099954A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$54D14C61-2DF4-466C-90C9-1ADAD70F0E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97d234ad5b438b28c6220f199eb66333672f097f","datavalue":{"value":"4170133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$210A8FE6-0ACB-4C0F-A0FD-E875C7119B56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495673$4F68857D-29C8-4843-92CD-984D1CB63B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495673$33314FEB-D3DC-4742-B732-6A30B2BBB875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495673$143B0B18-2A6A-4535-A805-D19EBFDE3A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495673$A70E792E-C8A7-42DD-82F7-8CF7F89E8E0E","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":"Q3495673$76A52613-9E56-4F22-81E7-A6E82B2276B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9d00fe3e32ebbffc2a5e1c553d12019ba934907","datavalue":{"value":"W2169526198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495673$1100F4F7-21C9-4AFC-BB4C-446A5FDDE930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d271e79e6d12938e8f97d86c428fc5c6a11adc76","datavalue":{"value":{"amount":"+0.8667159676551819","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":"Q3495673$79760340-6943-4818-B2A7-307C1F6CA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0486f4f34bd14f1100910ca9ed25bbe013078e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1349686,"id":"Q1349686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b431f7263bdf5233e0249d8df3eedb9ba5b33d2f","datavalue":{"value":{"amount":"+0.864061176776886","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":"Q3495673$C60CF3EB-7331-46AE-B8A9-4909E334D929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e8c01e3fae9eb1b924ede618a16bfffb43f92d","datavalue":{"value":{"entity-type":"item","numeric-id":4720772,"id":"Q4720772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4abe8a37d9584938a2ef98012d62fb19ff62f8","datavalue":{"value":{"amount":"+0.8413265347480774","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":"Q3495673$B0333A70-E7D7-43DC-AE50-DA5D2D6BBD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3495673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3495673"}}}}}