{"entities":{"Q2104476":{"pageid":2115219,"ns":120,"title":"Item:Q2104476","lastrevid":43514759,"modified":"2025-07-30T11:46:46Z","type":"item","id":"Q2104476","labels":{"en":{"language":"en","value":"Coalgebraic semantics for nominal automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628066"}},"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":"Q2104476$497996BB-478E-4B05-BA3C-162AD8D1D24B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69f85b187271cd68db47e627e4efdc7094226cc0","datavalue":{"value":{"text":"Coalgebraic semantics for nominal automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104476$CE8D11D5-5E34-449E-A00D-79C2E22CFADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23fb4ce8c114476fa9932ad0b3318e6fa7d75896","datavalue":{"value":"10.1007/978-3-031-10736-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104476$A5657DCA-AC39-4F51-BEC5-35BAE65BF6B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e73512a41669fc949161e93712323648d1715c8","datavalue":{"value":{"entity-type":"item","numeric-id":341501,"id":"Q341501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$0F6D072B-092C-4893-A1D2-E3ACADAE4614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$CDD73761-2F89-46DC-9693-79F487289923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$F35FC637-31E5-4A89-8728-233D749FA32A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104476$46D2262D-2FE7-48B3-B0BF-3F2D125021BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35f2c0d23fe6ed7970ce02f0c889754f2bb63a74","datavalue":{"value":"https://arxiv.org/abs/2202.06546","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104476$748BEFDF-59C8-4676-9115-5BFA5B4618D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104476$DAF261CB-71D9-4834-B076-03B1B0CB88E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b52c7cca93952f2f8f1dc2969b0b9314d48a3875","datavalue":{"value":"7628066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104476$3072273A-35CB-4859-8DF7-EBA9A4525B91","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":"Q2104476$AB955BEC-9880-4744-A25F-869EF6B5B4D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cce865a85415dbc0733a023c79f663a04457e7c5","datavalue":{"value":"W4286598142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104476$0F07E616-D324-42AA-9355-0E37EBBA59E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$A163F725-95C5-4315-9DE7-F8473C1FF8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1a41600084c868c2f2e1a966257db21d5f3088","datavalue":{"value":{"entity-type":"item","numeric-id":890383,"id":"Q890383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$35F10097-221C-4D28-844A-9C4E432D8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$61E36248-E7F7-411F-9161-BE714010C9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$E3F1481D-7636-4F52-B7DF-71AE3357D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27b63dda3917cc6d150313f799f1c04575ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":2811927,"id":"Q2811927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$ACA03FBB-6113-4707-A4CC-527FC7DDE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c109c5e0799eee8383cd5151798405a4b4662e2","datavalue":{"value":{"entity-type":"item","numeric-id":5875398,"id":"Q5875398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$E2F20923-F4DC-4287-A742-0A91E77B74FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$30E35170-51F7-4FBC-A8EE-1B2E0BBD74BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$6E74A3F8-D7D3-48AA-9F9C-93AACC9DA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$4E5F3855-8A8C-4016-B927-6E63445C02D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b210cddf54f3f96934ffaabd2a90656acf195e2","datavalue":{"value":{"entity-type":"item","numeric-id":5121274,"id":"Q5121274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$9EC14C5C-228E-4C41-92D5-615DBE090243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f6024f98f09d930280259eb2e75792af296173","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$1C343FC7-FF42-4A0C-BB1B-E8A104D1ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$5A0401EF-439C-49AA-92C5-933FADE5352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$C615542F-EC41-4AE5-BD7D-BDB179B91D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$7A7C8548-81E2-47EA-951C-7E4233D96419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5724109fecf65b1641c20e7444d3eb0a34b2844a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$ACA2EF6E-F7D7-4681-93FF-F371F453E1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$E321823E-AA36-4E32-8A45-8D939F8476D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$AE995A34-A95B-485D-A31E-6EFC1B1CDAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd91dd124cee42cd9e77668a24424a2fc21c6dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3752561,"id":"Q3752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$EFC31F86-3922-4B3C-B40C-3EF42E081692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$83A50E71-5153-4D48-B690-5E397038D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$F88FF2B0-E2AD-44CC-9EEE-23B877EA3DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$200C8CC4-967B-4194-BF97-D41CA4CAC900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$16E776C6-B160-41CF-A3D8-9DB9D0BA1FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b2e18aa0434874ff13738daa33c8ebf25e2db4","datavalue":{"value":{"entity-type":"item","numeric-id":2888475,"id":"Q2888475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$2A62CBD4-8088-44C4-A624-73CC4800E652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b3e6a712dda18ed01a9bfb83fa3778b1e84a3","datavalue":{"value":{"entity-type":"item","numeric-id":2304521,"id":"Q2304521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$92EFAEBE-AF16-49C2-854A-C42B69AA64FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$69F21098-2C37-4A97-BEC2-71F58428A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eae4e379dcc2959a97cb8f2f2dceb642932a910","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$32EF82C9-0570-4CC6-B919-CE09CA3B2D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$753B322F-E2B0-4026-97F3-09E7ED0513AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8bc6da0a69ecc6000abdfd349f1ea784188078","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$526FED7E-9AE0-4490-B02D-C8C0735AD360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$F72C8A49-E004-4997-8E16-D6EA6731A502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$75DD54FA-478F-4396-A1CD-66B0F89E8397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a89960dc9022a5b9eae0a1189b7c94fb953729a","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$2959BC22-F87A-4810-AD22-28710E503B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$C397E162-4943-4CC8-9A67-08C49BD79C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dc6be0dcd23c8545d4f262267ed68419f527e6","datavalue":{"value":{"entity-type":"item","numeric-id":2848955,"id":"Q2848955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$15B852B4-365D-4EE7-9A5B-7B9A766106A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$E82A00BE-6B12-47EB-B605-EAF6F8808B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1762bc121d86eb760ab525b608e11812780a69","datavalue":{"value":{"entity-type":"item","numeric-id":2848359,"id":"Q2848359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$1687B0CE-3499-4FCA-994D-0263272AFA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af210eb572f23625c306a0306f7d8c8b2f65a3af","datavalue":{"value":{"entity-type":"item","numeric-id":2341705,"id":"Q2341705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104476$F2A3C3FD-89A6-4758-B44A-A63717BD045A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104476"}}}}}