{"entities":{"Q5053012":{"pageid":7082589,"ns":120,"title":"Item:Q5053012","lastrevid":100265918,"modified":"2026-06-05T21:43:27Z","type":"item","id":"Q5053012","labels":{"en":{"language":"en","value":"Logic programming, functional programming, and inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623950"}},"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":"Q5053012$BD8E87C2-F054-49D5-BBDE-4FB6FF6B58BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"553f30909359645fcc50b60c62915ea96cf8801b","datavalue":{"value":{"text":"Logic programming, functional programming, and inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053012$5B948E53-1F0D-40BF-AEE7-D08B15EE7620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b7f93c898591427ed035b144b635ac434b61812","datavalue":{"value":"1502.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$9697E92D-B220-4EE3-A9EB-DBDBDDF2E20D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053012$A7C14271-7BBE-4784-82D2-204002A0A1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053012$D273CEFB-1CC2-4256-933E-3CBCC2338A4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d0cc7ff4512cf9a0cc06270599598d5d99e58ba","datavalue":{"value":"https://arxiv.org/abs/cs/9301109","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053012$1C57AFA3-56C6-44EA-9B2A-553F1CB5C63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$8CF76FC2-B5A6-433E-B89D-5364B8AFD5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$F7E399F6-25F0-4BB7-843C-B1C8B3E2840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$11E14129-461B-48C1-B763-BC26F2B51DA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76d4ca30d5068d69f3c51828d9177e414cceaed2","datavalue":{"value":"7623950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$3AFD29AA-EAAD-4451-B872-3C88BEBBDCF0","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":"Q5053012$ABC6EBE8-ED97-4F34-8415-DB89DB242014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b261fcae7595adbe0f65a847fa58bb9ad585867","datavalue":{"value":"W1529790367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$69303845-7FF7-4FFB-A80F-D49B4F857F93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb64a86134ba20c85abe06f32156e79fcf53a1d7","datavalue":{"value":"10.1007/BFB0038699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053012$A5635C3A-ABCB-41DA-8DDC-1F7F3EDB31A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ede6ba0c0e8d28e91c6e9c4c3425c22e4a23511","datavalue":{"value":{"entity-type":"item","numeric-id":3339249,"id":"Q3339249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13841a38c618892c784fff9e2887c86a33935096","datavalue":{"value":{"amount":"+0.8097100257873535","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":"Q5053012$2C2E4D69-1BD1-44C1-9436-89F4C01D8C8D","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":"5992e94d6fd19f96febc1ca77c624fcaa2fd1d96","datavalue":{"value":{"amount":"+0.7987598776817322","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":"Q5053012$5E52CF50-920F-435B-8B6E-8D2DBB165EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268b6ea4d6cc9d72949b13664da393fc8089d860","datavalue":{"value":{"entity-type":"item","numeric-id":1079941,"id":"Q1079941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6b259e1d9e5662335178abde148db86ac4b693","datavalue":{"value":{"amount":"+0.7962175011634827","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":"Q5053012$B3853815-4320-4B93-A478-D274E5145F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f72cb1cad7167a1ebe7005859e4a6cdafb09c4","datavalue":{"value":{"entity-type":"item","numeric-id":2762632,"id":"Q2762632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a1e15d26f102f371957330d961aa69a3863443","datavalue":{"value":{"amount":"+0.7831198573112488","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":"Q5053012$E8EE318E-5973-4EDA-B9DF-FDCCB2E54969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8b717b6736ec16f81eefb8a18ba65cd830c207","datavalue":{"value":{"amount":"+0.7814362049102783","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":"Q5053012$49528820-8584-416A-8F55-61559D5324DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming, functional programming, and inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_programming,_functional_programming,_and_inductive_definitions"}}}}}