{"entities":{"Q3789101":{"pageid":5819007,"ns":120,"title":"Item:Q3789101","lastrevid":52766459,"modified":"2026-01-23T11:15:25Z","type":"item","id":"Q3789101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053062"}},"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":"Q3789101$3269CB02-8685-4237-ACAC-8BD1C76F7604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"806d89f0f0a7b1e82af3da182681ac85f5523251","datavalue":{"value":"0645.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$19A1B208-FD56-4401-B9F0-C8FD1180403C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3789101$8A428444-482D-433B-8DD9-E3A3BFC4A098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$48097CCD-EB2D-411C-8FFC-E85FA4A54A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$979115CC-F15B-4230-AC80-C528421D5744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$335B82A1-4D4C-4D60-AF9F-B49E2F7A70CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$94148943-7EB7-4A75-8895-6E1B801CE663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a17f0b9907881443676becd9790e149c6096fac6","datavalue":{"value":"4053062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789101$2E71F954-8093-408A-B0A5-B000B00396B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$66272877-A919-4696-A43F-3C2CAA3926BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$02370B7B-5030-4C61-B43F-0532ECD70A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$C81008BD-1541-43A0-8FBE-0CB9812E22F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$FCB54709-8805-4621-9683-138F9077E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$F7F1CCEE-853B-437E-9BF9-D4732A32EAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11f047775f97543fa6e2240c7290062f08d0d3d","datavalue":{"value":"\\(\\lambda \\) Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789101$1013658E-952B-43FB-B7D1-5E61959B1A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789101$05B520F6-3709-4CE9-818A-1FC20F56463D","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":"Q3789101$EF1A0B65-7F4A-4024-9A32-EC69E2880B85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789101$C2990495-F199-446B-8CBD-87A8F19789F6","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":"Q3789101$0F034107-F479-4E9D-BD88-16DA54D17022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cacab0c99e252fb36634946982fcbf0f931b80","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61aa285c53465db46257feb9ba3d1df794ab07b","datavalue":{"value":{"amount":"+0.902679681777954","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":"Q3789101$3AB42F02-96FB-4A89-A095-3C044ABBD799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a428679e11114c36ebb37462059642b44bb2ea72","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ba4d9cba5c81cb1fa8981b33d1aa01c73444d1","datavalue":{"value":{"amount":"+0.7857029438018799","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":"Q3789101$A8E8CC99-884A-4567-93C4-FF55F6097112","rank":"normal"},{"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":"54a3e06db71cd04976e5e8607e8ac0aab9222944","datavalue":{"value":{"amount":"+0.7774052023887634","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":"Q3789101$08B808B6-8A38-4BBB-AF72-5BC5D61C6465","rank":"normal"},{"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":"061405a7e53d4d861c45a22f1657a6e3e7413e0f","datavalue":{"value":{"amount":"+0.7736048698425293","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":"Q3789101$E1F5C081-86B0-46A0-B2A5-5F7B22484B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f927d9d0c6ad6f80c6fae0bffd5f4d8795709b1","datavalue":{"value":{"amount":"+0.7698343992233276","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":"Q3789101$EAC0EF21-F2C2-49E5-90CE-4C4CF795F25C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789101"}}}}}