{"entities":{"Q3830972":{"pageid":5860878,"ns":120,"title":"Item:Q3830972","lastrevid":54465830,"modified":"2026-01-26T23:36:01Z","type":"item","id":"Q3830972","labels":{"en":{"language":"en","value":"A Proof-Theoretic Account of Programming and the Role of Reduction Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106805"}},"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":"Q3830972$095657B2-5F3D-4E11-A1AE-2B2BD4705F67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de2bf26ac0065e9e1b963ab53b023b8e707b0914","datavalue":{"value":{"text":"A Proof-Theoretic Account of Programming and the Role of Reduction Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3830972$630E425D-8082-402D-9DF8-68EEF1B79055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8860ad8a549918d9de9131dea1144e63f9d25588","datavalue":{"value":"0676.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$48104F71-D383-4A10-91B9-9BEF3F1D290B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48bd49ccd25bf6c04958ee5081f59c5e7c485a95","datavalue":{"value":{"entity-type":"item","numeric-id":3830971,"id":"Q3830971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830972$8F3B2290-4615-4906-B807-B34D09912486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3830972$CE7755BD-299F-43E7-831E-7CF51FC474D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$EE2B29BB-E44D-4504-AE6D-88FF38816DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$E4CD55BE-B160-4BD1-8367-6A2DF093D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$A801C9D5-939E-4491-B465-E3AF6A70440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$D3EAE028-8EA7-4AE5-8E8E-3F8F53CB8E2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d09a0a69bbdf38012c9ad050a27c299c5d485bbe","datavalue":{"value":"4106805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$75A2638C-B26B-4821-998E-A02664E9F875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$7F1DA319-0F14-417B-A0AE-427EDD90F8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd3cbf1dc713b2f81234c6843211146e0633857","datavalue":{"value":"measuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$DD13E4D0-B45A-4604-A622-FF3F7A95FA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907a1712ea2fbdeea01b96a1b72e77e1c3aec12e","datavalue":{"value":"description of logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$0497B210-4B91-4C68-B230-33D7D3994F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$1F4A8D35-43DA-42B1-8ABA-93DE6A7ACCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$98C0213C-B9E6-4DEB-B126-26C883C65B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f6d5b53f756c392009b630eca7276190d249a","datavalue":{"value":"introduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830972$F5FB654F-F4C7-40C0-9A43-D6221B5ED602","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":"Q3830972$768B507C-7DEE-439D-BEA1-10C9A563FD5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47d564ceb89cccb5948a1fe122686c2260caa4ae","datavalue":{"value":"https://doi.org/10.1111/j.1746-8361.1988.tb00919.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3830972$DD351818-46FE-4FAD-9EF2-1EF30F9EE2BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfda3eb66dd15f9bb14dcb6a3ef5827768fd0641","datavalue":{"value":"W1971091241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$E02A214D-37D8-4B6D-8F1A-3A8592F232AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3d4a9eaaae64ee3ab855522c26e4643e01ea476","datavalue":{"value":"Q56050816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$75B1C8D6-3572-4877-BC66-C8F3A3AA91A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"286498cc1d5d8eeb72c15e73baf0d4b5d18924fc","datavalue":{"value":"10.1111/J.1746-8361.1988.TB00919.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830972$D61260A7-E54E-4103-8AC5-84E39792874E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb578a8a45e8eec7ab4a03017dec058b7669fd63","datavalue":{"value":{"entity-type":"item","numeric-id":2834878,"id":"Q2834878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830972$80E8F55B-9D50-4A7C-BB47-9B41F19D54D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c668584ad06cf69a53e8c08a408adc123b270777","datavalue":{"value":{"entity-type":"item","numeric-id":1005958,"id":"Q1005958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08cbe49f9cbb3200159456ecd1fe91ac459b533","datavalue":{"value":{"amount":"+0.7311623692512512","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":"Q3830972$5D828106-8BAA-4AB5-95C3-B48318E20DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73311121b3c8f4ba9b82f27416e15f4893fbbc45","datavalue":{"value":{"entity-type":"item","numeric-id":2844809,"id":"Q2844809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efe79c501e8e0975dd0a6953e6cb96f0f59c4af","datavalue":{"value":{"amount":"+0.7290105223655701","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":"Q3830972$1D082B65-0ACE-4F66-8CDC-6B475C453763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c26251f6824bc527e5a652aa3aafa9332146550","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeb29c074a48408b4cc50d812dd14af880b3905","datavalue":{"value":{"amount":"+0.7186222076416016","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":"Q3830972$CE9E0E37-9C83-42F5-B825-667C7489B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0588fa81d050cdfd9c6444384081d8916c34387d","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92138ecb85df53e4dded488392dca36f4d06bea5","datavalue":{"value":{"amount":"+0.7099924683570862","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":"Q3830972$8AEF8080-F499-46B7-BE22-A9DFB9B9CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bce44c26bfa68c4bdd6a337d32f1925d9a163","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5692622cab4bfdebacb2957002b4df4abda30188","datavalue":{"value":{"amount":"+0.7089187502861023","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":"Q3830972$77AFB58B-69D0-4744-B6B6-BD152982FAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3830972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3830972"}}}}}