{"entities":{"Q2233427":{"pageid":2244170,"ns":120,"title":"Item:Q2233427","lastrevid":57686388,"modified":"2026-03-31T22:06:30Z","type":"item","id":"Q2233427","labels":{"en":{"language":"en","value":"A string diagrammatic axiomatisation of finite-state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410439"}},"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":"Q2233427$C208A23F-B26A-4D5D-A51A-579DD1FA9A42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc6bfb78cfdeb94cf20e9091905f9cfeffdaa9b","datavalue":{"value":{"text":"A string diagrammatic axiomatisation of finite-state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233427$9DDCBDD6-C902-44AB-8AFD-4442EE7F1A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d923283448ef6da39e5d0d4ce55f51f39139f6","datavalue":{"value":"10.1007/978-3-030-71995-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233427$88C95ECF-C9F7-471F-ACCF-AF3CBECDDA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af572941e92181d9077e8fdf79b5b2e175868496","datavalue":{"value":{"entity-type":"item","numeric-id":2051791,"id":"Q2051791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$894A66C6-BEE8-4AC8-9F26-66B1AD2B0E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$208B0FE1-A665-435F-ABE7-4DD85E06EAA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233427$0B7BEE55-A5C9-44BD-94F3-F8E96CE9912B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"980a4bd4a9c9e7d4514d724b51aa86f5c0eddddb","datavalue":{"value":"https://arxiv.org/abs/2009.14576","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233427$AB4B5657-701D-4DD4-A05B-BEC9981C8952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233427$92FB5637-0E3D-4680-B70E-B3C399299B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233427$1A5B86D7-15E3-456F-B20A-1CDF37876617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4eac3bcce9c6a9bcd005249499eed1dae671975","datavalue":{"value":"7410439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233427$BAD8C5F2-F212-4BA0-86FA-8075A09E6C13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d550d58996ce31d7946eace013bf629d3913d2ff","datavalue":{"value":"string diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233427$D0B5594A-5789-4AEF-9ED9-075FB5847ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233427$007D56F5-3087-4E44-8849-8D7A93C38022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93386d1e6ae49ce2aab6e3e24841f24772606599","datavalue":{"value":"symmetric monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233427$0A893E03-DEC2-4DCD-A7B6-075C83B51A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eded367bdebd97b9871d91467f331a629411f0c","datavalue":{"value":"complete axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233427$08B4DA32-D1AF-4B9E-B0C5-7584AE059AC2","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":"Q2233427$6E2193E6-D83A-4007-93F3-CF4BFE80CA65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40d16cbe9ef4bd1f43525c73a217b18429db3dce","datavalue":{"value":"W3146630147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233427$204542FD-06F0-4C6B-96F5-527113B6749E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$AE9C56B8-5EF5-410C-BFBB-CCAC2D05934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ef8ea51ea2701a3e110ceba4fece9cde85c76d","datavalue":{"value":{"entity-type":"item","numeric-id":4555338,"id":"Q4555338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$FE47CAF2-DB06-4202-B513-29E00532AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$DC30AC24-3F55-4A64-9AC2-2283F70A97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$ED1BF1ED-9D1F-4752-A317-455372656508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cf9b57c8f6d13e073d95fd08295c02a20e3054","datavalue":{"value":{"entity-type":"item","numeric-id":2366692,"id":"Q2366692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$B7B1BC92-764D-441A-961B-532CA4311751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b961e77cf65ea710dfd23e6eb69b9f2a5e57e9","datavalue":{"value":{"entity-type":"item","numeric-id":729807,"id":"Q729807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$BF18F784-A2A8-4A87-8D89-3520645A14E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$CCCB4BCB-EB1C-49FA-A551-97E8C6CDD795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79437c79144327c3d252da8e681f6f81d9c985","datavalue":{"value":{"entity-type":"item","numeric-id":2970049,"id":"Q2970049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$EB6ACCF9-7744-49FE-A47E-1291AABF5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b095917798c91a58bf76e0425197209c17738919","datavalue":{"value":{"entity-type":"item","numeric-id":5379782,"id":"Q5379782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$D30CFCD8-F041-4165-B131-E4977FE0D96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$DDC4CBA6-99A2-4F68-B849-6ABFFB1623CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$5E1DBEDE-50D4-4945-8C33-7C8E52F7AAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c06373fd7a2d067d7b5c976444378a4a0b0806","datavalue":{"value":{"entity-type":"item","numeric-id":2176674,"id":"Q2176674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$AF92AC87-197E-4055-BED5-CCA888C15329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$2359F4D7-F14E-4DF8-B158-2C26C21EF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$532C4F78-4A15-4962-84B3-D8F5C337092D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd33aeadec71427487f47505f9e43cd230388019","datavalue":{"value":{"entity-type":"item","numeric-id":2289083,"id":"Q2289083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$75B71CBE-8C29-462A-B2FD-0C7DDA43B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$5E9F8F1C-ED24-489B-8F8E-FE0C0ABF7316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff113de308b1c1550c0c295ec2c0108ce1a9d565","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$4AC29C42-538F-4494-8043-43CFDD80E60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$20145223-035B-4B93-8EB1-28BD8CE9ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$E196E11B-D846-481F-AECB-397669F23488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$0B14BC4C-2486-45D1-A6DE-2E62801CE1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$50CBE2AE-7673-47D5-B4CC-CB9C3C572F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f607db4141499ef8bfa5726ceb08483e241870","datavalue":{"value":{"entity-type":"item","numeric-id":3156500,"id":"Q3156500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$AF5F5F28-9F45-49AA-9B51-442582BD89C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$DCC6B0C0-630D-4CC9-889E-C9D5F32BADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdfe6578dd4c1332f36ae558c96ccd3de780e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5844604,"id":"Q5844604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$88AD751E-5135-4BD0-B209-4AE1D7D34E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1427f5bd67877182fd0da9f3fc2daa1f4f5dc2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2233427,"id":"Q2233427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$9F0E77B1-82EF-4469-AC32-7F3798D5369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9b6fee7afc6e55aa83396b5c6df38a519c39df","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$965BB11F-983C-47D7-BAFE-D981095EA249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$CB41C691-44B5-4249-AB95-355638E9D45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$EE967E75-1ABD-487A-B61C-25576DD1251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce229205e212c5d128cd2055587144066e9efbb8","datavalue":{"value":{"entity-type":"item","numeric-id":2848361,"id":"Q2848361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$F4E8E06E-10C7-4C43-A899-4CEC27E31B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e16d1d63c206a0acacdfaabc6dec948be555cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4492940,"id":"Q4492940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$F8292E35-0CA4-48A7-9836-02FF524DD352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$35F20461-7D9F-4A83-B35C-E198DD6CBE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a001930126d104b8b49c0b2ec84f801eb1b908","datavalue":{"value":{"entity-type":"item","numeric-id":2542188,"id":"Q2542188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$0DC3B742-EA21-4FEA-9422-D50DBD666A18","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233427$B98675EF-773C-437D-8D63-25BE9CBCAEEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233427"}}}}}