{"entities":{"Q2844073":{"pageid":2854793,"ns":120,"title":"Item:Q2844073","lastrevid":51808427,"modified":"2026-01-20T03:56:07Z","type":"item","id":"Q2844073","labels":{"en":{"language":"en","value":"Call-by-value, call-by-name, and strong normalization for the classical sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201943"}},"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":"Q2844073$CAAB11F0-CFA0-4714-8478-C15487E54B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb457e0e9ba0254e0dfcccabfa1cbcdefe71efc6","datavalue":{"value":"1270.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$8F4A00A5-A864-4918-9967-5151A55FF138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844073$F0DEE400-1CAE-4A2A-9778-4F47D37B97B5","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":"Q2844073$BB73CE63-9648-4C1F-BED7-17BE1E518B6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6a3ee4ec17d4b77c918a25f3ef7ddfe5895e6b6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105826192","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844073$11506754-6F19-40EB-B601-0C1AE3541B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$B8123BDD-34B1-444B-B190-E0683262DB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$762E3C4C-BEE8-47CB-8CA2-68B576C982A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$DBE02696-EDA8-45A8-B050-4319DC2671BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$9AE421D0-A894-428B-821A-F804879E4FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$841F060B-52EA-4B33-984E-5E6E4E45C104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0b7d19a6c8ac4d9b41f537b3d9e2912fd53308","datavalue":{"value":"6201943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844073$07A45054-D81A-41C6-8A40-EED24BAF5597","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":"Q2844073$F982A03A-3AFC-4B3A-A591-03085F4284DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"105d467899845944287abd8a77936774198d841f","datavalue":{"value":{"text":"Call-by-value, call-by-name, and strong normalization for the classical sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844073$02086279-68C2-40DD-B1F4-CE62B8EAE9C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177ea299173a96d1f1c11d4f6d03ce427e14a8c6","datavalue":{"value":{"entity-type":"item","numeric-id":2482842,"id":"Q2482842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4bf63b3023a529573f153136f8679c5bb39f230","datavalue":{"value":{"amount":"+0.8464182019233704","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":"Q2844073$7A153834-95CB-4DD5-8C06-8DB87F5BA5D6","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":"ce04c754ba216582a4a47a4aec599f23a3094fe5","datavalue":{"value":{"amount":"+0.8335698843002319","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":"Q2844073$37C553A5-3A5D-452E-93CF-0BE84C54D18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da42f86e4eeb2e6dfcd27559f6d7441a7c6c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5410235,"id":"Q5410235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c132404d708aeda7d8257212940f1d15044123","datavalue":{"value":{"amount":"+0.8282840251922607","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":"Q2844073$A37BAF65-F3DD-4C90-9064-18065ED0DA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f1df44ceacc83047a3b7a43e782e7aad9020","datavalue":{"value":{"entity-type":"item","numeric-id":4249179,"id":"Q4249179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb17d86b48c55be47466292bf6664a30a02c431","datavalue":{"value":{"amount":"+0.8197988867759705","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":"Q2844073$E7B42AD3-F805-47BB-BD15-3B4F4C8CAD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bb6c0a493875b35b3625aaa97838d37e568702","datavalue":{"value":{"entity-type":"item","numeric-id":5387838,"id":"Q5387838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb17d86b48c55be47466292bf6664a30a02c431","datavalue":{"value":{"amount":"+0.8197988867759705","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":"Q2844073$85E0EF5C-CB35-4375-8488-BD89B944D5A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844073"}}}}}