{"entities":{"Q5756978":{"pageid":7786529,"ns":120,"title":"Item:Q5756978","lastrevid":101713070,"modified":"2026-06-06T02:36:52Z","type":"item","id":"Q5756978","labels":{"en":{"language":"en","value":"A calculus of open modules: call-by-need strategy and confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187872"}},"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":"Q5756978$649BB079-FC39-47A9-B69F-BF796F5C1465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcc5fba29660eaf37f80c466e9b11df593b95d10","datavalue":{"value":{"text":"A calculus of open modules: call-by-need strategy and confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756978$BC2BED6B-FA75-42D0-97FF-B94F12D73EEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0edfffd070af6f2051510f35a9ca9bd0eddcbeb6","datavalue":{"value":"1125.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756978$D00B1EDE-0A0E-4F1B-B249-D28C5E24180F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"050dfb7e094979d67bbbb6eb8c41f16796432479","datavalue":{"value":"10.1017/S0960129507006238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756978$B69A07D3-F73B-43B9-9E85-C633AF32DEB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09160e0a981834a4979b8ae3ae60b6f431693cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2848692,"id":"Q2848692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$A4462ACC-148E-4299-ACC0-30B43913ED4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$064945FD-68D8-4E99-92C1-BA4273077DEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$A6888EE2-5AB6-4BCF-A5EC-A5D58A01306F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756978$3C3C9857-9D33-419F-9523-BBC9E6AC7DAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756978$F812F5A3-EBAD-4C5D-AB9B-9CEE328101FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf49b56452ef9c0edb14d9c0b74c63dbee03b20","datavalue":{"value":"5187872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756978$17415D30-49B2-4DAF-889A-621CAD430D90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b1d61be454d052a131f79699ceafa600c910fe3","datavalue":{"value":{"entity-type":"item","numeric-id":21415,"id":"Q21415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$C297A6BB-9C3A-42B7-B353-E1BEBE39B4F2","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":"Q5756978$1714936B-907C-4D50-BB9E-DDC56E707E3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe18d788ed680a98543164e5e2ed759f0b7234a","datavalue":{"value":{"entity-type":"item","numeric-id":4236216,"id":"Q4236216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$2F708D10-7096-4DA7-BA3F-674B65D50E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d74c3fd051b47049dd2c84d120628832b081a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2576664,"id":"Q2576664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$F89622C7-FFC6-4EF8-844D-DC1FE3593131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97357ae73dd852c1a8a9666e049a568a84a9a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$CD84E9AF-BF82-4257-8D1A-2E9C9627DC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$B76CEF58-6E56-4AF9-85D1-78F96F920535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c6d6afdb85c0c418d2115da1abebf4577d3ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1290313,"id":"Q1290313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$10874780-C00B-4A10-B621-C9DCC9F4BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756978$3370D268-A9A6-47D5-B3FF-35BA99675F15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2b2b1199724ae5ef3e97e71271956b57544246","datavalue":{"value":{"entity-type":"item","numeric-id":2851704,"id":"Q2851704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbee2bb3bb8022eb0e2e9221317d73aea22c1ebc","datavalue":{"value":{"amount":"+0.8001741170883179","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":"Q5756978$3E46D105-FC63-4A7D-A099-BCAD2BE2114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b50f187219ed13589411225d3fa2e91e2eff5","datavalue":{"value":{"entity-type":"item","numeric-id":4331135,"id":"Q4331135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f63ee3dfd7421c2ee867f95059b441e249c144","datavalue":{"value":{"amount":"+0.7691973447799683","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":"Q5756978$EBB66C94-5CE3-401C-B9F7-D1F03445E441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19715a16e5d6805bc8c8c06773879a1aa439dd5a","datavalue":{"value":{"amount":"+0.7665154337882996","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":"Q5756978$6CA7E49D-CD94-4E6D-B149-366DF6C5797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33fb406dc941146d5c8a75d36be0c154526ce4a","datavalue":{"value":{"entity-type":"item","numeric-id":4673423,"id":"Q4673423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3acaea19ce6a74d31b408d637a84f728166085","datavalue":{"value":{"amount":"+0.7508030533790588","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":"Q5756978$F241986B-726B-4EEB-BEFD-C13434DD01BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8a1f9b1099c613ddda263219e51936276b6b87","datavalue":{"value":{"entity-type":"item","numeric-id":2848693,"id":"Q2848693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f48c93eb33e008735def1f5c73b0953cbe74723","datavalue":{"value":{"amount":"+0.7356330156326294","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":"Q5756978$D129651B-0C59-42A1-9488-253A33892701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus of open modules: call-by-need strategy and confluence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_of_open_modules:_call-by-need_strategy_and_confluence"}}}}}