{"entities":{"Q5879272":{"pageid":7908823,"ns":120,"title":"Item:Q5879272","lastrevid":47818705,"modified":"2026-01-02T19:00:55Z","type":"item","id":"Q5879272","labels":{"en":{"language":"en","value":"Z property for the shuffling calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657638"}},"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":"Q5879272$E17A0651-93CA-424E-A5B5-3C8EB1FAEED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da321c8e50cb0281c9497b4203b6a187104458d","datavalue":{"value":{"text":"Z property for the shuffling calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5879272$92F9BC06-3B78-4E63-B3BD-A8EB7FAEE2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ff53f93b42a6c17c7146bfb86890a701396d90d","datavalue":{"value":"10.1017/S0960129522000408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879272$BB4FE0D0-C276-457E-9909-9B5E954005D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$0EFC5D7F-9B06-4340-8ADA-88B910153F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$7D3677C8-E326-4478-8BC1-B7167BB92E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8dc87015129ec1c89bf255858e21552f9da3660","datavalue":{"value":{"entity-type":"item","numeric-id":5879271,"id":"Q5879271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$08EDA698-58F6-460F-A1F0-E65E2CADCF3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$5857C9FD-2B07-44ED-869D-1BAD851236F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f174891c4bb64e0ae9ce793b71bcd4abd9034b6e","datavalue":{"value":{"time":"+2023-02-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":"Q5879272$B6E0C952-96FB-4D30-B1A5-0DA328A80300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879272$5ADB6836-0CAC-493B-85DD-2F3CF1E5108E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c07fab2aba5b913cee5a380b7a1b0924453d1380","datavalue":{"value":"7657638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879272$4B306379-56F0-41DC-A0A0-B7DA1C412414","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879272$237B2B95-AD06-4A29-9360-12BE831C69F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85b05ca2be5469a15eb75e4dec2f14a8691670c3","datavalue":{"value":"Z theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879272$F09ECE7E-75CA-439B-A94A-13BE02EEF6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad5e49c670deeaa225df337f0d26ed912542eda","datavalue":{"value":"call-by-value lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879272$AA6C383D-FD00-45E2-8713-C23FF46CDED9","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":"Q5879272$DCB5B116-C008-4210-A9BF-EBAD83CC8E6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cbaccbfae9aafaa67a0696719c9f9ba5477f415","datavalue":{"value":"https://doi.org/10.1017/s0960129522000408","type":"string"},"datatype":"url"},"type":"statement","id":"Q5879272$7DFCEB69-EBD8-4B71-84C0-ACAA39D36E80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b735eef2e66b29321ee5d6b9065292c84c65fd48","datavalue":{"value":"W4313855514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879272$FF3DF36C-872B-44C6-A35B-3535B3E96140","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$147981EF-91CB-423D-986A-DCDC7A99F62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884ff47e3131a2ae77eac9b93d6ec7e48620fea3","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$CEE39564-36EA-49F7-AAEE-95CAAF3B8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115adf875681b76e6e24dffcf58a246bfd7b0a90","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$1070A73A-E647-4DFB-8809-4978212AD70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$584913E5-F166-4F72-9D21-15CD1F303A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8570075340c36ae9bd1ce090d8089c22f64c076","datavalue":{"value":{"entity-type":"item","numeric-id":1989338,"id":"Q1989338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$C7D51822-1DC1-47E6-B5F5-545291F244CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04bf9edc85e467f2ae292638693ef48fb035724","datavalue":{"value":{"entity-type":"item","numeric-id":2062209,"id":"Q2062209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$A2D10117-9C72-4168-8C33-ABE27F1BCBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46d804a5363d847a2e9e54d905ff7e520257179","datavalue":{"value":{"entity-type":"item","numeric-id":2016071,"id":"Q2016071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$84383ACA-3AE5-4088-A596-B03748108D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6532a0e048fa2f8a86720046ce68900d271976b","datavalue":{"value":{"entity-type":"item","numeric-id":514511,"id":"Q514511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$6198A6A5-B2E5-4C5B-8F55-4D41DEA39D96","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":"Q5879272$3DE5D8CB-5A17-4839-9469-5A05CE57A332","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":"Q5879272$E445287D-97BC-4F96-885C-4F27CD1B9B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666e18f5bd3d70bad938d3547748f9bc9d31b864","datavalue":{"value":{"entity-type":"item","numeric-id":6159940,"id":"Q6159940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879272$4FA6D15F-0851-4FDE-9B7E-D1FCDBBB3BFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33161925e974384a82e9ab97e9c970fe5fc4161f","datavalue":{"value":{"entity-type":"item","numeric-id":514511,"id":"Q514511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b096edd8639ef8a389d2e0e0b4217cde5883db38","datavalue":{"value":{"amount":"+0.8358027935028076","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":"Q5879272$EA72D9AA-FA1C-4F41-BA31-2EAC3D663B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356366ceec38d462f10db45861a51a3f8cd5043a","datavalue":{"value":{"entity-type":"item","numeric-id":4501158,"id":"Q4501158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a6fc276d7065565589640c7a2f394fa5042992","datavalue":{"value":{"amount":"+0.834930956363678","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":"Q5879272$B6683B3F-0B4B-478D-AD3A-E211C28E28C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbdc6542d2cf953da88e7f6b4554d455ec1735e","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dba0ce55b6eedc54f8971457d9639c3370091e8","datavalue":{"value":{"amount":"+0.7611656785011292","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":"Q5879272$9E33AD45-2411-4E31-A080-05948B724853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0854ef5e3b5e5faf28543a0e24eb306047e6caac","datavalue":{"value":{"entity-type":"item","numeric-id":3576003,"id":"Q3576003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca9180dd6709b9b980ab1511bad1d83ffe54068","datavalue":{"value":{"amount":"+0.7580987811088562","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":"Q5879272$714C908E-464D-4CDA-A62D-0D1FB78196C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edf92a06695a8c7a3d3aa9d7b5fb933baace185","datavalue":{"value":{"entity-type":"item","numeric-id":5212041,"id":"Q5212041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff26cf2bda9e30e985b84c446b822908a8494108","datavalue":{"value":{"amount":"+0.7260986566543579","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":"Q5879272$8797853D-B5DC-4F7A-94BF-E5885DDD79E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5879272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5879272"}}}}}