{"entities":{"Q3617432":{"pageid":5647338,"ns":120,"title":"Item:Q3617432","lastrevid":87444974,"modified":"2026-06-04T11:42:00Z","type":"item","id":"Q3617432","labels":{"en":{"language":"en","value":"Analytical Inductive Functional Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531081"}},"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":"Q3617432$BA7B4C1B-3B9F-4CE5-ADAC-99E96EFCBC1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af2e597be027312aaa32b23f515f9702d21de76f","datavalue":{"value":{"text":"Analytical Inductive Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617432$ABF4446F-484C-4D82-98CB-D3E4F737667F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26876c7f1522fc4fc0656a91e6da6c8113b2a50f","datavalue":{"value":"1185.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617432$3875077A-AFE6-49A8-B030-ADF588D96DD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27feecc6229e4f30d7f175094c5caa61b64404d1","datavalue":{"value":"10.1007/978-3-642-00515-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617432$0063537D-D040-48EE-BC90-7E63D1D0D95B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c95eadbf326d38a14162a8a4e324657a8c33b3d","datavalue":{"value":{"entity-type":"item","numeric-id":2864517,"id":"Q2864517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$11C4BBBB-EDD6-4184-8C47-DB38EFB81E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$957CC621-0242-4EED-A82E-77074044BA61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617432$F1B9DCF6-AB53-460E-8AAE-ED1A7F5614DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617432$BEB3F830-74AA-467B-859E-E47CDE607D22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcce89fd436d06b62ac1d5330f3e0bbb5b4d5e45","datavalue":{"value":"5531081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617432$9747BBEE-D151-4AA7-9246-574C6649E152","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$38FADFE2-3EEA-472D-B079-ADF33331746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d852a84c9cc55d58a84ae8f696c1b0df5576bff","datavalue":{"value":{"entity-type":"item","numeric-id":36447,"id":"Q36447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$83EE1516-A41E-4B1D-A07E-A8F9ECAB108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"342fdabc69326a544faa12b6114a355200ce2356","datavalue":{"value":{"entity-type":"item","numeric-id":36446,"id":"Q36446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$77BBE9E8-2E28-4E44-BFCA-190F4F7760DB","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":"Q3617432$6E43612D-9A57-41BD-992E-FB70252DBC6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d902290f239d7fb0c7a8b40f96c42c8abf3b8d42","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00515-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617432$926D5A20-FD02-4D93-8E2F-65DE63E5127F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9980766ed3395b74068e106f40a46ae79ff9ef1","datavalue":{"value":"W2153618117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617432$8B84E6F5-7933-4C6A-A1B0-CF0E8CC4F9D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$B9053809-6716-4B4F-8278-EF91C0F87935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$D5A7AEFE-CD3B-406D-B977-04914986A393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb28bb4c6d355783334e1ae2916b20c8aa5033","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$720D6637-071B-408B-8967-42991CA2797F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ead37821177203902301c6fabd99f318117bd","datavalue":{"value":{"entity-type":"item","numeric-id":5302887,"id":"Q5302887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$FAE35BEC-1EAB-49A2-A59E-198CF2AA883A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$CDE94E30-1F21-45A5-A266-41AD76E9BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d527f98f03e28d57efbc8afc06c0b8a7448889","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$9ED092E3-D2B9-4C03-B458-45E8BE68BE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$07E49569-8D1D-437E-8EC1-7EDDCAF15D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617432$B9EB77E8-097E-4363-B437-8351CDF1C442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a6177aa920b46e67711b0d857846df95488667","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5dbc12cdcbd38e278a746330bd7fbf8a7a7a10","datavalue":{"value":{"amount":"+0.8501077890396118","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":"Q3617432$53581294-54D5-43AD-9B36-BC8788045702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87568fde743e8e9cf3870dab7ef17115c53f33f","datavalue":{"value":{"entity-type":"item","numeric-id":2864518,"id":"Q2864518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351cf25f832e79c9c5aeac399a50e1b76beea248","datavalue":{"value":{"amount":"+0.8228862881660461","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":"Q3617432$8DFF2566-C1AB-4899-861D-47E946BC3713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71453e33b80d7a06f62e5f0a260a43a89a2dcf05","datavalue":{"value":{"entity-type":"item","numeric-id":4808703,"id":"Q4808703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73a2bd0dc7bfc143ada4fd4c31b4be009a5ef02","datavalue":{"value":{"amount":"+0.7864280939102173","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":"Q3617432$6A29A1A2-BBC4-42EB-A645-E64C9D6FA35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3986cdc9327bd39118671b05a250feec1b689ce","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b031cc89c51618c0ccf181a89296a0860e9856e","datavalue":{"value":{"amount":"+0.7678979635238647","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":"Q3617432$EBF445C3-E44C-4CEF-BF83-3016FDAEC910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322b27a20091d26cfc6e88b88456330829109892","datavalue":{"value":{"entity-type":"item","numeric-id":2277829,"id":"Q2277829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0268a465362924424b543c0edd01274dc7b2e5c","datavalue":{"value":{"amount":"+0.758545994758606","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":"Q3617432$AA1FCE20-3E81-4DB4-94DF-58896DB62692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytical Inductive Functional Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytical_Inductive_Functional_Programming"}}}}}