{"entities":{"Q5090504":{"pageid":7120080,"ns":120,"title":"Item:Q5090504","lastrevid":54366050,"modified":"2026-01-26T17:18:23Z","type":"item","id":"Q5090504","labels":{"en":{"language":"en","value":"The containment problem for unambiguous register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559162"}},"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":"Q5090504$07ECBA96-5E92-4B9C-84AF-13B2142342AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34f2dfe983dd2addc7b2bf020b8e2657bc9264f","datavalue":{"value":{"entity-type":"item","numeric-id":259045,"id":"Q259045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$58333D95-8FC5-46B8-8230-C32033281C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$E49AECD2-2FCD-4541-BEFD-EBCE6F51D54D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5090504$E4416123-5730-445C-BF1E-C3D1B84CFCB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39ab2681fc27be2ab26a9feee3b4f51394744810","datavalue":{"value":"https://arxiv.org/abs/1809.08985","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090504$B2017CCF-C050-4B4B-A587-E4854ED7C260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090504$A19F701A-362E-4B26-ABBA-9B88F1A68985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"893fa6e9f312cdf794eb72c03943eac34625697f","datavalue":{"value":"7559162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090504$E8688F63-6928-48BE-BD80-E6137EE15718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090504$80A69122-76AF-4F36-8FA8-0FC974E7F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090504$61D385A0-5DBD-4A9C-9489-6ACD85D52D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa02d71c42148524a62adfd0d3c4d6107741d09","datavalue":{"value":"unambiguous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090504$08FE8DAC-73CE-43EA-A2C1-6D7B9A23E530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9786932a1198ea8e1a40c9a4aafed7f72c717b11","datavalue":{"value":"containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090504$44AA29E3-1C52-40A6-AC53-6D32D53EA695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5998a1762eb4f9b433b64a9d70e06b589eb6680","datavalue":{"value":"language inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090504$819E3BA6-8EBD-4B73-A85E-1E0B08CE2A08","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":"Q5090504$596D133E-874C-4CFF-99BB-11349AEC673E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff2f50e974d6091754401c09a34dc01c7266099","datavalue":{"value":{"entity-type":"item","numeric-id":2904745,"id":"Q2904745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$29349C0C-1454-43AC-A3DA-11B985ADBAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$78F3A3E3-E8F0-473E-A884-80CCE40DA36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b1d5419cddaf1ae02d87e6dde21a078c5dc97d","datavalue":{"value":{"entity-type":"item","numeric-id":5002806,"id":"Q5002806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$E790BB3E-F835-40D6-A013-DD65B5AFEB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$4CD87BF3-D992-40FD-AE80-D4609FBC5A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063ef552d100c0083ba89f17521c382cb80929e9","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$DC039626-7056-4E9F-8C13-F3A617AACC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd94cfdf75f1ccc3b470bfb44fcc95002b05bf2f","datavalue":{"value":{"entity-type":"item","numeric-id":4963999,"id":"Q4963999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$AC47FACB-7BE4-4350-B0E3-069D66046654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75450ede3a181b4fccdcea48a78e1efa18126643","datavalue":{"value":{"entity-type":"item","numeric-id":5111632,"id":"Q5111632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$988AEC72-4438-4621-8C5A-0D955CCEFFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$C9DA5088-6F44-4D6A-9BD7-92032D575269","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":"Q5090504$59BBC894-E65C-4C6C-86F0-6B8CB6E2CAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e7465ca3c4028fb3a178530661b6974e88b32","datavalue":{"value":{"entity-type":"item","numeric-id":3056277,"id":"Q3056277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$A4C35B48-8883-4E94-9C81-DE09176B3BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d2507304ab609ba2df7863cc2c442e53a20052","datavalue":{"value":{"entity-type":"item","numeric-id":5704377,"id":"Q5704377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$C313A362-BAD9-4165-B6F7-D37C81917C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2370105cf0546cb8275e1f67387e1b5ea7f3f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5002827,"id":"Q5002827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$59B4C9AD-F124-4F82-8E69-1ACF9F7CE42A","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":"Q5090504$CC115997-F334-42BF-95BC-CD9BF64A736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ff84cb39979c4c853f3ee6cfc667a5f07b8b68","datavalue":{"value":{"entity-type":"item","numeric-id":5002825,"id":"Q5002825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$7F9D7250-AC0B-42E5-BF1C-C52204C1826A","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":"Q5090504$04EEC92E-35EB-403C-B3E1-95616ABDA469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090504$D2828C73-224C-4F9F-95FA-E3A3033E9FC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2484432f66839757eae7edf6fbec1905875cf050","datavalue":{"value":"W2889973542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090504$F2F5AB66-0A43-440D-BEDD-FBB66D42589D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76fca167c449966d7b3f22955073958ef12bdf7c","datavalue":{"value":{"text":"The Containment Problem for Unambiguous Register Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090504$DAD9D82A-E5DA-4CB8-8DCB-EDE829D3C99D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d62fc0ed05228d7f9b8fd2c7b9e09f014245193","datavalue":{"value":"10.4230/LIPICS.STACS.2019.53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090504$6CF9EAC9-E7C1-4598-80D0-772872E62CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c2b1959c700e21e9b08b28144e6f9544e05c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2048204,"id":"Q2048204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1828bbbacc89a0c778ebeba21ef02ed8a67c5f5","datavalue":{"value":{"amount":"+0.9524939656257628","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":"Q5090504$B0C9EEBD-17DE-4CA1-89FE-E273D2391C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41084ecdabe7b8059c12b6c806f7697fdc4e07f8","datavalue":{"value":{"entity-type":"item","numeric-id":5002806,"id":"Q5002806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b6d8ca53989b670cdc9c2cdcb78a5879097f9b","datavalue":{"value":{"amount":"+0.8143134713172913","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":"Q5090504$660EDE7C-1215-423C-AF0F-5AE07BBD0635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039c2b6b32a95e2c5faddde99c2bfecffc1160aa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5503a8ccee09e40efce7ae693458d89f526a4fb4","datavalue":{"value":{"amount":"+0.7886514067649841","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":"Q5090504$CD3A985D-20A1-46A8-9A89-D3C24B80C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad51e66d0fcaf959b39018b997d5e0af7675706b","datavalue":{"value":{"entity-type":"item","numeric-id":5495422,"id":"Q5495422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a1bd23887b1d77e841abefcfca798372775643","datavalue":{"value":{"amount":"+0.7621598839759827","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":"Q5090504$DD5FF3AE-33E2-458C-AE9D-5529F294DA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2add205e7fec2446ca1a59a1195e21a2b9eb01","datavalue":{"value":{"entity-type":"item","numeric-id":3167499,"id":"Q3167499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40272662066be1817e478b0a4d1835a45468b317","datavalue":{"value":{"amount":"+0.7608728408813477","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":"Q5090504$B9A4B805-BF14-4C08-807C-A047CC87E388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090504"}}}}}