{"entities":{"Q5079752":{"pageid":7109328,"ns":120,"title":"Item:Q5079752","lastrevid":40736363,"modified":"2025-04-04T12:50:19Z","type":"item","id":"Q5079752","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533352"}},"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":"Q5079752$65A575A2-8781-4090-B7FE-E56628DAF16E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"079353088ed4a5314701d5f3345d7337d3c45f8c","datavalue":{"value":{"entity-type":"item","numeric-id":5079751,"id":"Q5079751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$22E42AA2-982A-45C1-BB71-0DB4933B72DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079752$762ADC66-A443-425A-8DA0-DB89E7EE4798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079752$D2B7EBD8-1E3E-44E9-9C00-3D46910753AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7009fc4b17bd2d39979ef7c8f917f89de2f261","datavalue":{"value":"7533352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079752$3D1393B9-931B-4C61-83CC-3BDC4DE05965","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5449272cb576e16d27e0f2cc883fc8b9ca6c9e","datavalue":{"value":"monadic reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079752$65E9F316-4150-471C-9AF1-003B1413E125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c424861acb017bbf5cca63f4aac94773a4982ff","datavalue":{"value":"delimited continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079752$DB62CB11-5529-455C-B94A-554F6A1D23B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0869222eed5863d62d92442b3d59218c7e62b62d","datavalue":{"value":"shift/reset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079752$E31DCFC9-8A58-4B79-96F3-67937E5071EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75548e68d633d44c9efd558d52ba244c22edab47","datavalue":{"value":"contextual modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079752$567B2658-AE78-4BC2-AE0C-8B7C3BAB1E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079752$67CC8FA7-3AC4-4E38-9FA8-A4E3E13A5FC9","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":"Q5079752$D4AF5044-BF8D-4394-BEFC-5C24CC44AA96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ca8f6f6b5ac0f34854c5c3a7531294eb51737","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$263729CE-7D81-4FDA-824E-DCF3433B0628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df5399bc2464989c23225ad3ba473f94993f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":968365,"id":"Q968365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$1A0048DF-F0C1-4813-B442-0FACD7CF585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3619685e4ee627f635d8418a28176c14eb857f9","datavalue":{"value":{"entity-type":"item","numeric-id":3498441,"id":"Q3498441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$303FC0F2-4A17-4630-811B-EAB8E4DA8BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$7DA56209-144A-4818-9826-D091BEB4A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$3029E24E-499F-4661-A914-CB5D3E4E8F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9399138386700c7e7c75273f6a0ed02011f9d020","datavalue":{"value":{"entity-type":"item","numeric-id":5255104,"id":"Q5255104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$6885CFB2-0314-46C8-B37E-A80007F1255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7639e52a783efa9e92764c5091bf62443b11b023","datavalue":{"value":{"entity-type":"item","numeric-id":5311275,"id":"Q5311275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$61F9593F-9D1C-4465-9478-7DC3FAD11C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de37c65f51d212afa7325f336be90ddf9e55be6","datavalue":{"value":{"entity-type":"item","numeric-id":3612633,"id":"Q3612633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$1B2FE53B-D6D1-4CE8-B027-DEA1F21F48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$15C50652-B76A-4BDB-9083-C191EF0D7666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$044E7C3D-DA90-4EDC-BFCA-B2EDACE84F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$13AE1E48-61FF-4322-B05D-E14797B63889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$DF189E12-6E35-4E7B-ACF7-B355EA8B99F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079752$6A2F9BD0-30E1-4B36-9A55-B6710DEAEB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"626e8e7af02024e90e57dbe6c5621cab612285b8","datavalue":{"value":"10.4230/LIPICS.CSL.2018.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079752$86DB2B9D-8EF3-48C7-A37A-92B8D8B6B36D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8d5673ccd91a014e2917dc27ae7b87e2aa980c","datavalue":{"value":{"entity-type":"item","numeric-id":3617727,"id":"Q3617727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7388c8df2c83c6849c679f5e39a758a80ac770bb","datavalue":{"value":{"amount":"+0.8974899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$ED30D871-4634-4835-8C56-502D0996F182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a108455a29aa5110743acf27a3fc3200de8f6b7a","datavalue":{"value":{"entity-type":"item","numeric-id":384934,"id":"Q384934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b735e1845aa3304817ae64ca4a50ad3c16e3bd26","datavalue":{"value":{"amount":"+0.87281966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$3B337573-4670-458F-9FEA-0EC8607A47EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df0dede34f866eba73757a9aed4bb232e49014","datavalue":{"value":{"entity-type":"item","numeric-id":3564343,"id":"Q3564343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b00f781a65f7adfb6b7e3a756d0a53ca7991303","datavalue":{"value":{"amount":"+0.8715051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$7C349C9B-CF8D-496F-905E-1EDE0FC6CC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581ea8ef2d4b6bfc72949c2ed3b3f7ebfc4cfd75","datavalue":{"value":{"entity-type":"item","numeric-id":5698260,"id":"Q5698260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf5292a6f8e59651524e129f13a7469600403b3","datavalue":{"value":{"amount":"+0.8639415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$8D654475-15E1-4958-A04A-4FD35EEB294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbeb889c44540dc2fd6fb6f55c9f0124c3f7bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2133473,"id":"Q2133473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a350b965795c21a44e87eeea35f9ba2ecc3b1bb7","datavalue":{"value":{"amount":"+0.8565226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$F45654F0-542B-4C69-B60D-ADC621281573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c676faf020cebcbf15d1f3b0d2fc2503d2274669","datavalue":{"value":{"entity-type":"item","numeric-id":2035423,"id":"Q2035423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c199b67b8e0c208a316a806655e467e62c3d2f04","datavalue":{"value":{"amount":"+0.8554458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$C8776817-1772-4806-87CE-CF4BB3CC4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b51742e09d38d480f544e92a8730690594f1648","datavalue":{"value":{"entity-type":"item","numeric-id":5244812,"id":"Q5244812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9139bdf322b4b1274667a5633b61d3f0f5543a","datavalue":{"value":{"amount":"+0.84949017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$E4C4D237-1E6F-40F2-9182-DE793D4B0943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67354aaf12a375ac0c30a6f4ed28534266de3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1121975,"id":"Q1121975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd350c59dc9a52b1787cc980c6fe9e5c91dfe18b","datavalue":{"value":{"amount":"+0.8458298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$BB528169-7D56-41AC-8403-B6B5EB11E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd07cd97964243d5836926a82d6a5d2420e22e","datavalue":{"value":{"entity-type":"item","numeric-id":3638248,"id":"Q3638248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a79346e11e1bcf3c21dffcebc166edbac8b316e","datavalue":{"value":{"amount":"+0.842804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$243B2261-0A6D-448E-A871-A617FC4266AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd35d2fc49e0c4d25cfc095a557db4ad4025ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2919447,"id":"Q2919447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc9ee692a2077b3a6c14de92b19738a13688afa","datavalue":{"value":{"amount":"+0.84256154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079752$0BA65D39-870C-4004-AB4A-CA56B4B9788C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079752"}}}}}