{"entities":{"Q4934238":{"pageid":6963820,"ns":120,"title":"Item:Q4934238","lastrevid":41702850,"modified":"2025-05-07T09:17:52Z","type":"item","id":"Q4934238","labels":{"en":{"language":"en","value":"Semantics of linear/modal lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389824"}},"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":"Q4934238$FE19F290-607C-4393-A799-44B883B7B593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bf9e170be0aadac2102d55e4d6406348fd28000","datavalue":{"value":{"text":"Semantics of linear/modal lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934238$BAA6E50F-7073-4C65-8895-2BD38259587B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"019fb0c00244e844e4daa2e719940767f03efa8c","datavalue":{"value":"0965.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934238$81EA945A-A1F8-48D2-AFFE-E14B85227C39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39f865e4c1b4bafcd01c1c0ca8a5adb11858327f","datavalue":{"value":"10.1017/S0956796899003433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934238$1903CF39-D3FE-45E1-AF00-1EAFE3734D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934238$0BA76F99-5E72-4279-A163-CF38FBAFADDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934238$79D59AF7-515A-43A2-9D98-914813884E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44caa6525a45f719deb49fb5b73e40a85fd4c8c5","datavalue":{"value":{"time":"+2001-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934238$11678780-F834-44E4-B680-D2EFD09642B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934238$6B389F7B-76D9-49B4-93B9-1022A7A6180F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e9bf97ceb638b76d77ea744c99ea20210e4e468","datavalue":{"value":"1389824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934238$CB0ECC1F-2D0F-4EA0-B019-06CE702B80A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934238$D6C3EA3E-BA6D-48C7-B788-0E1B07A9B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e94630bb17f2edfb1da874432f18465b5cc8e2","datavalue":{"value":"modal and linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934238$FF63B33E-575F-46D8-B061-172DF7773E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934238$1E065927-314D-4EC6-96F3-8AB2784108E7","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":"Q4934238$A050A4CD-FC8C-4C33-8515-4C916A007D36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f48b6ef1681d148859f676b1d06ae40dc65b1f4","datavalue":{"value":"https://doi.org/10.1017/s0956796899003433","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934238$44637D54-336D-48C4-8884-4915CE5AC4A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf84a03b16324754a07f9aee10a220329fb035cd","datavalue":{"value":"W2103773922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934238$C2970AEF-334A-4D34-89D2-8E6366AB37DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37460381e555bf80ce5a45b9f9e8ac91adc96ac8","datavalue":{"value":{"amount":"+0.9408222","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":"Q4934238$E4FA6996-D388-41E9-ACE4-6AB9D55C583B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94795ea1e75d93eeff20f0e081ef92cd6816d528","datavalue":{"value":{"entity-type":"item","numeric-id":3686024,"id":"Q3686024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad97d3475a8eccc99d3a7c2e7c3cedbc83af744b","datavalue":{"value":{"amount":"+0.9311598","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":"Q4934238$907EF8EA-8091-44D8-98FF-008A98FBD383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08244048fe8215cd8373e554edbb2972d2954c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d866aab52f456a4a08e618ee02935277ea8dd6d8","datavalue":{"value":{"amount":"+0.92646444","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":"Q4934238$8FA0FF57-42CB-4127-8CC2-97536DB59607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e4b07503e1154651e302a8aefd7a6584dac74c","datavalue":{"value":{"entity-type":"item","numeric-id":2037950,"id":"Q2037950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2323674dbe048bbed2fa1914857a36a924e2f91e","datavalue":{"value":{"amount":"+0.9235344","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":"Q4934238$0A13F39A-06E6-4B19-9652-64568BD933A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a926631441a75b693cd9d5643e10e86bfdd18ff","datavalue":{"value":{"entity-type":"item","numeric-id":5151026,"id":"Q5151026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5e3296499af16f70dc138716ced691cbd87733","datavalue":{"value":{"amount":"+0.9202353","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":"Q4934238$8C349819-BE8C-4A89-8BBC-F4394658F10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc128b3765315f4bde23200628156e28f24084f","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8c03845e0b8bf0f96a6401cc1ab7c9e0ca7b95","datavalue":{"value":{"amount":"+0.9195787","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":"Q4934238$0EA78B06-2C76-4E86-82A9-2AEA3D1D2E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f40193c6f95faa99739874a985f68c583733f2","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba921fe77c094fc038341ddc84ab0ec4deed1f4","datavalue":{"value":{"amount":"+0.9155408","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":"Q4934238$89589D4F-4B04-4D14-8757-3F9ED87EA273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a45a4b39a1a0856567f13d3fbee6108b737b243","datavalue":{"value":{"amount":"+0.9154137","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":"Q4934238$C9A7DC61-DEB2-41E7-BA73-35842555DC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26664d48e32aa76ce9c4d7736c4de1105c959179","datavalue":{"value":{"amount":"+0.9152738","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":"Q4934238$999398BF-5ED7-45F5-99FF-50C0F356BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399367f03632ca13a6bcb05b3f3a69a635df0842","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26664d48e32aa76ce9c4d7736c4de1105c959179","datavalue":{"value":{"amount":"+0.9152738","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":"Q4934238$BA06CA94-1B7D-42F4-B950-2C38DAD3569F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934238"}}}}}