{"entities":{"Q5372008":{"pageid":7401582,"ns":120,"title":"Item:Q5372008","lastrevid":100866656,"modified":"2026-06-05T23:19:01Z","type":"item","id":"Q5372008","labels":{"en":{"language":"en","value":"Call-by-name extensionality and confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796953"}},"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":"Q5372008$4D0AFFB9-4562-41B0-9D86-B26A6D2F6D10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"007ec17638d905f701c5e1cc8b677b57b26a5a8e","datavalue":{"value":{"text":"Call-by-name extensionality and confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5372008$C58FFA14-310A-497A-99C8-58A90C8F137C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f04227d94f9fa5c7d7e3670bdb288c89dc8369c1","datavalue":{"value":"1418.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372008$BE0CF945-BF03-4CE1-B9CF-7A41E4840F89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132b6716d64667323f7a92cbc89a088b67159c0a","datavalue":{"value":"10.1017/S095679681700003X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372008$0F923EAE-F9D1-4A38-B38C-F1242A43F529","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e993b5b5fc86cdeeeb23aa116dc47aa2b2e2fc93","datavalue":{"value":{"entity-type":"item","numeric-id":2291827,"id":"Q2291827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$9113CD90-C716-41CE-97CD-64FF6C328C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$BBF6A73E-F959-45E0-9823-4056DE293F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$692259B5-A19B-4C06-A0EC-6F8150514241","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$24E91F4F-485F-44C7-ADD6-FC0A1E8E442A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5372008$97C45EED-BEC3-4677-A074-60564933EA32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372008$EEACABEE-874E-4EC3-A559-9FD2D243857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372008$38DB2FB7-44D5-4B2A-B534-C631C6A2F7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e462874a3d552e6d2e632f53e55798f4a6b09147","datavalue":{"value":"6796953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372008$052ABDCD-6D1C-4C51-A19B-A08C6941014C","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":"Q5372008$6C00700D-62D8-4014-B799-0FEF48AF87B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$CFDB9A39-8A24-44C6-ADF7-0E64182FB7B4","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":"Q5372008$9E109B0E-4A58-47A5-8C87-338A41689989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bb49c0201e84eb9265491c2c42472e03f2c66c","datavalue":{"value":{"entity-type":"item","numeric-id":4992396,"id":"Q4992396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$D2F284FF-4736-44CD-81B8-C77755C965AD","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":"Q5372008$FE80BD25-B84F-45F4-9F3D-E3B71B3477C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12de2044ce18231b11890ea9775fd9ae372f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3163882,"id":"Q3163882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$C5BA3B3E-67A4-4A3C-9614-B23A19D7060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$D122E3BE-3A17-4082-8824-71543C63D320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d596656bc8fbd0245684abd5ccfc1f16e34465eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410703,"id":"Q5410703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$FFEE4678-6F2F-467F-A555-0A917045FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f0b9f1035abafee6fab4a2c1e93065fff0f7d9","datavalue":{"value":{"entity-type":"item","numeric-id":4457453,"id":"Q4457453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$E571E232-CE11-4265-B2C3-0BCA145C6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f7da21513c3e54b493fca964adead13ded567","datavalue":{"value":{"entity-type":"item","numeric-id":3189857,"id":"Q3189857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$1302B22A-7D72-421B-8D6B-F695A167D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd8d78db07bbfbadb3bd525794ef4a1e8772f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$B24A0F91-9278-4C34-A71C-9450AFEEC538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c955b55aa93e4322e27fdf7cf9c017b56661300b","datavalue":{"value":{"entity-type":"item","numeric-id":1117204,"id":"Q1117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$96CE0AEA-EEC3-4892-8E3C-3974A5F15742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$B5292B90-D6FA-4697-9016-10E8021CB0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d69e2311c34607d36c964a6bf0442ddde06789a","datavalue":{"value":{"entity-type":"item","numeric-id":4635798,"id":"Q4635798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$54557170-2CB6-43E2-B9C5-9F89AC01716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba77032c0040be2f70dfa30571b8befbc2b97dc8","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$40D1F4F8-6E4B-44BF-B1EB-830F7B395EF8","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":"Q5372008$1A885D3C-3360-4D91-8C6E-156F34E85397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb346c6a61028960a7bf9a547c5202cead48a53","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$BC14B6E0-69B6-4004-8321-545C2D2BEB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$DC8946F9-0863-4AAA-AB51-2C6DD96B0B47","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":"Q5372008$6D4B4FF1-E427-4638-8AF6-41302651F1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe9b14888d3874863453540ccf2b935b1e5e57e","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372008$244AF005-E779-4F03-9BCE-C6F01F961684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4e46f0c184edd1b971c1e028e8fa2baed0481d","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1af215cf1e2845d1808aaab3b61426205f354bc","datavalue":{"value":{"amount":"+0.7500683069229126","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":"Q5372008$38ED8735-A2E7-4077-9ADD-2079C8799E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b7383a06c5ac8f2170b886eefaf147b6c4550f","datavalue":{"value":{"amount":"+0.7347356081008911","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":"Q5372008$9D394F63-35D5-4FA3-B61B-A58C8265DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e51f55f5125df936d5e6001ce29593b767260a","datavalue":{"value":{"amount":"+0.731821596622467","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":"Q5372008$FF1777A9-5378-4F73-AB7D-A36458A2A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f141295eeddc02ddf3f9b9f34cb7efacace70f8","datavalue":{"value":{"amount":"+0.7316645979881287","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":"Q5372008$712C20CA-472D-40BE-976F-22092DD4B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dead896a07717d2b8783bc3ea33fdc03501a51","datavalue":{"value":{"amount":"+0.7292256355285645","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":"Q5372008$0DD318F4-88F3-4CC3-AC8A-B670BD9F7F68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Call-by-name extensionality and confluence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Call-by-name_extensionality_and_confluence"}}}}}