{"entities":{"Q3751042":{"pageid":5780948,"ns":120,"title":"Item:Q3751042","lastrevid":55937836,"modified":"2026-02-21T07:56:36Z","type":"item","id":"Q3751042","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3988745"}},"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":"Q3751042$8F7F9BDF-B24D-4450-A25C-149D01FA57D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e19bb31466fc24decddce9d5533a74d39554982","datavalue":{"value":"0611.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751042$D2978E2D-7099-4FB3-8E55-13C3E35D6804","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":"Q3751042$E993AF69-9146-4219-830B-AFD8E5DC8DD9","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":"Q3751042$03095A26-4929-4183-B03B-468A5833B5A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3751042$EAAE0283-D4FD-4369-89AF-A2ECFDDDA03C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751042$F1B88FE9-D93B-4C06-A360-81B2726CF5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751042$540C4B7A-9A99-45B6-947C-5BD045748F68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7170bdee4b0141c6aec1e40843c3bb1629896615","datavalue":{"value":"3988745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751042$83E89420-43F5-4BB7-A676-CE90E7A0D203","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$B1BE00D7-C482-420F-A708-6ACEE42B52A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2726a3e8aa3ed31b3adb289921bbfb7ed1a997ab","datavalue":{"value":"Horn-clause programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$09EA59C2-F52D-4D54-905A-9DF3E1DCC18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5455726d950304b536b058c48d938b13e4c2b991","datavalue":{"value":"definite clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$D7F36BCC-F3FF-44FC-AECF-FF0A1B6B32F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7875d82d74d17165454e957ea6880a0b1984d7f6","datavalue":{"value":"PROLOG-type interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$CAED3522-0299-4CFC-A29B-23C9E68BFDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$40BA2625-6567-45B8-BC5E-F9B4E61AF96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751042$F9EE428B-4BA6-40AF-AF0D-635F954380EC","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":"Q3751042$009BED4C-6C1B-4691-A1B3-19D4BEF5D8FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"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":"Q3751042$7615DE58-02A2-499B-928C-A5DEF64BF9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23c68568ccdab2f69246a1a1cd7cff5d21c092f","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2fe71e2fc6a6baddf734ab285bf876b05144fe","datavalue":{"value":{"amount":"+0.8134594559669495","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":"Q3751042$9A7CEBF3-970D-495F-993A-E39D5CFEE4D6","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":"19d1427abdc7c6ca9d1b715fd8f7a43ada6f0abb","datavalue":{"value":{"amount":"+0.8071140050888062","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":"Q3751042$FF38C229-04A3-470E-A59D-F06F1D1B88B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7d8f0d9eb1270022728d705e1af2200482602f","datavalue":{"value":{"amount":"+0.80394047498703","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":"Q3751042$B0699A4D-EC38-461C-B3C2-AB7E9853F7C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3751042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3751042"}}}}}