{"entities":{"Q4623036":{"pageid":6652619,"ns":120,"title":"Item:Q4623036","lastrevid":82399508,"modified":"2026-05-06T20:49:00Z","type":"item","id":"Q4623036","labels":{"en":{"language":"en","value":"Synchronizing non-deterministic finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024791"}},"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":"Q4623036$903EEEC0-2781-4B31-A42C-90B20173646D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a19694b814aab2849457f0daa30d661f219f593","datavalue":{"value":"1419.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623036$9C3591AB-A467-4354-A18A-9A671A31CF89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17412a0b3c0df16f2e10a0db7f7d4e0e41abaf7d","datavalue":{"value":{"entity-type":"item","numeric-id":311502,"id":"Q311502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623036$2FF86E1A-3E26-4ABE-A47A-00302BE6077B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4623036$A2AC404A-0FEA-46BD-8790-0509F72D15F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-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":"Q4623036$088820A3-C3CD-44C2-9CAF-39A8F469F0E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ff31a87a9f2f26f177ac1a5bc68ea61af7c7ab1","datavalue":{"value":"https://arxiv.org/abs/1703.07995","type":"string"},"datatype":"url"},"type":"statement","id":"Q4623036$EB079425-14A5-48C3-9E55-F04F4C7E031E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623036$EF9F3138-BD65-403C-B393-1D3C63E4539A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1424ccc342eea82423355e17f6097493d2d0d079","datavalue":{"value":"7024791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623036$C59741C7-766B-4E8E-B9C8-BE034BCA424F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11612add6abaf2c69ce465ee3d38284020843e75","datavalue":{"value":"\u010cern\u00fd conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4623036$E144CE76-E30A-47D8-9FF3-6A5DF8B526E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4623036$37A10329-99E8-4157-AB1E-9C882AF53826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd68bef527c65db91dba6a2f19edc902919645c9","datavalue":{"value":"D3-directing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4623036$6E33EDD6-0512-4E6D-9A4E-11AEF5A9D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b46905dadcd2a654332a1828c13a843d2c1e4","datavalue":{"value":"synchronizing word","type":"string"},"datatype":"string"},"type":"statement","id":"Q4623036$F75EE679-64A0-49D8-B1BA-CE2640EA2CC2","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":"Q4623036$52E5841E-79A7-45D4-9E52-FC25B7A14B16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2374563f619917882b819c3bea62970b466ccf3","datavalue":{"value":"W2602438869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623036$D9E59566-C362-4791-A041-89863BCD5CED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"766f9983999a6ef34aad697856d32af0cedd3600","datavalue":{"value":{"text":"Synchronizing non-deterministic finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4623036$182C4C38-B155-456A-80DF-C5F3179004F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f01218864027361e6d46cd3db22ae3e591eabe","datavalue":{"value":"10.25596/JALC-2018-307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4623036$F526AFFD-45EE-4BED-964D-2A88D672B469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b27200a238b5d699d7a224df7399c6f8d85c05c","datavalue":{"value":{"entity-type":"item","numeric-id":989550,"id":"Q989550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb58080628257dc1c04febcf0f26411623e5770","datavalue":{"value":{"amount":"+0.8343334197998047","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":"Q4623036$1A4296F8-ABEB-4868-A763-C1379DF5FA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bad470630a795ec1d3ef7f98c0dc8f5dde8f093","datavalue":{"value":{"entity-type":"item","numeric-id":5425436,"id":"Q5425436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9a453a2de0842f81bfd3cbe7fc257dddd3fa31","datavalue":{"value":{"amount":"+0.8146601915359497","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":"Q4623036$3DF5FEF1-4AEE-4FA3-B98A-78BCD9D4CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e217219610b41b2dbbc17bab86381fed7f2c2ce3","datavalue":{"value":{"entity-type":"item","numeric-id":3088281,"id":"Q3088281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3f4c5c6261b6a600b2fb43d7207fd9e520ce6a","datavalue":{"value":{"amount":"+0.8108335137367249","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":"Q4623036$5CE86E5A-ED89-4547-B906-77A45C7D9F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e3087ac4e8d28c29474d65043709278bbff627","datavalue":{"value":{"entity-type":"item","numeric-id":5125223,"id":"Q5125223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6034fd3e552e7c8a49d9f92162875030193696","datavalue":{"value":{"amount":"+0.7920105457305908","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":"Q4623036$E7E22209-1651-40D6-8390-FE9C1684D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aef505f48f0afd8f18e4394b9e1394ac89aabff","datavalue":{"value":{"entity-type":"item","numeric-id":5387708,"id":"Q5387708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d3e68e645560100c5d1a87881aa35f53ef8db5","datavalue":{"value":{"amount":"+0.7911680340766907","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":"Q4623036$BFC560BA-DF97-4E86-9985-665D5FFB7512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synchronizing non-deterministic finite automata","badges":[]}}}}}