{"entities":{"Q5005176":{"pageid":7034753,"ns":120,"title":"Item:Q5005176","lastrevid":54057929,"modified":"2026-01-26T04:19:52Z","type":"item","id":"Q5005176","labels":{"en":{"language":"en","value":"Polynomial-time equivalence testing for deterministic fresh-register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378389"}},"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":"Q5005176$2EA8670D-A1CA-438C-8225-BADAA8122D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$5379B8A0-50F1-48AF-AF2E-72B0626A3F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$8396D041-190C-46FB-AF06-BD766EB61F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$D1949B2C-2327-482E-B3D5-15068F5D11E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5005176$B8735419-9F2F-48DC-A811-922116CAA393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005176$041B6DEA-0A51-4DF1-AE77-6BBB10EC3D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cbcb60da060f8d215dd5d145506cb5bbb57b773","datavalue":{"value":"7378389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005176$48AF15B1-9ED7-4BDF-AB91-22BE0BA65AEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5982476bb9b7c446c5ddf52c423e81a4394eea4a","datavalue":{"value":"automata over infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005176$21A8B03E-1D57-4909-8C6E-D3356472A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005176$EB323EC7-25FB-44CA-8A21-2E29CD23D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005176$EC179444-D36B-4838-886D-7057AF886F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63abd00ba97e023260564ab1e5de7e72c9aae49","datavalue":{"value":"computational group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005176$E0120DD7-1C92-42A4-9978-7BBCE952AF68","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":"Q5005176$323080D7-60D4-479E-8F02-21BC6DC8FE51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcd371e7841a8a731c5d381daf4f1a52abde9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2787422,"id":"Q2787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$AE59B1CE-C2C2-4F4D-A321-AC7E1A90FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c280c94a6139ae504c2ae04c131e74497d2a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":3741778,"id":"Q3741778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$0EFB65CD-38E0-4B89-99CD-4BFEEF3C2BFB","rank":"normal"},{"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":"Q5005176$95C7EBE0-DEA4-4A4F-94A0-9B6403478303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95751e7d64132f5dbd31e975b68a72435256f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2938772,"id":"Q2938772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$6EB1FD29-AC82-4EFB-90A6-E70707B8734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7cc8dc2b549d2347f941a80a02493e33b15275","datavalue":{"value":{"entity-type":"item","numeric-id":736459,"id":"Q736459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$F4466C63-E37A-4E81-A639-29450D127C18","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":"Q5005176$AB88E7E7-64F8-4839-9FBC-ED4DD151E509","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":"Q5005176$088D63AC-BD4F-41E8-A6D2-534E37E85DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efe249d98b41f7083f97114d6fde0876628b49f","datavalue":{"value":{"entity-type":"item","numeric-id":1180408,"id":"Q1180408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$A06D4B07-18BA-42A4-98B6-1FEA03180321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e9e93983124752ec662acce6e6ad47ec41210f","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$8EA41BFF-D13E-4C47-961F-3328D8890731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5631c3982a08ee34bcc39902a711e4c9c4efbd","datavalue":{"value":{"entity-type":"item","numeric-id":5370894,"id":"Q5370894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$EC815418-9C36-4937-AB4C-5458C3BCA10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a51ca6abff0d7c0e4c57cdfd025bbe98a7de06","datavalue":{"value":{"entity-type":"item","numeric-id":4635800,"id":"Q4635800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$32DDB66C-F9C9-4D93-AA02-46403D6F85EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$1000EDE1-D2BC-4908-BF85-9ABDC8CF65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$8A1E21B1-7A35-42BB-8DF0-69AD3D8C9705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9569127c59af0183d1d5509061fb23ec78be29","datavalue":{"value":{"entity-type":"item","numeric-id":1575908,"id":"Q1575908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$3B7265EF-D5E2-4CBF-8975-D69B190FCD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb27b7af34ab0402f1db377455dec0d9d637933","datavalue":{"value":{"entity-type":"item","numeric-id":878749,"id":"Q878749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$B7BD2736-62A1-494B-9AE6-A2665DC8202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d720f0c7d01ab48ba569f9365b68151360f293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$178981C1-4B4B-4ED2-BFE2-81A6239BC73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17787c3b81a05a1b7f19d09197e5a5826b2909d","datavalue":{"value":{"entity-type":"item","numeric-id":5408551,"id":"Q5408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005176$347DE48E-F049-4C54-91AF-79F0A7CA514E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6178ed018d0284deeaff02228552f6c0dec46ffd","datavalue":{"value":"https://doi.org/10.4230/lipics.mfcs.2018.72","type":"string"},"datatype":"url"},"type":"statement","id":"Q5005176$3AEB84F4-342B-4596-87F9-CC1BB58D6781","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01c3d287bb0cfa8b0468e1c56667a513364fffc4","datavalue":{"value":"W2889196489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005176$6C31681B-3C95-4C98-964C-BB5E0E4AE0FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4915abad1f413e479a6e3d0a6f00548cfb31b23","datavalue":{"value":{"text":"Polynomial-time equivalence testing for deterministic fresh-register automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5005176$95E4A5FE-F34E-4C10-B7D4-C7D12F5FECDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85eece7b920c15f847a1e9cd7c2efbfb0c25e583","datavalue":{"value":"10.4230/LIPICS.MFCS.2018.72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005176$09E38F1D-0419-4014-87FA-96E638DB164E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cd50dd8d59c6d099b72c57d7d03a88c4b51874","datavalue":{"value":{"entity-type":"item","numeric-id":4635800,"id":"Q4635800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc772cf892ff160a4a57794a7b99d160e6b36ab","datavalue":{"value":{"amount":"+0.797222375869751","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":"Q5005176$EADE4829-83D6-4930-8081-F3D724DBA483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faf464114e2bd1c3dd4e9a051c770000dbe866b","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ebcf97fb51529ce5845f3d3471617665468904","datavalue":{"value":{"amount":"+0.759454607963562","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":"Q5005176$A073DA09-87F6-4A73-A57A-2ED0C80DF0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe58a7b447be1b91fae0cf3c0b16ef2f92a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5146514,"id":"Q5146514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4e4db0087a90e5a28b01a99cbb2ec86712b854","datavalue":{"value":{"amount":"+0.756643533706665","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":"Q5005176$BB4924BC-7F57-4A4D-80A8-7C1CBC204DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60246da0c1f1273fefc043f6fdf356f6bc2246e4","datavalue":{"value":{"entity-type":"item","numeric-id":5300834,"id":"Q5300834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356d74245f271815f44d0b3863983e9c92bf9189","datavalue":{"value":{"amount":"+0.7560256719589233","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":"Q5005176$D9855392-E3D6-4B24-937A-63CB5E15469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8f0a7846eefd683c1b477943a2cb8a17a0b29e","datavalue":{"value":{"entity-type":"item","numeric-id":1060562,"id":"Q1060562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc20cc348ce4f79e15f92f6412b308308a88161","datavalue":{"value":{"amount":"+0.7410466074943542","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":"Q5005176$11A17417-7547-4B76-9A6D-46570921A280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5005176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5005176"}}}}}