{"entities":{"Q5111200":{"pageid":7140774,"ns":120,"title":"Item:Q5111200","lastrevid":94289801,"modified":"2026-06-05T06:26:10Z","type":"item","id":"Q5111200","labels":{"en":{"language":"en","value":"The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204324"}},"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":"Q5111200$666EF6D0-0E47-47BC-8137-55AF3FB91B42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e0bd29577db23e6d5db79860b4b5919f6d996b9","datavalue":{"value":"1440.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$DEA0F9BB-4BB2-44D4-8CB2-7AC15AD2274A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb1ad9f5d6c57b8261f25b076700f3381661ced","datavalue":{"value":{"entity-type":"item","numeric-id":1648873,"id":"Q1648873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111200$4092EDE3-06D2-4F8D-A641-F5ECF9582B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111200$04F23AB2-80FD-4C3F-A344-EFBDE1453AF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111200$F8B5C8D0-7682-469A-928A-57F649D53190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d883cdbb0f208155136ffc2854cb9a39c9de7484","datavalue":{"value":"https://arxiv.org/abs/1703.10027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111200$49220AD9-783D-45E8-A4E0-02AA0A814303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$A45B0F8F-89E1-4C47-A761-29EBC5C73534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$A61D8BB4-0869-416B-B82E-1D8153D8F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$DAC7C810-1C6B-49CD-A71E-A5F85BDFB01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$61A15DF6-70A8-45AD-88E4-A0D2847ADA98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b40286574bc5975c813e140829dba085af7de63c","datavalue":{"value":"7204324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$6BFFE96D-6EEE-4E98-B719-1644110E2355","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111200$B1C7B872-5D6F-47CA-BFB2-1C4306DFC85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111200$A0BBC166-A0BD-4CEC-B1F1-5861E96B144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d8bd19b6af2fc1e32705835df24f3fc804cbd4","datavalue":{"value":"call-by-need reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111200$C1B5AC01-4D57-454C-9BA9-6B6910BCF970","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":"Q5111200$1639D3B3-30EE-4E9A-BA8D-3737BF7CC72F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb4a1c36500bcb175ece7c063bcec34e6993b83c","datavalue":{"value":"W2962792150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$9AE25FB7-F523-4304-92B1-4773DD5AD8C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d50f04c4bd98e7924f6c8f7a6f25a1511a0c426","datavalue":{"value":{"text":"The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111200$14597A24-9325-487F-B0AA-A304223938C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e406332445c747563bd06ca2ee6da2936314b1","datavalue":{"value":"10.4230/LIPICS.CSL.2017.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111200$DF3771C2-6F8B-4DAE-9276-2CE3F399551A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8f62f98faf026d644192a824909daa6e7331ea","datavalue":{"value":{"entity-type":"item","numeric-id":4972738,"id":"Q4972738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0796676cceab567bfda7d79fb24157a2d29aaf","datavalue":{"value":{"amount":"+0.9217853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$8C31EE72-AE6F-4EE1-903A-F90609820DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a79fb487755b52802c12713d7fcf4704f12a17","datavalue":{"value":{"entity-type":"item","numeric-id":5015373,"id":"Q5015373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ca80713eb153b06f505d17e8d0ab629726dcac","datavalue":{"value":{"amount":"+0.84673643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$DACBCB8E-D81F-42B3-9347-2586B94E763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51296f1e8d4c5292b481e6a16ef05c3b1961e7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3184727,"id":"Q3184727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1398f2d4750da9e56b2d0e17af1ec97cab0a1203","datavalue":{"value":{"amount":"+0.8226404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$E574A7E1-AE3B-41EB-B096-893EDB477D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4736240ea9c8198c5eac1f3cff0dd84db0548e48","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd591c45e27b2daa6e3c77a141fdd37b8c25be9","datavalue":{"value":{"amount":"+0.82131684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$A5ADF120-4ECF-4E93-951A-0C6FC3FF9D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f09b7d0dd2cbb547f5add6249065d5fe43af2a","datavalue":{"value":{"amount":"+0.8213167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$4201FC6F-C5C8-40EF-A689-8187556617AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d550f0d6ad1afbe87184386b4820dfe7ba2882a","datavalue":{"value":{"entity-type":"item","numeric-id":4808763,"id":"Q4808763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df27aa9dbb1524255fa0d9f42699f56ad6f8be6","datavalue":{"value":{"amount":"+0.8158109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$C50966B0-34AC-43D9-A2AC-5C1C8B467BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d480bab721fc76b11d8c37e78b6dfa2e079801e1","datavalue":{"value":{"entity-type":"item","numeric-id":2988637,"id":"Q2988637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24370c84a74eff698c412c9cdf59fa945c110cc","datavalue":{"value":{"amount":"+0.81359446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$5F71C3DF-F7F3-4B5F-BA22-5559B070696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69bf20665a7260c53031123f73cf5e3b66d7c28","datavalue":{"value":{"entity-type":"item","numeric-id":5395066,"id":"Q5395066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d5e581a924d6fa9f401ba4c47e9853fb6aad36","datavalue":{"value":{"amount":"+0.80980366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$AE66C347-0CF7-426C-BB98-C6B4476A0628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a20b29c802fbb8057eccd76e3d5cf77bdbaa84","datavalue":{"value":{"entity-type":"item","numeric-id":1578398,"id":"Q1578398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631d373eb5cc9e9379e16cfe7bcee9a037c120ff","datavalue":{"value":{"amount":"+0.8056704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111200$D982DE0C-EB54-49F0-9C6A-0B1B6DA7D341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Dynamic_Geometry_of_Interaction_Machine:_A_Call-by-Need_Graph_Rewriter"}}}}}