{"entities":{"Q5864201":{"pageid":7893752,"ns":120,"title":"Item:Q5864201","lastrevid":56860929,"modified":"2026-03-23T21:16:42Z","type":"item","id":"Q5864201","labels":{"en":{"language":"en","value":"Explicit Composition and Its Application in Proofs of Normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537542"}},"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":"Q5864201$E92EBDBC-62A1-4343-A146-C1B8C0A24AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af1e4428ba4adbd5418a4a36a93110c4129de2e4","datavalue":{"value":{"text":"Explicit Composition and Its Application in Proofs of Normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864201$26F1F866-6A2B-4E0C-B720-C167D59AB837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b02f4ca4558214e4f81ff75d55965ce9cb8273dc","datavalue":{"value":"10.1007/978-3-319-22686-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$091F63C4-2992-4738-9390-E12E8C223F62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864201$331AD010-9300-4894-920E-34B161EC0B5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08fb054990c1718394bd86a4e86a0af50376f17","datavalue":{"value":{"entity-type":"item","numeric-id":5864193,"id":"Q5864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864201$DC40D1A2-A31F-4E0C-BF0A-3844AB36458F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5864201$1EB1F1F9-BD7E-4443-9A18-ACD22518717B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$41B93327-875C-42B9-A3A4-14BCDC2C44CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$524FEB5B-DE25-4BAB-ABCA-8D770E279010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$3CD1EA6B-EBA0-4750-BB7B-9C3C7AA0585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$193D6ADB-7F63-4C8C-A55A-0C9CD9541489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04687d18658d2c02766a861cd37506ef13d917c3","datavalue":{"value":"7537542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$85C600F6-6977-46B4-A32F-63B1EACDEF9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864201$7AEE33D2-D9DC-428F-B1C0-0689D7191C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864201$B354284B-6A67-46E9-9210-DC6F4B818BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b438ead3706b9a58943ed2c38ab18c7c3a0d91d7","datavalue":{"value":"explicit composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864201$F1E28D5A-68D9-4B18-933A-9AD081CC7779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864201$3D9450FC-0BCB-4AD7-B7E6-DA4D3FEB9E94","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":"Q5864201$F9783AC8-7C27-452E-8E6F-2FAA8B838597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93982a45521977787b5e6c8b50090ad420eab057","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864201$526180A7-4507-4F44-9464-80D734AB9D0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6890d3aa811edb1981ff89173eb8dac8f9c4ae5","datavalue":{"value":"W2256771682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864201$59874193-27B9-4F7F-AF05-5E83DB77463E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e677b442fdd89852c7666f24bf07a682ef5e41","datavalue":{"value":{"amount":"+0.8831044","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":"Q5864201$79CE70BB-AC93-44DE-9705-1A716060797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d89f45f3b6d94ae5ddf6af45acee1c0ddf93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4373558,"id":"Q4373558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6af3099faf510cbd46638242a7c00835856d69","datavalue":{"value":{"amount":"+0.87929994","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":"Q5864201$B7736965-0B3A-4D67-A67B-F38C2136945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff7d8134db01fef1071946d35b4829b58f65630","datavalue":{"value":{"amount":"+0.87728834","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":"Q5864201$182AC9B8-B744-4636-801E-3619B5A7E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ded80ef1f98f119951c284cc3f3b9d326fb75c7","datavalue":{"value":{"entity-type":"item","numeric-id":1931341,"id":"Q1931341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2850bda1653e1cfaa68760b7eb00a65f8d3756","datavalue":{"value":{"amount":"+0.87229496","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":"Q5864201$AAA56303-126C-4A8E-A918-E1C5AE9A5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30ef0dfbab6f924ba9df461f9b9014cdb090cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3460077,"id":"Q3460077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c1d9482bf144222acc7dbfe25a3c219388c1ab","datavalue":{"value":{"amount":"+0.87117064","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":"Q5864201$42F2445C-FEE6-4D61-BFE5-F792D4AD2679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350823aa1d64e7b4b83f87f10e1cb162e4cdf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3819063,"id":"Q3819063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9ca12efecc240a6a43b3a3b52d8bb955761314","datavalue":{"value":{"amount":"+0.868937","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":"Q5864201$38ED4AF9-0864-44B8-A5AF-BEF9F9ED1E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6e85de2d4743ef17393a0b80ef6fd7bdef75b9","datavalue":{"value":{"entity-type":"item","numeric-id":3779774,"id":"Q3779774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8881622938afb446c67fda6ae5d2fe7fd5d4bd","datavalue":{"value":{"amount":"+0.8670943","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":"Q5864201$D3479E2D-A577-41E8-A470-3C5B8718E90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c79531b122cb8e2114771db879567f923e70c7","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c6a3ad09b2971c0b9347240449cd9fd5bb2afd","datavalue":{"value":{"amount":"+0.86500204","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":"Q5864201$637A7281-90F0-45EE-A77B-F9D96157DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16a250b9efff214d6607383d964c2e9263ceb9d","datavalue":{"value":{"entity-type":"item","numeric-id":4440551,"id":"Q4440551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58720a1a80093de13ce8f96b864b74b903d21e8b","datavalue":{"value":{"amount":"+0.8649229","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":"Q5864201$3CA18F10-C1DD-4722-AB87-B7A5C61A5439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257484738ef736276640e2464ffa7accd4132102","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2871143ce89979b2a4a85f9f5ad565ead541833","datavalue":{"value":{"amount":"+0.86452925","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":"Q5864201$60A1924F-00F7-41D9-9787-FA4E8D0CCE5D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864201$64A840A3-72B4-44CF-8FDD-A74FF1450473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5864201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5864201"}}}}}