{"entities":{"Q4931600":{"pageid":6961182,"ns":120,"title":"Item:Q4931600","lastrevid":98202947,"modified":"2026-06-05T16:55:22Z","type":"item","id":"Q4931600","labels":{"en":{"language":"en","value":"Feasible functions over co-inductive data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793643"}},"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":"Q4931600$415F0CAB-75E5-4F04-B134-68DF87083489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9984fe490920d84ea8644474537889b34c5a95c","datavalue":{"value":{"text":"Feasible Functions over Co-inductive Data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931600$91B13570-A7EF-4040-8440-7B0961201686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aa4b7f8c943640e660d918de01355cc2d3104ec","datavalue":{"value":"1305.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$5E175151-6BB9-43F7-A1BA-A59B40D56E52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2052df5016f8338da5ccededbcfe3a4de62da673","datavalue":{"value":"10.1007/978-3-642-13824-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$05ED8D7D-04DE-4924-AD0D-8DACABCD266E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eae87743de08123eb773c9266a84fe8e4760fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2949455,"id":"Q2949455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931600$8A3D62ED-82AC-4C86-805A-C28E79F27FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931600$08B98086-70F3-4EA0-8F42-88F5ADCAEFE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931600$24DF2BB4-7A3B-4FB8-B652-A06B93FAA57C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931600$B5936B4D-0039-474F-B673-2F88AC842E4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$FCCCFA37-0166-4FAE-B75B-539EB4375CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$3C10F2D6-1B88-4270-BA3F-890E85FE3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$E210AC5F-3A1F-4025-A562-6CA1E0B9570D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64708e84b1d14198a421ee8f02fd20decdabdd47","datavalue":{"value":"5793643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$70B76C07-7E79-4A2B-A5D0-081FEB8031DC","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":"Q4931600$F3C652FF-DF5C-4D1E-8C63-E9B189BF44E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3b7b71f445b38ed9127c7d456dd299b48f752e1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13824-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931600$6331144E-4B33-44C5-9BB2-16F1F0113B8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d16c65595f7e0b52c33a59c3bffea4a3b804f9d3","datavalue":{"value":"W1538102167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931600$B4246A41-180F-4454-8D31-DD69BEF93A97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd9f5bc98894e657089966cf51110ac623e0085","datavalue":{"value":{"entity-type":"item","numeric-id":5277700,"id":"Q5277700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae7a3aaa139286a11074a8e75e8e53236123d6f","datavalue":{"value":{"amount":"+0.7843183875083923","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":"Q4931600$8BBA84FA-D027-43A7-A35C-208FB36F2A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6780020cc5895134d1846195b69f286fff0c6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4411835,"id":"Q4411835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b6dabdf1eb3bab30f69b444ca56852e494b081","datavalue":{"value":{"amount":"+0.7792397141456604","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":"Q4931600$1F057EEE-5ACE-43F1-BA62-94680F798064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d14c45953ad66f115a4b6e20a3dd3dec50caa","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b6dabdf1eb3bab30f69b444ca56852e494b081","datavalue":{"value":{"amount":"+0.7792397141456604","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":"Q4931600$B4B83AB1-578F-4747-80B2-02EF6AE35859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fddbdda033a7b419354b1100634d9dcca272f87f","datavalue":{"value":{"entity-type":"item","numeric-id":706620,"id":"Q706620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fb995afc25f1c8a6473bf3b1ead231a0c3ec42","datavalue":{"value":{"amount":"+0.7632883191108704","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":"Q4931600$6D8FCE74-4EE4-4602-B1C3-E5D61ADF81E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f842da7f11f63299e6251f69e05e98a6cb48c6c4","datavalue":{"value":{"amount":"+0.7398146986961365","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":"Q4931600$BA4E5EC8-6D9A-423C-9534-7D1E7461CA9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Feasible functions over co-inductive data","badges":[]}}}}}