{"entities":{"Q3617690":{"pageid":5647596,"ns":120,"title":"Item:Q3617690","lastrevid":87445361,"modified":"2026-06-04T11:42:03Z","type":"item","id":"Q3617690","labels":{"en":{"language":"en","value":"Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535556"}},"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":"Q3617690$49B7F7CB-EBC2-4344-AB32-50DA079DA36A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a71c8d5ef86aecae3508ca0f18b8536de5a4393","datavalue":{"value":{"text":"Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617690$2489C948-78EF-40F2-B9AE-773ACF718C22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f67b4f04fd9fa3713d7f237b853bc3d26d8009","datavalue":{"value":"1234.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617690$F335C50B-5835-4C46-B2AA-9BA55167D417","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c655fdc48c00aacac9f962b3306548b6c2950399","datavalue":{"value":"10.1007/978-3-642-00590-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617690$29A7814A-7C6E-42C3-8651-C681023777F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8b4e778c280d6d8cb813f4d61e1c839d2cd798","datavalue":{"value":{"entity-type":"item","numeric-id":288809,"id":"Q288809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617690$70723098-390D-4EA7-9236-3CBB42EA4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617690$A3CE7D1B-9CDB-41CA-AD74-823B8B9BFFE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617690$49093BA1-F33C-41E1-AB0A-FF5F60354AAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617690$499722C1-E720-4D11-8368-A19E6DD9B6E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617690$761D6726-8F85-42F0-8780-D3EE4B41D18C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a7dedf88d1f6ee78258b27b6765d44aa77de65","datavalue":{"value":"5535556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617690$E6DC2105-0D8D-42B5-993D-6167F63FCAD1","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":"Q3617690$65FC9D4C-8543-4B5D-A258-94D71C911DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b182ab062ddf042da26463ae16a6c9502c2d4db","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00590-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617690$7555D7E3-D801-45F7-9FD3-CF3A60DD067D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"780c97c2d1233c85af2b6083afe24e9cb547e642","datavalue":{"value":"W1645062691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617690$480FBD17-6561-41E9-B395-E5E7D5C6BEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517c6abfb1afb7166ed314eba49ebf0437aa9b24","datavalue":{"value":{"entity-type":"item","numeric-id":2875221,"id":"Q2875221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e969ab5b159e55d53906047ba36468215964252c","datavalue":{"value":{"amount":"+0.8367940187454224","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":"Q3617690$2B32D70D-DFE5-4B3D-9624-64241ACC484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c87b88d27a4713667e6227a0d48b0127ed9e68","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b372cb05e7accc30a66d19aea1d9efb330aafb","datavalue":{"value":{"amount":"+0.7109143137931824","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":"Q3617690$911453D6-1978-4446-AC7D-9184EB5BA0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b6e5bdd0ee2463bb86185d60ece2fdb609d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa486a139d763b941e1227b37cd849119756193b","datavalue":{"value":{"amount":"+0.6856271624565125","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":"Q3617690$29F3662C-BBC7-46D7-9046-B1FD45E18AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ce41e7452e7206147f8c473cfdd7af472e5933","datavalue":{"value":{"entity-type":"item","numeric-id":5464650,"id":"Q5464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882d22fa9f003950ff82fdfe611b66d879275226","datavalue":{"value":{"amount":"+0.681350588798523","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":"Q3617690$46FA5EE9-784B-4D4A-883C-7986D966895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa54398b0a04659f67dc8e10c06d84c78634629f","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e079bca336a38e37f73f0fa2c013f53edd991457","datavalue":{"value":{"amount":"+0.6813461184501648","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":"Q3617690$066A7D96-08F1-49E6-B25C-395BA086DC75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolving_Inductive_Definitions_with_Binders_in_Higher-Order_Typed_Functional_Programming"}}}}}