{"entities":{"Q5249031":{"pageid":7278599,"ns":120,"title":"Item:Q5249031","lastrevid":91700573,"modified":"2026-06-04T23:50:54Z","type":"item","id":"Q5249031","labels":{"en":{"language":"en","value":"Constructive classical logic as CPS-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432033"}},"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":"Q5249031$A15361FC-A998-4BF2-BD96-012A47887F59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae0f526845825bcee27481bcb92a60293c6a7b33","datavalue":{"value":{"text":"CONSTRUCTIVE CLASSICAL LOGIC AS CPS-CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249031$F8575790-13C3-4D9F-BE32-1175A27066CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb9d85ce6c2a31a7b61b581f9b84f91423cf8782","datavalue":{"value":"1320.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$CF3A4374-58BD-408D-8AF3-369C635744ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08e36586a0541394740fe364fb038502c9a8e743","datavalue":{"value":"10.1142/S0129054100000065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$D21EA104-ED10-488C-BC01-E65947B6ED6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac4d8cb9bda1fc38288f1973a92ad77353eea93","datavalue":{"value":{"entity-type":"item","numeric-id":4249178,"id":"Q4249178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$13ADC381-7459-4CBB-80C4-C4CEB00D53BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$57E4BA9B-67E4-4D9C-A449-36F7E45EE434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249031$5822F63A-B14B-4EDB-B647-1138E47E4FDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$CA70E7E5-7776-48C1-8DA4-70FD68A9B809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$4EC927A1-4D73-402F-A2CF-2ED7862C6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$431A49E4-DEEB-4A68-9EE1-BBC6592C0E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$C00A2DE9-A5FB-440E-8D36-01999979E0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$A2D1D7CD-8D42-4DCC-8785-F87CE653B9A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4a8bfe2b19fd3bf96853ef2210c64e86bd1576b","datavalue":{"value":"6432033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249031$0E904F0D-1D5E-49E9-967C-0D1FF2786E94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2af256c8672da3de8ad786bd968f4b9c903099d","datavalue":{"value":"constructive classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249031$F0A20BDE-C80A-4145-9981-2F9902E9CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6631717ee73fc1a36f44388f11f41a2128587c8","datavalue":{"value":"CPS-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249031$DFE54318-65DF-4F4A-8815-3E7C5CB32723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc0cc04441be44790c5895cc260e69e364ddba0","datavalue":{"value":"CPS-transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249031$820B15E9-9663-4F2B-AD74-ACD7E6862B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5a77ddf9d71c9a33b078ae2c88172ec00a3353","datavalue":{"value":"CPS-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249031$96E3E9AD-CCCB-4675-A0CE-E27467647775","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":"Q5249031$F2C8E058-96A8-45DB-9A65-9ABD07EBF11E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$A090E610-46DB-422E-8EC6-90DF742CCA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$E0FB66E1-73E3-422E-AC34-7E753A1EF4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$03F262F3-BFA3-415E-BC7E-2C69DE77ABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$E30B5469-23FC-41EB-A1B7-D5D45CB24F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$AE212E2D-202B-47F8-A92F-BA146D86B2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$37AE924D-012F-4CF2-934E-EDC7014C35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249031$AE2DEFAB-165D-4D50-9396-AF4C9FA086FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1dce2060544faae5d3d8c2478e57bda2ec7675","datavalue":{"value":{"entity-type":"item","numeric-id":4501589,"id":"Q4501589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4febb7d8f0a4076d8edece297eb445493beb63cb","datavalue":{"value":{"amount":"+0.850134015083313","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":"Q5249031$F3A4B1C9-1A2A-4C24-BFAA-596844F9835B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8412822ad68aac4c5d21a72f0fb6255d26dd9554","datavalue":{"value":{"entity-type":"item","numeric-id":4357067,"id":"Q4357067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4febb7d8f0a4076d8edece297eb445493beb63cb","datavalue":{"value":{"amount":"+0.850134015083313","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":"Q5249031$E882D966-76F0-452A-B7B6-D444D5850BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f1df44ceacc83047a3b7a43e782e7aad9020","datavalue":{"value":{"entity-type":"item","numeric-id":4249179,"id":"Q4249179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd2c0ddbbd270dff1730730c7206aa7d10e6b51","datavalue":{"value":{"amount":"+0.823695719242096","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":"Q5249031$8DD44132-B85C-494D-A02A-291E9E69D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673ce79055a0731e794fdcc730f374a87024b12e","datavalue":{"value":{"entity-type":"item","numeric-id":1330460,"id":"Q1330460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd2c0ddbbd270dff1730730c7206aa7d10e6b51","datavalue":{"value":{"amount":"+0.823695719242096","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":"Q5249031$9A4E09F8-F89E-47E7-B2DA-F86405CB9A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"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":"Q5249031$AE01FB7F-FD5D-4A32-9D38-9CD2CA0EE3F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive classical logic as CPS-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_classical_logic_as_CPS-calculus"}}}}}