{"entities":{"Q4023582":{"pageid":6053347,"ns":120,"title":"Item:Q4023582","lastrevid":89111849,"modified":"2026-06-04T16:23:10Z","type":"item","id":"Q4023582","labels":{"en":{"language":"en","value":"Deduction and Declarative Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108001"}},"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":"Q4023582$10555818-6EB1-48E2-B06D-082AF1E4A845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c51444229f4522bff33608856ab59aff2f50360","datavalue":{"value":{"text":"Deduction and Declarative Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4023582$07F5C279-7D19-42CE-BB65-D7FEDE634A77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c71aed96eb5b2949eeb58407abdd66e96d9fc1cf","datavalue":{"value":"0757.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$803A181A-88A3-489C-B2EC-8239D2D67A09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38aed2b289084b23ce5b66cf5ed30f2641a09ac1","datavalue":{"value":"10.1017/CBO9780511569876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$58805D17-A0EE-4EA5-8D18-B861F0D69E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48acc9bc356d9816f068c98eeb4810b85e851886","datavalue":{"value":{"entity-type":"item","numeric-id":757076,"id":"Q757076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023582$5500B428-E10A-4722-9E6D-67A5586411CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023582$0EC5ED80-7647-4FBA-820C-2F7B7380FAFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$14B87239-AD9A-4C80-A275-B70CA821A455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$0C7BF58A-1754-49A3-816F-1B1516E3FB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$0D7B2710-4568-4816-B322-A63D8789CE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$8C230AE6-AEC7-4E9A-BD1B-D51AAA091F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$3E6737B3-2EAD-4D18-85B3-C5AA2E805A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34fae26811a62cdb2cd85900408a780075035f29","datavalue":{"value":"108001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023582$8BD759EE-39B0-49E3-8F99-109CA8BDEBB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023582$13F71371-1287-47B8-A2AA-80C63D25CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023582$94F03131-E2DD-4236-A833-CE243B644EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023582$4E0B8C18-B024-4C45-8DC9-602A73B79D4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023582$9C8948FD-FC0B-4253-B33C-22DBFA601F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08f6a03354ec80d0990a75286ee48f06dfcfa1f3","datavalue":{"value":{"entity-type":"item","numeric-id":34506,"id":"Q34506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023582$632A903C-DC1D-47AD-829A-0BD6135E0890","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":"Q4023582$DA16249E-3C91-4D29-BD62-1A199018DB69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb011cd9eb19b2298944da1885c553fab608aa5f","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1eb5483966b422f94f92eed02ed9f63a453df73","datavalue":{"value":{"amount":"+0.7536590099334717","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":"Q4023582$1DA10349-CE54-4FA3-B9A5-66E4C952366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3dc1abba343650c0189a609cb541cb9f53e71","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f33ee40d2cea7f5e87832a18f463bd97f190a50","datavalue":{"value":{"amount":"+0.7473046183586121","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":"Q4023582$A94B2C41-D875-406D-8671-9DB1B8B7E1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a220dfb8cae3643bd534a3da77ffb94fa9a8a709","datavalue":{"value":{"entity-type":"item","numeric-id":3690195,"id":"Q3690195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5fd3635e81242a81fc77b75f601b753087c54c","datavalue":{"value":{"amount":"+0.7393004298210144","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":"Q4023582$E2305466-FD2F-4DA9-B781-ABC91AEFC298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd913a15c22afaf1026edaff1f0fc8a322bba9f","datavalue":{"value":{"entity-type":"item","numeric-id":4855375,"id":"Q4855375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1abf4f6d866f7ec2979d1194dc0745cd38be8b5","datavalue":{"value":{"amount":"+0.7330929636955261","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":"Q4023582$4F3538F6-320D-42CC-9A61-A8D3F825600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58315503ea4ff1697f03525022a99647032bfefd","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1abf4f6d866f7ec2979d1194dc0745cd38be8b5","datavalue":{"value":{"amount":"+0.7330929636955261","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":"Q4023582$659B6B60-E8C2-402D-9E47-AB4846D2BDA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction and Declarative Programming","badges":[]}}}}}