{"entities":{"Q2844071":{"pageid":2854791,"ns":120,"title":"Item:Q2844071","lastrevid":51808421,"modified":"2026-01-20T03:56:07Z","type":"item","id":"Q2844071","labels":{"en":{"language":"en","value":"Call-by-need reduction for membership conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201941"}},"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":"Q2844071$A9720748-CA71-4291-B9B8-0AD0CF859C51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a547cdf576604b9546e1b3f013df4fccbe4d7aa5","datavalue":{"value":"1270.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844071$3671B401-EAC2-4BBA-9C4B-7D05981B261C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844071$E3DB1B4C-266B-45BD-9199-1B435F511BAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844071$E63EC280-A7C1-4224-B029-E3483A9E8865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53a0a8641783bfebb69c341f7d96d6b8eb6c7da1","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105826179","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844071$4D15A31E-FC6F-4BE8-ACE0-145BDA54BC6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844071$DC3F99D1-5EBC-447B-B222-CE71B830A117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844071$980D79AE-7828-4092-AE74-5F827ABABE15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6d6552c62c30b8b095014544ebb3c0b2bc4384f","datavalue":{"value":"6201941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844071$2EC85EA5-10F5-423C-B211-163FF8505458","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":"Q2844071$E6021AA9-42BF-4940-96DF-D5BC0B37E1B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a59c95cb0054deb16f2a56c7839670bebe84a5e","datavalue":{"value":{"text":"Call-by-need reduction for membership conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844071$1819F646-9D83-416E-A974-3638F799FEC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce13c1d6db4164a5c217410489d88ebd117a5adf","datavalue":{"value":{"entity-type":"item","numeric-id":3819991,"id":"Q3819991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c017c3b6b6c8d62a07bfe65dcdc023caa4f7522f","datavalue":{"value":{"amount":"+0.8368095755577087","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":"Q2844071$0768250F-8436-446E-91D2-932219642838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93941c9aaf6572df984eac51de6838724d5430f","datavalue":{"value":{"entity-type":"item","numeric-id":5881201,"id":"Q5881201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95f6a25e47c9566e5db33538b2a7cdfb48e6b1c","datavalue":{"value":{"amount":"+0.8207104802131653","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":"Q2844071$EC4CAEB2-002E-482A-8A2E-6C7053DF3DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a69aff065932a98b642b2de330c578a6bec1b59","datavalue":{"value":{"entity-type":"item","numeric-id":1763429,"id":"Q1763429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe8a337604318196ace77e9b57fc714064012b","datavalue":{"value":{"amount":"+0.8038195371627808","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":"Q2844071$C888BE3E-D593-4EA1-A66E-3015566B5066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f27232f107184d9865429f5bcf04fb8015c1ad","datavalue":{"value":{"entity-type":"item","numeric-id":4037688,"id":"Q4037688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81024b023b2a81b5cc87d12f7cd44d387571da32","datavalue":{"value":{"amount":"+0.7844968438148499","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":"Q2844071$CF04C20C-5C46-4C24-BB80-BC2A2590CF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73edcb0a82005327c983df17a9bf74946991822","datavalue":{"value":{"entity-type":"item","numeric-id":5234682,"id":"Q5234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b14d8555e4de0e581e4a80bb2e0d242d9ab3d8","datavalue":{"value":{"amount":"+0.7841367721557617","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":"Q2844071$CF6ED1AE-8908-41C0-8AAB-AD2887794208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844071"}}}}}