{"entities":{"Q2229151":{"pageid":2239894,"ns":120,"title":"Item:Q2229151","lastrevid":43718013,"modified":"2025-11-10T11:23:26Z","type":"item","id":"Q2229151","labels":{"en":{"language":"en","value":"Pure pattern calculus \u00e0 la de Bruijn"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313967"}},"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":"Q2229151$6FCFD056-8420-4E64-8336-F28F16B22F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55c95784bc24570a4c918d60e4c36dd1701392bb","datavalue":{"value":{"text":"Pure pattern calculus \u00e0 la de Bruijn","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229151$AD9F0C27-7B30-4E2E-B607-F74CE276D1A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$9622F3A9-EEDE-42F0-B3D9-DBB8DD88BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b2106c60d9794103faba19f8cba05fb6a81293","datavalue":{"value":{"entity-type":"item","numeric-id":1652985,"id":"Q1652985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$8F4847E8-5C9D-48FC-948D-3464CD3525B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6031ae08b22f69d4e98c8ed6589e49c87f8fdcb","datavalue":{"value":{"entity-type":"item","numeric-id":440473,"id":"Q440473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$2F9E718E-99DD-488E-B5FD-EC4310AF7F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229151$0539E3A1-4F75-4998-B89E-08D90B89F0A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fed85b5171b604558195aa2e13e1b1746fdf44a","datavalue":{"value":"https://arxiv.org/abs/2006.07674","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229151$9ECE78B4-51EC-427B-8968-964BA9593E5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$72BF8BE2-EB74-42D7-A084-86440E4A1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$D47EED32-3DB3-4F01-A882-59BF95704224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16e3c832087fe762a8ee5ec92ff10077be46069e","datavalue":{"value":"7313967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$C33B8016-CC0F-48E3-9411-36E7B6388641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229151$55F52D69-17BE-491D-958F-52E4B5D4CB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b85d52ce2af9423a6685f9466565f0a25344556","datavalue":{"value":"pattern calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229151$5F55A51E-ABEA-470C-BB4E-B3F6F8528A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229151$6058A8BC-E763-4A3C-B618-C800C5FE9BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a95cd9d37c827953764054721de832aacff0e","datavalue":{"value":"\\(\\alpha\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229151$41350072-A691-4211-9E64-CD436A65249E","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":"Q2229151$2A0CE597-FA27-44A6-9131-F04A4BE4FA05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80451ab391db3169e88d9e9a66a37b2735ac0538","datavalue":{"value":"W3092834852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$99576967-13CF-4212-A5AA-7DB80A50D774","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"036e0b1fe239f5bfccaec3371bc5b6ff54c47675","datavalue":{"value":"Q113317316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$71358EDF-B3F4-4E1D-AE8F-CB03F7465929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace9fd18c8b04ef022eaa7fb8da879d71c72980d","datavalue":{"value":{"entity-type":"item","numeric-id":2424892,"id":"Q2424892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$DEC687E1-67B8-44A8-9D24-29E1F5CA8AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$C995AEE8-0498-4CD1-B8F6-5657F448F945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e93c3e5660f80a77ee8087620a3ab078ba7181","datavalue":{"value":{"entity-type":"item","numeric-id":5111900,"id":"Q5111900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$BE73F839-8DA1-4537-A191-DBBBB941FE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23e8ec82d121c1976ad846ece9ab20429f3385","datavalue":{"value":{"entity-type":"item","numeric-id":683744,"id":"Q683744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$E8B412AE-6A9E-4A86-84BE-939EE154C708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d027e02d48cd3eb44ea5887ea25d43654508fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3371148,"id":"Q3371148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$450E23D8-89B0-4FF5-9C36-9FC5D77D3CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48f6cd217f4a3d837506603676914d0c6c97fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1882898,"id":"Q1882898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$2AAA8464-0655-4F4F-AC24-EDD6F84D8620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$C794B713-84C2-4B9C-8616-2742CC65EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f494acf3a97ba3d08e24c888dfea76899fb6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3857730,"id":"Q3857730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$09D8586C-D3E7-41AD-8E5A-022C96DD8B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d450fadac9781261d8b6696d8cd613eb6ba97b68","datavalue":{"value":{"entity-type":"item","numeric-id":4580227,"id":"Q4580227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$F96B7835-CD5A-4161-A800-2828DCEABC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c008d349b841e122e886cf4cc8c64e7d94d116b","datavalue":{"value":{"entity-type":"item","numeric-id":5898167,"id":"Q5898167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$8F11133E-0622-45A0-B01B-8218D4DA0968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178a305db70d063c9414f889befd07cf69660c2","datavalue":{"value":{"entity-type":"item","numeric-id":3629217,"id":"Q3629217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$DD2A834D-B090-47BE-97A2-EE3BE264CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$AF7C4CF0-C733-497F-8F8E-E0864781DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6855737f65e184b6ceee78000387e49e4fd454","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$E0426A00-7282-4C2D-8983-46EE69DCA906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958413115413c7ac80dee161e64cd008fb5c0bb3","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$688AEDE2-A487-4BB1-B291-130729C7B7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef5dd2adbf01c4b546aa46d63d5a327722c9253","datavalue":{"value":{"entity-type":"item","numeric-id":2229151,"id":"Q2229151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$0CC161D3-69AA-446F-A319-A9C3E2DAB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$08AC7108-D168-411E-98FC-1107D9DAE350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e2caaa7099b6d8b686836cba18890977228cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3024914,"id":"Q3024914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$2CC7400F-9FC1-48A7-83EA-21BED7C9AFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ecd1cf61dea801090b717a2fe9a2552890fff","datavalue":{"value":{"entity-type":"item","numeric-id":1744425,"id":"Q1744425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229151$46EC98EE-8595-4E01-AEAB-51624EB2FF92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f9447f6a759525ccf160b5c536305870cc9ef64","datavalue":{"value":"10.1016/J.ENTCS.2020.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229151$A1C5A804-D05B-4035-96D1-F20B79212D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229151"}}}}}