{"entities":{"Q1687735":{"pageid":1698476,"ns":120,"title":"Item:Q1687735","lastrevid":71999772,"modified":"2026-04-14T01:59:32Z","type":"item","id":"Q1687735","labels":{"en":{"language":"en","value":"Weak call-by-value lambda calculus as a model of computation in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821852"}},"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":"Q1687735$C38A05DC-AF0C-4539-A9BC-6FF022A3F0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd1a715e53acaca1014a8f44a4652bca485abf5","datavalue":{"value":{"text":"Weak call-by-value lambda calculus as a model of computation in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687735$76A37B50-2A47-4DC8-A0A4-86723008FA00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64d40556b7a82384edacf76970ffd15bd137fca3","datavalue":{"value":"1468.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$82F5218B-2664-4C73-8FF1-2DDC8ABB645D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03ba33521deb49ae8fa8fda3fcbf7f1df0af1cb3","datavalue":{"value":"10.1007/978-3-319-66107-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$CFB9023E-1B40-4821-B745-485D630D7C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$FAB6C456-AD4B-406A-8B81-ADF2453E62D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$20B571E9-1BC1-44D8-9A64-E33BEA5FC516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687735$30E9C9A5-DD52-4F0A-925D-9880A848584B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$3C5AD10B-BE6E-4F53-849D-3FCF83EE0B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$D053E8F6-AC72-4497-8E77-2B2D18E726B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$72AB0549-A7C2-48CF-A521-85D97A75190F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$69D8402C-9D4C-478E-AE87-66E2BF977341","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"238ca77689b119b9196e5f8c7385598507f965eb","datavalue":{"value":"6821852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$05131780-5C5D-493A-AC09-C204BD709E3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$3BCBE99D-C42B-4979-B12A-FB0CD9AC5512","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":"Q1687735$BFFD9CB2-44B1-47B4-8895-68437BE497F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1fc6a48cd1aced75d4559fc1bc88f0ac90956d3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66107-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687735$DDE86248-6025-4CB0-ACDE-6E9EBC040228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b70180b8c6ddc5f789c741155b1fabbf0d71cb6c","datavalue":{"value":"W2895928777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687735$2E6CF60C-7D4C-40D9-93F0-6968BC9D2D0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98601bd13740dcf2aea4082f9d88eae11acfb8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2915013,"id":"Q2915013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$8C61F453-2779-4F46-B9F9-B83FD6151D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d6b482a92ca9c570cc4a0d27a4f00e5fca98ac","datavalue":{"value":{"entity-type":"item","numeric-id":744986,"id":"Q744986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$3A2FCF95-F501-4AE9-9152-4EA767529ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb38957e731e5275c5deddcd104913f80c935fd","datavalue":{"value":{"entity-type":"item","numeric-id":2852343,"id":"Q2852343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$16C076AE-564E-4092-969F-1C9270BCE20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$769DA5AE-7D53-4C9C-B0BD-DE4CF93698D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00b5895e99d191ea2985b1dac8cd0296ccfe42b","datavalue":{"value":{"entity-type":"item","numeric-id":5369482,"id":"Q5369482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$D320A696-D6E6-4AC1-8DB3-5C273830410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efc294bd534ffad39d76f38f517e60db941a390","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$7ABCDD8E-6472-404F-8F55-BB17A727699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$F416A878-1154-4199-8346-8023A222AE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8951abfeb6b811622a1e6e0f8781b8446048b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5410454,"id":"Q5410454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$FD79CA6B-9BB5-4659-8ABB-EEE574FECE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$82945A17-75D0-4D0A-B782-63552061393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$0581CF71-700C-4A32-B34D-995AB5E7A088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5d72d07cce88cdf50698d240a7171f3b8b351","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$09962F73-6A09-4EDA-B54E-9A6B9DD82CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$76736027-176A-4190-AF9F-794725A2F3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c02baa06229f9c8e47415ba00fdd6dfa7fc577b","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687735$ED9491B2-C05A-48C2-9E94-0D1E60B992B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e0b669973656d870f009463961fcc7dac6d70b","datavalue":{"value":{"entity-type":"item","numeric-id":2319993,"id":"Q2319993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd553f518e3579e40608074ee3442aa8c3be6db7","datavalue":{"value":{"amount":"+0.9752339720726012","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":"Q1687735$8FC99130-1AC1-4D92-A99B-BAE77A042945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4f5fa8b9b3fa8c666ff56359b32985b45dd863","datavalue":{"value":{"entity-type":"item","numeric-id":6166150,"id":"Q6166150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d78179c373813efcbc63c8a4fa5ce9d289e9767","datavalue":{"value":{"amount":"+0.7567488551139832","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":"Q1687735$D74397D6-1F4B-46AE-B468-0D530C8CE447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae06d7fb5b89488a5b411c68e3a29a4edb873c0","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2871014181efe0a3d6401798a19520b8f07854ce","datavalue":{"value":{"amount":"+0.7516664862632751","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":"Q1687735$7A36A291-E488-4F58-A816-0B9CAEE459C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11fe8b736fd1f729cc5c48193782bceacd1bc2d","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66185af3ea61ebd467ec4e553537e0dad42bdcaf","datavalue":{"value":{"amount":"+0.7309361100196838","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":"Q1687735$15C5E099-2BCC-4A1A-9B81-A7E4E1AB1FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cefa8e67365306dcb9cb8076ac6235810c91560","datavalue":{"value":{"entity-type":"item","numeric-id":1648863,"id":"Q1648863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f7e42d158ba106780e6aa612300195b3173cf0","datavalue":{"value":{"amount":"+0.7178584933280945","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":"Q1687735$BEC866D2-F271-4E96-9496-27065A305B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak call-by-value lambda calculus as a model of computation in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_call-by-value_lambda_calculus_as_a_model_of_computation_in_Coq"}}}}}