{"entities":{"Q3623947":{"pageid":5653853,"ns":120,"title":"Item:Q3623947","lastrevid":87526013,"modified":"2026-06-04T11:54:06Z","type":"item","id":"Q3623947","labels":{"en":{"language":"en","value":"Encoding Strategies in the Lambda Calculus with Interaction Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547729"}},"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":"Q3623947$7915336D-8390-4BF8-A210-9465F3E56673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b6c241f00d7994f04b5d482a01ee9b69957b109","datavalue":{"value":{"text":"Encoding Strategies in the Lambda Calculus with Interaction Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623947$D4ACC813-BC87-4F20-96E0-446F18DE124A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be0d146cba81cbe5faa2f571a3cc1a808f783bc","datavalue":{"value":"1236.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$E0E8A72A-E9C4-4541-8005-AC44E9449C31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4a1fac817f2b625b76670086b447420b5d5a4c2","datavalue":{"value":"10.1007/11964681_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$249CA7AE-B965-4B09-9D52-C8C45BAA31B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a04798673cdee8e131074b158bbd965428ba13b","datavalue":{"value":{"entity-type":"item","numeric-id":656850,"id":"Q656850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623947$B347F521-2FBA-4511-B780-873DA4E067AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"079a9a502d36bc50382ceab2d0b0fe42d20b24da","datavalue":{"value":{"entity-type":"item","numeric-id":2830046,"id":"Q2830046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623947$8E32CE89-2C95-464A-9D34-6811F6C87112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623947$4462B503-A04D-4D3F-BDE2-1F87CFA652E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$309773BB-3707-4B96-873C-C75F095DCDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$74784892-EBFE-4237-8563-44750C7DB669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9d72306967dbd47005705bfbda46a61f24cd866","datavalue":{"value":"5547729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$C36235BF-CE6C-47FE-9D92-36E09019A079","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":"Q3623947$3E484E66-8CA0-4249-88E1-0F09DA0B866E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80e3643430d6528914b2b7dd785520f5fdee2d4b","datavalue":{"value":"https://doi.org/10.1007/11964681_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623947$376D3219-EFD5-46F2-95A0-128017D39B6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b1a88f9445469a8746106ba68ef98095df03e62","datavalue":{"value":"W1569330921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623947$259F8561-DAC2-43AD-8629-956AD9A741AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8a114f4c7d0f38802428628c405cb30f7967d7","datavalue":{"value":{"entity-type":"item","numeric-id":4405695,"id":"Q4405695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29440d8a7fe1904ffd7cf6633d5e0f9cf414568","datavalue":{"value":{"amount":"+0.8880302309989929","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":"Q3623947$8D7778E0-FE2A-4469-B223-E096384FD693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0706172be4aff89e0878d625a923c449d3350a","datavalue":{"value":{"entity-type":"item","numeric-id":5704023,"id":"Q5704023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8bec61bdf7b7d4af9dc5c14f238d51f26ca685","datavalue":{"value":{"amount":"+0.8707217574119568","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":"Q3623947$5E88622F-3BC2-4E2D-AD31-E8933CF3FB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86b537e39c24c7aaf8314ca2d353d7652f92494","datavalue":{"value":{"entity-type":"item","numeric-id":5482263,"id":"Q5482263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b0ab396faf64effd1b0e063bfd54c50d4458c4","datavalue":{"value":{"amount":"+0.8451290130615234","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":"Q3623947$A309BC8B-8741-4AA5-8DFC-1E0F5783CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8736d7d95dc1e00facdbb133799eead2a1ebe7c","datavalue":{"value":{"entity-type":"item","numeric-id":5348892,"id":"Q5348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a282d6898eaf06964e749310a832f68cf2861e3","datavalue":{"value":{"amount":"+0.8346181511878967","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":"Q3623947$0161D1EF-9D18-41DE-9AEC-75ABE7CA386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06319c75f5e47b89e8de238f712b4ebcc28bba15","datavalue":{"value":{"entity-type":"item","numeric-id":2851714,"id":"Q2851714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada67e70c4450e0b0ebc53f64570f639bcaf7b28","datavalue":{"value":{"amount":"+0.8330590724945068","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":"Q3623947$949779B4-35F8-4DF7-B115-813424215459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding Strategies in the Lambda Calculus with Interaction Nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_Strategies_in_the_Lambda_Calculus_with_Interaction_Nets"}}}}}