{"entities":{"Q5410667":{"pageid":7440241,"ns":120,"title":"Item:Q5410667","lastrevid":40995725,"modified":"2025-04-17T05:24:09Z","type":"item","id":"Q5410667","labels":{"en":{"language":"en","value":"A Semantical and Operational Account of Call-by-Value Solvability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286329"}},"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":"Q5410667$48BFB1FC-0670-4957-A25C-003B6E069F7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"056c1d697984dc3d3b89bf7fcdf7a588b6c20e0d","datavalue":{"value":{"text":"A Semantical and Operational Account of Call-by-Value Solvability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410667$5881ED6A-2A56-40F5-A7FB-CDC143674E29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff71d6a40b1487ab7737b007ffb3c42791375d61","datavalue":{"value":"1405.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$B9B76C6B-A116-4E0E-A53A-3FC48FCBCB32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70884f0161e38810a52a3525f85fb2b8618edfe","datavalue":{"value":"10.1007/978-3-642-54830-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$D57D0A4B-0757-4480-A6D8-1012E7C32C8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410667$65611862-FEB7-4B19-B58A-BF1A4FF51491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410667$4AE37E78-050D-4587-8197-228243F10F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410667$A2E88F15-DEFA-4161-B17C-C30812C12953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410667$928C1C93-2AD7-4CD6-AEA5-B24A85DD488D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$AF4D48CA-6650-4ED5-8E6C-5EF1A718AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$8A33A084-3B81-4CDB-81C9-9DAFEDF2E84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92ed07b14410ae08e6411ce9583f6bf06e4e4744","datavalue":{"value":"6286329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$6D62993A-0122-4869-A046-45179358A5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fe6a7f82f545a3cdd02e2a479b1a92f18bfcf9","datavalue":{"value":"(resource) call-by-value lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$E317C063-EEBA-42AE-A17B-12336183309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9006e65c5888ecb8fa3584bde44b35773c529a6","datavalue":{"value":"tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$BCF95B2D-4F6E-45C2-8535-A06257FD2A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5f4f07f91f72812f0bdb06de49fbd610479ddb","datavalue":{"value":"potential valuability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$186929B3-D109-4B28-81A1-E61BD6C82F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$D0734B76-EC5F-454B-83C8-ACC36E2FDBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$F30725D0-A92A-4F6D-9AAE-C7C37AE2BECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b9b67403ea7127558dea0160307474c7831b52","datavalue":{"value":"weak and stratified reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410667$9875208A-182F-4A90-BD25-914BE4088A78","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":"Q5410667$7FE2E65C-4D89-43F6-945C-A18E120FF17F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c88cdab8954b7507421d72b1170f2ebdbd18ee53","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410667$8A208E6F-D9DE-446F-A0CD-769221962639","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c902becdee2a1cf4f105c9a882859fe8d603ba","datavalue":{"value":"W70544678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410667$0B5B891C-4FA6-48BF-9047-FF58B445C1A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ab787a90ccfd54f428542a5e92f5d43984db2e","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f64c637b39aa4040f3d51489c87a3b24a620c9f","datavalue":{"value":{"amount":"+0.935729","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":"Q5410667$1B68E3FF-E6B7-48B4-B2B3-AD63C92A1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd486debe120183a427f389e05aa28ef4e8b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228e7555b181f9ed2c29aad60f8b63e524951f63","datavalue":{"value":{"amount":"+0.91743606","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":"Q5410667$370472DC-C40F-4452-B72D-31594597EB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a9cf79e1ed5803a8f687285e06121320254bb","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63235048c5094bbb135e6be4cf0aa1bed538a4da","datavalue":{"value":{"amount":"+0.8948897","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":"Q5410667$69440469-8591-4316-81B1-0B08E5F2CC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ff8c7d1f7a0694e3efa341b84c5972a77d323c","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41656c34ca63d406aad9abdf8511a875e5a67f5","datavalue":{"value":{"amount":"+0.8922702","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":"Q5410667$47ED2D96-92AE-4EE0-8ED7-316D923B9FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edf92a06695a8c7a3d3aa9d7b5fb933baace185","datavalue":{"value":{"entity-type":"item","numeric-id":5212041,"id":"Q5212041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940864649f3f058814119b6379c7bba1e14ee848","datavalue":{"value":{"amount":"+0.88298666","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":"Q5410667$43BF8DD9-5903-4ED5-A4F6-B7CBEE79FD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de38e85040eaf57d48418bc3a16f27827d1cf53f","datavalue":{"value":{"amount":"+0.8824615","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":"Q5410667$A264166A-D6A6-408A-9323-DF8991DFAEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6171d909b8a0cac4f0afa84a97be7285b83a09a7","datavalue":{"value":{"entity-type":"item","numeric-id":2506495,"id":"Q2506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cc0e378a9294eab089664c130f733b5b6bb300","datavalue":{"value":{"amount":"+0.87687284","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":"Q5410667$99460A41-EBA9-4DB2-8512-3B51E9FE7492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7e26849003337c0775e942b135d9fb6cafa8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8984f372715ead9fc6320e1d5663d472743cdc9c","datavalue":{"value":{"amount":"+0.8655535","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":"Q5410667$A5C899E6-DC3C-4632-BD4F-FEEBD5344AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b3c126a6a2c6809f0b220ec07a35d562f96540","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518534ba536e46b7c6369541be6d3774a0a3753d","datavalue":{"value":{"amount":"+0.8641379","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":"Q5410667$BC524A0E-E8A3-486C-90E5-1117FC7BF1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380ceb3503086b5cf3251677bdbe10bd2e2ae9c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455843,"id":"Q3455843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2cabf3eda93cb968af54ff4246f9e557f10fcf","datavalue":{"value":{"amount":"+0.86282647","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":"Q5410667$28D296E7-6483-4541-A05F-F89A67A0E816","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410667"}}}}}