{"entities":{"Q2929866":{"pageid":2940586,"ns":120,"title":"Item:Q2929866","lastrevid":85210139,"modified":"2026-06-03T06:18:05Z","type":"item","id":"Q2929866","labels":{"en":{"language":"en","value":"On semantics of a term calculus for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369838"}},"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":"Q2929866$120A5F3A-7D62-40C7-9913-DD0336A02AA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea14458e31ad8380659bd7d8a9cc7bbab346175a","datavalue":{"value":{"text":"On semantics of a term calculus for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2929866$E92FC871-4607-4513-9350-4C37575E2A10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"808d5b258116543a23181685507dfdb9455dde6a","datavalue":{"value":"1313.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$77897EC2-9F67-4555-AF57-84A5BBE33F21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81c5233fefb1f2d758782898470e5851668bbbd1","datavalue":{"value":"10.2298/PIM1206079L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$35108DDF-B729-404F-BE62-99BE4302E0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"81c5233fefb1f2d758782898470e5851668bbbd1","datavalue":{"value":"10.2298/PIM1206079L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$D2415C01-C5C7-45F5-96A7-C83A7782407D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929866$75D3FFF1-D4CB-4473-B88A-9BBB3478A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929866$E4D9F2C1-4BD1-44A1-A141-AB8D19F38CA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929866$72C53911-893A-4253-82DF-0ABB5A2C1804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P200","hash":"cee17a61fcff18bb7d8c3ada51d813b2f79bcdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6486666,"id":"Q6486666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929866$CB75DBE7-9FAC-4235-A720-6944B246E21B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716cb22ca1a0f2aae16b7f525027a88bc263ef8","datavalue":{"value":{"time":"+2014-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2929866$E7FB153E-BD07-44B3-87FA-8C87CFCD2546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$237D6963-7255-441E-BCF6-6A57CF1FE379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$BCC913D9-C5A1-4CC0-883B-2028E250466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$E3EA7CEE-B352-4E6E-BB7B-47CA29E27615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990f59d07848ae186a5a5c184b614bb4c9cee8aa","datavalue":{"value":"6369838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$622267DF-AC93-4142-A95C-D3F463E17C4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929866$1F8AE539-44A9-433D-8910-DFA90A7529E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929866$E6632EBE-6F6B-4060-A430-A050596F04A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e659c0dd63b1987ed9bd275c424b66e41c92a04","datavalue":{"value":"continuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929866$D95EFE88-811D-432A-9C28-6DA3680B478E","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":"Q2929866$455C9BB6-85BE-4DCC-A935-C78DDF582B3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81f61180ffbd21031a0a7df2fb70f1af42e991a0","datavalue":{"value":"https://doi.org/10.2298/pim1206079l","type":"string"},"datatype":"url"},"type":"statement","id":"Q2929866$9C8EDAC2-00EA-4178-BC07-6B4AC929C74A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbb03ee4247b393f55910511311b6da2b1bf6f06","datavalue":{"value":"W2068291943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$267C0C51-DBB5-4673-906D-26D85BEA02E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aff5036ae28fdefd9b93e835fc2996ea93c88ae7","datavalue":{"value":"Two subcalculi of the calculus introduced by Curien and Herbelin to provide the Curry-Howard correspondence for classical logic are investigated. One of these subcalculi corresponds to the ``call by value'' and the other to the ``call by name'' paradigm. A proof of confluence is given and soundness theorems are proven for both variants. A thorough overview of the work on continuation semantics is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929866$2E4EB632-31B1-42D4-8A08-9C653430A285","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"dc65ca0bdf9d610160738d8acc789d9856e96d84","datavalue":{"value":"bafkreidvnpy6sym4vcagq4e4xzgckuqyf7d2chiw2xz2hk7jy4545bo43a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929866$6720050E-253D-4B9E-AF16-5AC4D7BD13E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"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":"Q2929866$FC01DAF5-F8DF-43B0-A319-1C8044D58FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d066023fe0d97db41b5e4089b2eae7b2146db","datavalue":{"value":{"entity-type":"item","numeric-id":4992396,"id":"Q4992396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2bc5cf86c692cc4c0b4e925e9ecc654b685e57","datavalue":{"value":{"amount":"+0.816889226436615","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":"Q2929866$26B63A81-5D03-4D6C-A2E2-4F1AC5EF6CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8d37e32c68b44405ddb0c6dd685997788d0dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5249031,"id":"Q5249031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95efc9d6fb78fdca96c6308e93cd88fae786494c","datavalue":{"value":{"amount":"+0.8167044520378113","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":"Q2929866$92BE6F5A-E027-4DD2-B4E6-28AB29ED5C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869135bac15d9543c59bc2a25d5e145a706361f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222823,"id":"Q4222823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e59fb634eb19db4669640803129f654e7436854","datavalue":{"value":{"amount":"+0.8105482459068298","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":"Q2929866$29BAF851-6976-42E7-AB57-D118D7BD1D82","rank":"normal"},{"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":"aeaad1be7f41383e8bc25fab2be64b5243061980","datavalue":{"value":{"amount":"+0.8077302575111389","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":"Q2929866$DB71A8C3-AD45-4DBE-8EAC-DD9812536B1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On semantics of a term calculus for classical logic","badges":[]}}}}}