{"entities":{"Q5918323":{"pageid":8048939,"ns":120,"title":"Item:Q5918323","lastrevid":32728982,"modified":"2024-03-20T00:08:08Z","type":"item","id":"Q5918323","labels":{"en":{"language":"en","value":"A Myhill-Nerode theorem for register automata and symbolic trace languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7369982"}},"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":"Q5918323$3BAB2066-D228-4115-9014-CAACAAA12E38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec4ac7758ae9ae98962db04c226435ee631fc839","datavalue":{"value":{"text":"A Myhill-Nerode theorem for register automata and symbolic trace languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918323$B0854C09-E8B1-421C-96B3-AC6873424D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49d744bd6fe3c9ce93a582a9aa1d6faf529f62c1","datavalue":{"value":"10.1007/978-3-030-64276-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918323$91EF9B34-859D-48C6-ABA9-644D83D2086C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918323$9B8715B7-A515-47AF-A7D7-EF6920B388CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf8619b6ee8c107122120ddba16d03af8f14947","datavalue":{"value":{"entity-type":"item","numeric-id":1675803,"id":"Q1675803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918323$BA6732D0-79AB-4730-9057-AA7B526EDF7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9a8984cc9e763f8e817dbf7fd4303accaa2dbab","datavalue":{"value":{"entity-type":"item","numeric-id":5918322,"id":"Q5918322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918323$658074AE-0B59-4193-8340-A2B36891570D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918323$CD988656-FC12-4232-A416-2F8A9212E2F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f54491caf2b0fc0450a0c75b40d15aa684d3ef8e","datavalue":{"value":"https://arxiv.org/abs/2007.03540","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918323$41884C01-0B43-4B13-9DEC-4DBF56200091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918323$014BCE09-7D20-426E-B0C8-28E5683EA062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091c60c75f85e511545a14cdd0bf790241a6f739","datavalue":{"value":"7369982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918323$D5FD27AB-3208-4E92-8285-76DF4A35B973","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":"Q5918323$0CF236D7-46A1-438D-AA4A-A162F0162240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c58a57fe1e333aff5d495dcfca6ac3f27c942a85","datavalue":{"value":"W3107380193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918323$F354C8F6-D334-4770-A2F0-245322DE06A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918323"}}}}}