{"entities":{"Q6485862":{"pageid":14064520,"ns":120,"title":"Item:Q6485862","lastrevid":47792380,"modified":"2026-01-02T17:13:59Z","type":"item","id":"Q6485862","labels":{"en":{"language":"en","value":"Complexity of Verification and Synthesis of Threshold Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636243"}},"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":"Q6485862$621FED7B-3DB2-4B5C-8828-222CAD5BDA41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a18e9a3189432813ecd4af231a8572f5e0052546","datavalue":{"value":{"text":"Complexity of Verification and Synthesis of Threshold Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485862$663A411F-D00D-42BF-95F3-F5706A8A0037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"270c3bd48dd7e5370db235d0492f453da87cf69e","datavalue":{"value":"10.1007/978-3-030-59152-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$0043BCE2-CA1A-439F-8F12-09014EB8B64B","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":"Q6485862$6B49D7D4-9B85-473A-8560-6F7F6FA9BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485862$7A1B0B4C-D15B-4401-8138-23FD9FAF4E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3390664854ab3bfed5984f3463fadd4cf70e1a76","datavalue":{"value":{"entity-type":"item","numeric-id":314479,"id":"Q314479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485862$E5C01C15-6811-42E1-8D90-BEE9137F1B5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7444f3d632c54c1c46a371fce46f5e8f0c2bccdc","datavalue":{"value":{"entity-type":"item","numeric-id":6485861,"id":"Q6485861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485862$5209FF71-B50C-4BBB-B1B0-0D76964B1812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485862$4CF3F534-0DD1-4284-987A-E38949E25B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$46A569AA-23A3-4FF7-86B0-CE4610292A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$3506378A-A56D-446B-B4EC-F4A2E9E94F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$766E8A1D-8137-473E-8A37-5B96BC2F0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$A188AEC4-61A5-4953-84E2-0BCB7CDBFF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$346C055D-8E96-4369-82EC-7C534D2E5BC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c13bc1ab776c4b8c26e37ce893bcae553ca12b5","datavalue":{"value":"7636243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485862$5C51EC99-13D8-4813-8130-8AFCFEC3A32D","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":"Q6485862$5120FED4-0D51-44C6-A755-63D2ACB415C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c672cd16f0c368fe2c21573e6335ee67e44dda4","datavalue":{"value":{"entity-type":"item","numeric-id":2234072,"id":"Q2234072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b48d1962d350855699c9cd15edd95a723388cf","datavalue":{"value":{"amount":"+0.7874824404716492","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":"Q6485862$7B536C22-98F1-44B9-8FE7-47EED6BF4157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dbad2afe8066cdaffb349ee518d21a59f4b0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5009433,"id":"Q5009433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8abfc893ef86ef602a26c0c7d30e78457f2e8d","datavalue":{"value":{"amount":"+0.7857956886291504","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":"Q6485862$CBA5A318-9DA9-4268-A77E-DD9D9EFD2851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81be30aab327dcadbe997b4fc11454764013fed3","datavalue":{"value":{"entity-type":"item","numeric-id":6485868,"id":"Q6485868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0863840ecbb18b22b3a245ac5fa410506b0ca257","datavalue":{"value":{"amount":"+0.781379222869873","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":"Q6485862$449FF42B-4179-4819-B425-3E6BE1739615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e348618fb49b17a120cf41d4687484680955dcc6","datavalue":{"value":{"entity-type":"item","numeric-id":3300835,"id":"Q3300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3692a2fab9a783f5921c3103d1c3cdda2d0f412b","datavalue":{"value":{"amount":"+0.7758604884147644","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":"Q6485862$476D404F-94B1-469B-BF3F-B7B3AADD0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcbe6cee20edf99c98994801e15bf646092cd21","datavalue":{"value":{"entity-type":"item","numeric-id":1696580,"id":"Q1696580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c57b44d2fb8bd9da265570a947ab9fceb5495c","datavalue":{"value":{"amount":"+0.7453101873397827","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":"Q6485862$CEBAE6A5-2D30-490A-8796-46542A472A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485862"}}}}}