{"entities":{"Q4530146":{"pageid":6559738,"ns":120,"title":"Item:Q4530146","lastrevid":58266432,"modified":"2026-04-04T12:04:44Z","type":"item","id":"Q4530146","labels":{"en":{"language":"en","value":"Non deterministic classical logic: the $\\lambda\\mu^{++}$-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1747698"}},"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":"Q4530146$A374C365-0E4A-49A9-8A88-E5F230368CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"976b3f91abae7af53f0d8086e07be93735b9bce2","datavalue":{"value":"0997.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$8D420763-A1AC-4BE2-B9AF-3A2BBA269DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530146$799C1C74-3615-47A8-B317-89BBE381A00D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61177d92a3a1953e5f8f5bf1c677bc91c48b5f70","datavalue":{"value":"https://arxiv.org/abs/0905.0456","type":"string"},"datatype":"url"},"type":"statement","id":"Q4530146$196433C4-F2B6-4909-B50F-92B305B5B1FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$4B364D67-6DD5-4B13-8BF3-B29E2BC5358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$CD5ED56E-EBB3-4F64-B77A-3C50C98251EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$99CF1182-0DF0-4BB3-B3EE-9DB0769FCCD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737943c3cfc1b7036189cea7694e0c0ec0fdfea8","datavalue":{"value":"1747698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$32A50D48-D501-40F9-A89B-A3D296337337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e96119f9b11ba13fc7293d803af6620220b76d63","datavalue":{"value":"nondeterministic classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$D22D88BF-4F9A-446A-912F-55E468676BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236c0c78ad2a502a904b51c50f46b2bd1abe2418","datavalue":{"value":"extension of \\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$8937B8AE-90FE-49DC-93EF-7BA8C87A7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$A592B75D-527F-407E-BC66-244178552904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$DF018476-024B-4A6F-97CC-A04430DDF964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$C738CFB5-70AE-4838-A089-E7F2FF091016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$B2E609DC-F7B0-4620-AECD-ACB2A81AAC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133cdf8c83bb39c30c2f578d412ec8bbcb60cc46","datavalue":{"value":"parallel-or","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530146$BDCC9513-31F3-484F-992E-11A97E57E91C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530146$23EFAABB-7253-47EC-ADE3-48E7EF705FF0","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":"Q4530146$0CF6C530-AA47-4B2B-B28C-59900875033A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae311926901b6f1ea5640d81360ad861b56c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530146$F70AAF7F-203E-4F1F-B425-E12C989317DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530146$EE4A05A6-F85F-46F1-BD67-FD6B0AD73E3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95884c40a29c92a4a2e56e30f3f78de6513863b6","datavalue":{"value":{"amount":"+0.9076484","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":"Q4530146$DC42A6BB-534B-47A0-B61C-89D821A3109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484ab08c23fe35f4c64a112784707ba9afb7f322","datavalue":{"value":{"amount":"+0.9074491","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":"Q4530146$58BEBCCD-110E-4A5C-BAA6-FD61E1123690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af995efd711e4dc29b7330a890de808b1e052fb","datavalue":{"value":{"amount":"+0.888338","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":"Q4530146$CAABC72F-96C6-4B18-8837-7156A185D02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2261462d6a6417a8558f399e5f3e5e7b8a3bcb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b928291f51ae7630cc8136a2df20dbf46969798","datavalue":{"value":{"amount":"+0.88475156","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":"Q4530146$E7B7322B-284C-42C7-920C-AACB92A4ADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d1cf96fc99413b81d4f827ce853fa418971545","datavalue":{"value":{"entity-type":"item","numeric-id":5038570,"id":"Q5038570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d0a583ebf52fc8e6281dd4d6dba01edfce1bd8","datavalue":{"value":{"amount":"+0.88393855","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":"Q4530146$31FC5D30-B722-4F02-8F4A-2583379B875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b8398169fbeb35abefb0b70651eec97095a103","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b809d8b66ce5e301bbd7cb25014cbc412a40387","datavalue":{"value":{"amount":"+0.8834582","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":"Q4530146$05B5A86E-CBE3-4E77-99D5-C2D4F76438B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799aaac5428e5b061e2cb1b7fccdaac45cadd58a","datavalue":{"value":{"amount":"+0.8817934","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":"Q4530146$C52527A5-72EB-462E-8B25-A26E816B3452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6236d0a55a28ffd6f6c873e40f2166dab5b800a","datavalue":{"value":{"amount":"+0.8781736","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":"Q4530146$6B4FAAE9-85FE-414B-ADC4-004DE5D90D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d192880e616dfc1f96e71e7b09694341d86de","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc221072c2e685e3c34a89a5e2d4fc6558c8e72","datavalue":{"value":{"amount":"+0.8779351","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":"Q4530146$820F154D-F8BC-4ADD-9130-E70E8A068161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff29876ae102971db922133f7b62936126803e5","datavalue":{"value":{"entity-type":"item","numeric-id":3564882,"id":"Q3564882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418cb010c1ed0bdbfbd7200cd3778647583c47d3","datavalue":{"value":{"amount":"+0.8773185","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":"Q4530146$DB0EC640-B3D9-49E7-89ED-E8BE1B552E25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb5be71ec99a601724c2ac5ba549a361b098476b","datavalue":{"value":"10.1002/1521-3870(200204)48:3%3C357::AID-MALQ357%3E3.0.CO;2-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530146$ADA58931-1C9D-489C-86C2-2440F2324872","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530146"}}}}}