{"entities":{"Q6839865":{"pageid":18047127,"ns":120,"title":"Item:Q6839865","lastrevid":96987551,"modified":"2026-06-05T12:57:03Z","type":"item","id":"Q6839865","labels":{"en":{"language":"en","value":"Parameterized complexity of safety of threshold automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175983"}},"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":"Q6839865$F4492651-1072-4A28-ADFD-E8F0059AB750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ef42c3e3bb7e4652582c2a8d73ada9599a7968d","datavalue":{"value":{"text":"Parameterized complexity of safety of threshold automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6839865$825742AC-FE8C-4044-8BA0-AFFC56A9B182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"101761b62e13083e7cfebc66e68b3337ab138f6e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2020.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839865$0A31F8F4-AD12-4792-BBB0-7814C0F204A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c7ad12e08531ed2138061fc0cd8aeacb05c4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2029597,"id":"Q2029597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$ABC14C6B-E9CF-42E3-9B8C-3BA41C572D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3fb882359813b3d73bc1b64740f049fe4ede3c4","datavalue":{"value":{"time":"+2026-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6839865$F6492F46-54EE-49E9-9488-EE9F87CD62D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839865$8766CFE1-430A-42D9-B70C-0586DB8AE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839865$D1F1FE82-60CA-489F-B0C6-5D1FDABE1D50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd478a72ceee0275271a0a0e51df111f4891fd0c","datavalue":{"value":"8175983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839865$3837DF9E-FC9E-4DD9-A424-52666B914D93","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$6C4D7796-9444-445B-A101-BD98FEB581D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1137fd207be2d84e14a1af97cbf02682e5c5a6e","datavalue":{"value":"threshold automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839865$09B6BC25-3AF9-4220-934F-7636D9380CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839865$F4EB2577-96B3-4F4C-B374-73F87D827A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839865$9AB30C39-1367-4D07-8175-AF7C1497AE78","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":"Q6839865$540BD7C9-671A-4525-A97C-7DCC2450B9A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0371d3c582f0c784ecc91a277cc4c5ff16fb0fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2375293,"id":"Q2375293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$560CCF7B-8914-448E-A0A4-2BA8E8E83CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669d96512c5d38f0931ef338ca93a84575b09ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5875395,"id":"Q5875395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$E9CFBD37-2074-4C4C-9944-CB388FB5777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$E938F080-89A2-48F7-AD85-4A078E155E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693235670f9144dd7d54322aa116a9717dfe40a7","datavalue":{"value":{"entity-type":"item","numeric-id":5144614,"id":"Q5144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$2F15EFB5-56EA-4016-BDBA-3589B89C3199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61839b051136c366b71cc548f1614f7b0dc9a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3765232,"id":"Q3765232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$142849BF-9654-420C-BCD7-856FDD01DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c30b11ce81454521f947a35da5a65fd68e6991","datavalue":{"value":{"entity-type":"item","numeric-id":4778617,"id":"Q4778617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$40F1332F-501C-4461-8C69-C8CB202FED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f014eae90340d070dc667ce0b01474bbb78615","datavalue":{"value":{"entity-type":"item","numeric-id":4371670,"id":"Q4371670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$3D8743BE-8A10-4046-B6B4-5BE8ED66881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e634c3759189c4345651780a9fc7a435e9aab89","datavalue":{"value":{"entity-type":"item","numeric-id":5111714,"id":"Q5111714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$43B46F1F-31A7-41F1-8843-B4C750D324B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772aaef887d3eda31d3f1b8dc35a14e80ff6ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$2269802A-F0E1-40C9-A10A-9A6D2F6C8650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750615965d4084e4ca57b705b00b7e897ab132a4","datavalue":{"value":{"entity-type":"item","numeric-id":5875672,"id":"Q5875672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$0BD990B7-64F7-4C81-8CAF-0ECF7CF30BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$06DD3DD9-AE45-4DE1-B362-B71C64EB7E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f0e8da5c7ada91dbf136fec680c4ce963669e","datavalue":{"value":{"entity-type":"item","numeric-id":2272923,"id":"Q2272923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$C928B19A-FC5B-4C7B-98E2-4913B16B0068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e436cd142d60b17a9973e774c6bbcc13b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":3617757,"id":"Q3617757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$DF621C05-5241-4F93-A3F1-1302A3509F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$245453DC-E266-4D8B-B53B-0C9F34BA12E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309bcdb26381514b722b54c4d3ecfcb07d257d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5138367,"id":"Q5138367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$6B0139DC-3A89-4A1B-96E2-8DAEA5DDBACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4873e41430d92541d3f62938509222e4746909c0","datavalue":{"value":{"entity-type":"item","numeric-id":1936245,"id":"Q1936245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$A739F2A7-B199-48BF-9954-E348DD5BA6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744445c19fb25a3857e2ff7fe9d73b0053980650","datavalue":{"value":{"entity-type":"item","numeric-id":3190113,"id":"Q3190113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$A757C790-4D4E-4D1A-A254-A72081BAEC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4c3b8f6a7b25d6a54721439d9d3c8a0c98a84","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$CDF9AB56-1157-471D-AA5C-68379D84AAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c438d9619a1948fe160d10c2caf8bfc34f389fab","datavalue":{"value":{"entity-type":"item","numeric-id":729813,"id":"Q729813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$6E5FB1EE-CD71-4B9D-A67E-21A4D8D5C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a8847c9c5d88741bb0558d3aefd6f771aac637","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$BA1D5CC4-C958-4E72-944D-78A67B68020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9013bd6a9a226dd8465dac2a9931fcc607ca231f","datavalue":{"value":{"entity-type":"item","numeric-id":5009433,"id":"Q5009433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839865$77B24C57-9F78-4416-A826-07304B90CD78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized complexity of safety of threshold automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_complexity_of_safety_of_threshold_automata"}}}}}