{"entities":{"Q6855552":{"pageid":20629951,"ns":120,"title":"Item:Q6855552","lastrevid":75108478,"modified":"2026-04-17T21:22:37Z","type":"item","id":"Q6855552","labels":{"en":{"language":"en","value":"Decomposition of a parallel automaton into a net of sequential automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8162160"}},"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":"Q6855552$4EAF0FCA-3314-4F57-AF2C-2E8A0781F5C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb69840bb985bb44757d2b8c786ac39effee9ceb","datavalue":{"value":{"text":"Decomposition of a parallel automaton into a net of sequential automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6855552$11FB0BA2-1498-4151-9547-153CC6798155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bae233b4926fa9d58e83452b9e0c9427081dfb03","datavalue":{"value":{"entity-type":"item","numeric-id":2553346,"id":"Q2553346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855552$CEBC9028-6540-4FFB-9D3C-192FB3D82784","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d976dc20de49560288a9859d1288a2384daafb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4986233,"id":"Q4986233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855552$902CC864-6D9C-45D6-A09B-CD4070009C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8247fef3aa53b05a97c163d5591b14fd483acdba","datavalue":{"value":{"time":"+2026-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6855552$42B3AA4B-48E4-4B5B-93AA-70DF33890BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855552$3A2680D8-A7A5-478F-80B1-15E8FF596FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855552$F22C7070-FE4C-4BA1-9388-34271C7878C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a1171ee62c0cba0766232ac1b29a22c998ddad","datavalue":{"value":"8162160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855552$080FF3FB-412C-4934-8EE0-14A6C1924A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"896c5e1cb7b8f6a9f91f9cd4ce736a0546b8e763","datavalue":{"value":"parallel automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855552$ACF09818-28B3-4A2B-AE3B-4C4BDFF6D4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36711072a78aa069f760631674a8fd38295ad84b","datavalue":{"value":"partial state","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855552$FE79C1E0-835E-4E03-947C-1C1E1F30415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a92a94b21cd4e919d819e2107b9c81e9b8920","datavalue":{"value":"state assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855552$CA6FC7E6-D00E-4713-8AFC-19B202E63D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9187c23fd1d891116bf028b354323a92891c712","datavalue":{"value":"complete bipartite sub-graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855552$88A45F89-B87C-4554-8878-1A3C12749B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8310856741beff34caac908d0d0abd76429b8e42","datavalue":{"value":"weighted cover problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855552$5470BFA8-E71F-43CF-87EF-D14E67363520","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":"Q6855552$1CCF3E9B-3429-4F40-A4EA-B3FA20F50690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposition of a parallel automaton into a net of sequential automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposition_of_a_parallel_automaton_into_a_net_of_sequential_automata"}}}}}