{"entities":{"Q2503329":{"pageid":2514072,"ns":120,"title":"Item:Q2503329","lastrevid":49917388,"modified":"2026-01-12T00:51:58Z","type":"item","id":"Q2503329","labels":{"en":{"language":"en","value":"Investigations on the dual calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054321"}},"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":"Q2503329$2EA31281-9912-4098-8076-5AE53EB052E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05b8c240ac9d660dfe4a0ae34a36889023c67f37","datavalue":{"value":{"text":"Investigations on the dual calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503329$74B638A2-F076-4755-8865-9F56100CB993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19ed3beb816974860125bdfa5e1691630950840","datavalue":{"value":"1097.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$B67AF27D-F31E-4EFD-B450-5BA80ADC1303","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$8AEEC972-F97B-408F-83B4-18D75CCD5E5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-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":"Q2503329$228E81C6-13A4-433B-8571-924DB2BEEB6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$78659924-2A9B-4A27-A2A5-E4DA34EB93DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$2F743A20-4951-4E3A-B2AA-17AA740D6CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b290b102fc24833e9d06f2eac2c3318165fff8","datavalue":{"value":"5054321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$B946CEA8-4EAA-4287-A665-CB14C9DD5A42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb59c9f34d3c81e61b3a2c9d8c9182884aa2134","datavalue":{"value":"dual calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503329$1DB748A0-D12B-44D0-B907-A47238F8CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"042dc5abf898dc8bbec1b56c7d47368abba4c2ed","datavalue":{"value":"classical lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503329$5C7DC085-0B98-4DEF-B466-EBE546FFF332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503329$D8EDB9A6-2400-41BA-9A48-08FCDC179A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503329$21C50CC7-C71B-4B85-A46A-73A197E2D28D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$8498197E-A27D-4650-BA65-7CA56CE18F35","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$E2EC09C3-4F56-481E-9CF6-2EFE3130E793","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":"Q2503329$1AC264E1-EC91-4E11-B37B-7CEEE5DC0435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4972ff57e254789887732fa3954c6379b8d99b73","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.04.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503329$1DF53187-F1D7-4048-BCA3-E385BA852CE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"852cc766c04010b4cc0e0bbaf6e6d68c66553da5","datavalue":{"value":"W2058375937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$92232B34-B439-4C4F-9A9E-7F171283B2C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$A12F44D2-9301-4EC7-A5AD-9399E0191E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$D7438A35-08E5-42D7-9D17-A510D9D7BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$F7A8286A-559F-435E-8D9E-016334BDA49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$8A561157-6F56-4472-8466-318FAA753A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$FD12C829-BC57-4412-A026-23A1FAC82D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$4BDC3212-5FE1-4A8D-AA36-EB7A1CA11A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b66b617498b4af7bc3942e7919608e518b1a77","datavalue":{"value":{"entity-type":"item","numeric-id":5096263,"id":"Q5096263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$BFB3AABC-D600-40BD-861C-51A1BC62548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$69F2B5E8-C66C-4AB1-9C90-A5C62689EFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$54551DA6-E6DF-4DC6-8CA0-E676EAF1A213","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":"Q2503329$A704952B-B829-4124-A7FF-8ACEE0798E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361356c3f2dc09d85467b4918ae3f277f0e46be0","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$3617DB37-9469-4C3F-9637-D3C2887B04EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$A93B77C5-F86B-4383-8E0A-B2555BCBE757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$3B2DF8E3-5078-42E0-8ED2-CD7FA746F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$93E4FC52-19C2-4C01-8D38-B38DC38F9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$4DB2FE2A-99B3-4FAA-AB16-A23EEBE70391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2225749455c4dd2dc8c5b8c2994a20623567f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503329$83C21DF0-99DD-4FDE-8D62-6F5E73528728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff638501f94f141211abce815a64f54d7cf39796","datavalue":{"value":"10.1016/J.TCS.2006.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503329$A30ADD4F-73ED-484F-A067-E2039EA0C976","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fb28875ab49be64b193c59ac5afa46c7b196ec","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb8a2e4e9b2a596a21627dacee6c53aa4e8321d","datavalue":{"value":{"amount":"+0.8295944333076477","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":"Q2503329$5DB517E8-B385-44D8-84AC-324D7B258CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a458238d85fa2292ae683f46194b052e8ce270a6","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01aaa0d0a5963b5c5ed64abf0fb9815026cf30ed","datavalue":{"value":{"amount":"+0.8282589316368103","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":"Q2503329$D4EEBEF4-7061-44CA-AD2B-9ECDB8C3D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bb6c0a493875b35b3625aaa97838d37e568702","datavalue":{"value":{"entity-type":"item","numeric-id":5387838,"id":"Q5387838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305b14163d98eaee4bc6ff7c9c6fb210218e1601","datavalue":{"value":{"amount":"+0.8254674673080444","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":"Q2503329$DD4CCA10-66DD-43B1-8FBD-DC68C67A26FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d550264b6e0b9b9e34fc68c3834fa65e248c7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfce001526eebca8fc80455bcf35b3d582dd1d8","datavalue":{"value":{"amount":"+0.8151193261146545","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":"Q2503329$6E7BF056-691E-4E4C-8D07-D5EBB7E63B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac12194708e90e17b2cafcd1aefcaa8d751f2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4913777,"id":"Q4913777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6350b79725258896c98ab0ddc59050629824c0e","datavalue":{"value":{"amount":"+0.8049500584602356","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":"Q2503329$662D9F23-1C53-4346-9AA8-9964238CD29C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503329"}}}}}