{"entities":{"Q4037688":{"pageid":6067406,"ns":120,"title":"Item:Q4037688","lastrevid":55240354,"modified":"2026-02-05T05:21:27Z","type":"item","id":"Q4037688","labels":{"en":{"language":"en","value":"NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169004"}},"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":"Q4037688$7D434476-3FE2-47E0-B7BB-85DBE919BA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6dc51c9ee4757047525e9eb4a7cb8b43b36c49","datavalue":{"value":{"text":"NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4037688$05C56DE3-5751-414C-8FC2-370B937E5EB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a8fae46907b5899667d646c8ccb2b68ef9660fb","datavalue":{"value":"0766.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037688$1537A9A9-D1AA-43F5-9789-86E634274E00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0772464d6e72839bba55056cbdb288b432324444","datavalue":{"value":"10.1137/0222010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037688$960F715D-2069-45B2-B760-80B1A1C5FE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037688$A4B39004-AA5B-43E2-8166-63083B5BCA58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037688$3E8E9A66-9CED-40A4-BD45-FC12BC8687D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037688$3F263B6B-0281-4A10-A808-455A599D7CCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037688$EB2FF401-CC69-4CC5-B5F1-14D69FB845C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac3049e48b4d865cb99931fde7ed04ea90b237b8","datavalue":{"value":"169004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037688$0910D7E7-FF4E-4666-99A3-F0A7C52F5C5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037688$10561853-B798-46AC-814E-950EE4F43320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7674aa27e2c4fac13effa6c29cb26fee77a3b0e7","datavalue":{"value":"call-by-need computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037688$EF06C07C-D488-47D2-8407-0B21D2B512D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037688$CB603BFD-6940-45D7-AF67-35D37D47D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad7e7f4ff9e3506d9a54809387d1683f1a1405bc","datavalue":{"value":"left- linear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037688$1F128B9A-7A22-44EA-9B60-3D320EBE4AA6","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":"Q4037688$839517F4-8376-4DD7-8696-5A69B0D9928C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9168f161e1679e144e3daa25f7ae9c845a4453d7","datavalue":{"value":"https://doi.org/10.1137/0222010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4037688$8F08A5F1-7666-43D5-BAD4-0C78C4F874A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19164757a9eb99b7e5760184115075197b06cc15","datavalue":{"value":"W2076609932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037688$28531DD0-D51F-4D42-8834-6AA6B05E7971","rank":"normal"}],"P1643":[{"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":"e9bd538e367148a9b240dcc99419a171e5c58d1b","datavalue":{"value":{"amount":"+0.8155581951141357","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":"Q4037688$03D45F72-9F26-4958-8272-83238BF4924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c0e5a80083d9783c85f3824aed10eee72f271a","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa544db551b45d253a2cd2fc5475e6e5090f1d1f","datavalue":{"value":{"amount":"+0.8141661882400513","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":"Q4037688$9A49F08D-93C7-41A4-8D41-01CA1AFA2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f4d893081f0a342c302224ba339edd0f5ac089","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5f82a5a6ea61816b53af8dcc84a399c50f6ede","datavalue":{"value":{"amount":"+0.8124404549598694","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":"Q4037688$391C3402-59DD-46C2-9344-AB5FD6E71115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527b20de935f4e7c789f65fcb4f4a2a4063aa75e","datavalue":{"value":{"entity-type":"item","numeric-id":1854333,"id":"Q1854333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb67d294309012cd098f312a25aecec238e03fb","datavalue":{"value":{"amount":"+0.7985497713088989","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":"Q4037688$CA1C2034-766B-4D1E-B420-3AAF7F118561","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":"278a059d00dbd6527837ad5b136f7b4aa156bfdd","datavalue":{"value":{"amount":"+0.7870140671730042","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":"Q4037688$03D2E8F0-9D90-484B-914F-B282807A05A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037688"}}}}}