{"entities":{"Q3525083":{"pageid":5554987,"ns":120,"title":"Item:Q3525083","lastrevid":90347045,"modified":"2026-06-04T19:56:35Z","type":"item","id":"Q3525083","labels":{"en":{"language":"en","value":"A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344408"}},"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":"Q3525083$CC52173F-6EB9-40EC-8C4C-18D0F96F2ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87cd87924895f3476cfe7020293cf7a3cc530e9d","datavalue":{"value":{"text":"A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525083$8DEF4626-127B-423A-AAE4-ED144196A3A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6bf6536cc5e6386521e4f4a7a7ef33defb53768","datavalue":{"value":"1147.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$3B7186C9-AE42-4375-9EF1-8E47CE824EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec3968271838f6bfbf481a74e53b23604b689ff0","datavalue":{"value":"10.1007/978-3-540-75292-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$D3E6F27E-61F7-4E5F-AB40-82B46C541BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832f9ab49586722d7004b5343d25ac01a23823ba","datavalue":{"value":{"entity-type":"item","numeric-id":880984,"id":"Q880984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525083$12CC23D1-07BC-4438-ABE4-856BA6211BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525083$3BE6F59C-80CA-41B0-94CD-2C1690CC82A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525083$74616FF5-1A4F-4829-9678-CC013EA9A4F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$FFB2A7A6-43C9-4B56-A644-5724EA8AE01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$5AAEE6EE-A1AB-4FA8-85C0-346B1655DDC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e61992679b1b8f1077b9abaedde61a69fb63d0a8","datavalue":{"value":"5344408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$D55FCD33-D4E1-41C9-A106-D509951C42DA","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":"Q3525083$D4EF1D5F-EAFB-4F5F-BC8F-49436110459C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9a66885e0e99a59920ac981b3fea850cb9401d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525083$3B6C4F20-93DF-432A-9F11-108D04B838B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2d2a7b935c5b2e584687300ba914a472f458d43","datavalue":{"value":"W1522171014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525083$725C01D9-D37A-4B69-A57A-04E8B4869D05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7474baa0a80d340d546ff8f4fe61af0c4b0886fd","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaca66530652b9de1129a177c01db43ec4e36e46","datavalue":{"value":{"amount":"+0.8398143649101257","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":"Q3525083$F47FF70B-3E27-4ED5-8AD8-B815EAE1F139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d062558506e9b5ffabf0948b13d724e6ecc52b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5055857,"id":"Q5055857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76960ab642803061abc821de0382085d045f0c0a","datavalue":{"value":{"amount":"+0.8319342732429504","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":"Q3525083$089DC1D8-88B8-44BC-AD7C-C4BD1C7FE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365eb4f08379941e08bdc557b553311512ef4e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4780213,"id":"Q4780213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ea1b5b1b81a99ca361f69c9b53e18c1f94ac63","datavalue":{"value":{"amount":"+0.8075883984565735","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":"Q3525083$FA146ED8-85A7-4180-B8AA-2784B88F2FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17d283826ed369fc3460fa325243df61e4b58a","datavalue":{"value":{"entity-type":"item","numeric-id":2766792,"id":"Q2766792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fa4f374f416ea6d14bb58f091340bbbc5b4d00","datavalue":{"value":{"amount":"+0.8061022162437439","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":"Q3525083$813761E4-28BC-4F06-9A20-88BDD5F6891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58155a92e39d4db88bc5dc6a9bd708533775264e","datavalue":{"value":{"entity-type":"item","numeric-id":5096386,"id":"Q5096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce429b35e27f1c9ccec2c7c3f28a734a9fe09af","datavalue":{"value":{"amount":"+0.7911896705627441","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":"Q3525083$BEEDBE5F-7B92-4C58-8040-BF8ABA2BDB00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Higher-Order_Demand-Driven_Narrowing_Calculus_with_Definitional_Trees"}}}}}