{"entities":{"Q2900256":{"pageid":2910981,"ns":120,"title":"Item:Q2900256","lastrevid":84952466,"modified":"2026-06-03T05:18:26Z","type":"item","id":"Q2900256","labels":{"en":{"language":"en","value":"Classical call-by-need sequent calculi: the unity of semantic artifacts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059264"}},"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":"Q2900256$1CE60887-3F77-4DA9-A06A-FE859B3953F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"115af366b0c1b43be70d154c70dd055b5260a4a2","datavalue":{"value":{"text":"Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900256$9AF1CCD1-689E-4210-9654-1B5484D4B534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc8791eb90d008b671b5ea36bb0b0c409ec19633","datavalue":{"value":"1354.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$AD6BC338-1ED3-46B8-8DDA-42E5B89CAB49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dd63f3cbf06fe36a9ccc0d1fd745f9f990571a9","datavalue":{"value":"10.1007/978-3-642-29822-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$6C575860-B7A2-41BB-A109-422EEED3C63A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$4F88A09D-B625-4D11-9EB0-C4E6C3A069DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$0D598402-D23A-446F-BFE3-D12E12B3061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$B07BF7CA-E061-47CF-B367-202EF7BF2BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$71CA2EDB-28A2-4318-B8E7-4C682818F65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$CF7CBB7A-08EF-4764-9540-0FE8B2BCB30F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900256$FA00E642-1375-48E8-B6F5-42327A83065B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900256$64576335-EB33-4D32-91E2-A50578B27065","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5165672111d788faf2d06d6ae8acc37fc50fd896","datavalue":{"value":"https://hal.inria.fr/hal-00697241/file/classical-need-artifacts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900256$41485C3C-DFC3-460D-82D1-DC20AA1C028C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$E9F8D274-839B-4243-B3EE-BDFCF25BF807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$A50ECF36-9504-4743-AB4D-63312D0B8115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$786C2CA1-0787-4676-9B22-5AEA1770093E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3d9e04f4fc54d6400e73260d82c58e188f0284","datavalue":{"value":"6059264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$A8A4FFFC-C8E9-44D1-956E-B4BEB1B6F595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$68CDCACF-1FA7-407D-AA05-47CCCF4D0D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$DDC054BB-C6B5-4C75-B3AD-99907B82DFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e62081ffc094320d403d97e6f1913b36af2e63","datavalue":{"value":"duality of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$744F3D42-D283-4175-96A7-AD7B2A59469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$4B6F16C8-A304-48AD-9419-3B3852A22A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ff3ce088f68c430abeedfe461960e04cf5544","datavalue":{"value":"\\(\\lambda \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$0FB1EA51-4397-4389-AC1F-6D5ADBEB3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$08F6DE11-BEBD-4F2C-8D57-DDDB7BEEF03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900256$7FD8B1B2-97AD-49BC-93EE-7E5ADEDB7CE1","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":"Q2900256$A70E5594-9CDE-47F2-84AE-44043B1D5F5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a66ce83b98c914a86b108d58a19c32cb078fee3","datavalue":{"value":"W103061485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900256$1E8D6966-976B-47A6-BC5E-A8709E0D9ADA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91080846a0262f81cf0638b524b232b8398e9f17","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b45f1558324f0d1bd713bcb3b347d0daddf88bd","datavalue":{"value":{"amount":"+0.7981903553009033","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":"Q2900256$77F2305D-3D37-4325-839D-812B13D6DF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0010c7fd33e395df3d252e1b05141afb5821b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa498578230321115f3ac27bf7ff7c1eb0063ba3","datavalue":{"value":{"amount":"+0.77993243932724","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":"Q2900256$A812C9F7-CB3A-4FE6-B987-9BF0A919DDB1","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":"47cff13671a45c3661d40d29e5e2efd5108d36a7","datavalue":{"value":{"amount":"+0.7525004744529724","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":"Q2900256$D8D14DE9-41CE-438D-9AF9-D21BAF90EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7108bccd22a46780d07382fcaef8ea97e259a16f","datavalue":{"value":{"amount":"+0.7461493015289307","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":"Q2900256$ACBB42D0-51B7-4556-ADC6-A2C4EF002534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20d72714c717e20fba1e075a9681b814fda31e2","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e061b061e48ca26eed2539b057e75ec8b97f50","datavalue":{"value":{"amount":"+0.745752215385437","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":"Q2900256$89C8A18F-F943-4729-A0C4-13FF641EB134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical call-by-need sequent calculi: the unity of semantic artifacts","badges":[]}}}}}