{"entities":{"Q6657781":{"pageid":14268938,"ns":120,"title":"Item:Q6657781","lastrevid":103999091,"modified":"2026-06-06T08:37:35Z","type":"item","id":"Q6657781","labels":{"en":{"language":"en","value":"Exponentially handsome proof nets and their normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7962577"}},"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":"Q6657781$3190CE4A-0CD3-4AB8-891B-95C6905E238E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c18c96c31a65f6337bae8dc269745e88b4540fa3","datavalue":{"value":{"text":"Exponentially handsome proof nets and their normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6657781$6E67A07D-5978-4F8D-B036-E63C98E2879A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$74575286-34C9-4B66-BF39-CE7FCB2BE70D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d4fcd001548dfc6222d0098d472cd2a6031b71","datavalue":{"value":{"time":"+2025-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6657781$9B1B21A4-277D-4FC2-9385-F1C88085BAFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657781$2A502FCD-E400-494C-86A6-BD8307208306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657781$B9646875-86E2-464F-9F63-D5326BFABE78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a714dd4ff30c7bbec087863b6ba931965914d9b","datavalue":{"value":"7962577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657781$E3379C19-0BDF-4C7E-8E6B-D59B88D881B9","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":"Q6657781$75B3BE3F-C210-47B5-B14A-F9A3588E17AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c124b1eef9f41e78cedafbab76b9dfc77596cb59","datavalue":{"value":{"entity-type":"item","numeric-id":2958373,"id":"Q2958373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$3A50DEB5-E1D1-4251-B6C6-186A246AED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f541866e8f9c3036c6ca079d9a603273c6f9523","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$5E5653DF-6B6C-4D00-844A-7DBE98844E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e212bdd6f4b87b546d50f29b1d7fea21385722","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$5D0302F8-4769-4280-95B7-DFE536E37FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ca351d3b21452c4652c95e21d7a7906c49fac3","datavalue":{"value":{"entity-type":"item","numeric-id":2303577,"id":"Q2303577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$42F6F5A6-2A4A-44F6-B715-C1BE3B0572DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d91176ff68abf933b23a71ac464407e1bcf921","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$F4433B41-7124-4B56-99B6-B90F4CA056DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bfd9522f696e214cfb4da7cbe8403366f0359f","datavalue":{"value":{"entity-type":"item","numeric-id":4594231,"id":"Q4594231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$BABAFCA0-43F1-4DBB-A20B-EC90EDC91E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$4322F693-2DAC-4C01-B721-F7A57E5255F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$69F153F8-A755-4924-8A0F-B99182BA0B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$3A468877-4BE9-4159-915D-3EEEBC50D1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$74586702-D51F-4224-BE67-BEB7FCE0C8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25916ae88cfd882e8cb6b5b5569c6957043ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2394739,"id":"Q2394739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$1AF7B306-59EE-4BEB-90E4-D63F88AD5A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275c63e713d1bf4dadcaa547865d6c0c1b528dce","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$9FB8F998-E057-48FE-8188-20E868851B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$5C39EEC2-561C-4605-842F-4D19327C72CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$AACE4F5A-A7E5-40F9-A050-47D1614B4D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$C6F49340-B656-4E1B-8604-1BF21D5D5B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$E59375BD-6C8A-4F8D-848D-7079D0400BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$BD069F7F-13ED-4723-8DB1-C1B8E0775283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a221be14e9bdd455f06ee8c6dd95839717db94","datavalue":{"value":{"entity-type":"item","numeric-id":4635635,"id":"Q4635635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$C1A4E055-92D6-4930-B907-4711381D7B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b442700e9f1c677d5d95db2d4b0cdb5bc40853f","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$0822773B-4996-416A-8A17-B13B2C126CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581bf3ecbc0dac03b37a51be7589237f484080e3","datavalue":{"value":{"entity-type":"item","numeric-id":4917988,"id":"Q4917988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$F9E6ADA1-8DB8-491F-B6B8-38DC903818F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96120dcfffcd62c367fa8be441cf48d159c30c53","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$A6D1FB87-266D-4912-843F-A70F6D6C4E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$B0BC3B04-DF7D-4619-86EE-979F692F31CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$B12331E6-0CF1-48E0-B36A-88B44899086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f00f74f4cc9b3ca2916337454f60c5b428868b","datavalue":{"value":{"entity-type":"item","numeric-id":1989326,"id":"Q1989326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$C573B7A4-9D72-4A0B-9F2B-7A4C1F058956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b40666dd6cb90b0a418bd4bbfa89ad4684e57d4","datavalue":{"value":{"entity-type":"item","numeric-id":5018489,"id":"Q5018489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$1FBCA4DB-B298-4465-AEE0-8630FADCEB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ac0df24da2700103cf5414f985365786940e5d","datavalue":{"value":{"entity-type":"item","numeric-id":2180521,"id":"Q2180521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$AAF82272-4818-4F11-A205-3CCE286C88D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a512c79946c607f1287d9d06c5d99446cbfdfe","datavalue":{"value":{"entity-type":"item","numeric-id":4966261,"id":"Q4966261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$8858EF35-E663-41B4-A7A1-CE280861128A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889cceec78a61ad113b953ff9205866093eb5c05","datavalue":{"value":{"entity-type":"item","numeric-id":1398476,"id":"Q1398476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$10DF9B69-DC80-4B59-A4FF-65A09547727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557fadf414f598215e29d273290aaba4974d3444","datavalue":{"value":{"entity-type":"item","numeric-id":5432350,"id":"Q5432350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$1C2A139D-42E0-4003-989F-511AC4AAF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0873fa5afeb87ff88f9045bb42f9636662e89745","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$30B5A0F7-1C19-48AB-A164-6EC6378C1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691258b7dd0ca2d9f19b52dcd002a66925f7ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1884903,"id":"Q1884903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$6823C4B1-4516-4081-B768-C36B15467955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0428b01adcb80a4007c1543535f770bd56ed1b","datavalue":{"value":{"entity-type":"item","numeric-id":1733062,"id":"Q1733062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$F81AC3C7-90D1-4B3F-9A38-E3D812F64179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657781$FB172011-8369-4F72-9C08-5A839DC8846E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77da026cbf1e59b768ab43a2a2b98d7db9f0a0a1","datavalue":{"value":"10.4204/EPTCS.353.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657781$A3CC1142-AAB1-4DBD-9F63-D479DD4BF4DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponentially handsome proof nets and their normalization","badges":[]}}}}}