{"entities":{"Q517035":{"pageid":518802,"ns":120,"title":"Item:Q517035","lastrevid":62432514,"modified":"2026-04-11T06:02:55Z","type":"item","id":"Q517035","labels":{"en":{"language":"en","value":"On incomplete and synchronizing finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695324"}},"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":"Q517035$FAD8CFE6-E37C-41E6-9BF7-ED5EA11DCA9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13c01f34846241a4da4d5ed0af9eaaa3ce137840","datavalue":{"value":{"text":"On incomplete and synchronizing finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q517035$6B853ACA-53E3-42D1-8EDD-13F55A02A3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2827719d318aad7041fcd7f8f16e6a3a7145f10","datavalue":{"value":"1359.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517035$2D276BB1-F4F6-4EFD-8F6E-0AC0513357A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"658a303709fae7cd38ab2a38a6ea90489b75753e","datavalue":{"value":{"entity-type":"item","numeric-id":410712,"id":"Q410712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$2275B5F8-255A-4E50-8FF3-21E69660B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"234384bf5a815e62b76e6d825c0d9c9a82ab643a","datavalue":{"value":{"entity-type":"item","numeric-id":476874,"id":"Q476874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$4362A8CA-5211-4961-A5CA-13EC82B8103D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$8B12F305-F2B6-4643-9CBD-BDB022BA681A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q517035$129ADF07-C4D1-4310-A0AF-FB16545A887C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b0b2230acfb31f26a6464cb5265a6f074f87e2","datavalue":{"value":"https://arxiv.org/abs/1612.07881","type":"string"},"datatype":"url"},"type":"statement","id":"Q517035$0C9466D2-2A14-498A-B037-C5201EA22A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517035$9C5D2A64-6253-4287-867E-303245681503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee6c1df957be2fab8d9e0a574217185674a2be9e","datavalue":{"value":"6695324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517035$B352175D-49D1-4131-BFED-DBC37E613821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11612add6abaf2c69ce465ee3d38284020843e75","datavalue":{"value":"\u010cern\u00fd conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q517035$C2596865-D060-4408-8CAD-12CDC2EFE19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65caa91765e2cd64df517de4dd625db242407b8","datavalue":{"value":"synchronizing automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q517035$F347FCF3-1D46-4256-B07D-4998E39A5EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7326581faa1fa2269cac7408b2e21686d3c530","datavalue":{"value":"incompletable word","type":"string"},"datatype":"string"},"type":"statement","id":"Q517035$27D4DEE9-E54A-4CDB-9596-6D1135912D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf36b95e13cdf7d1da777126167ffbd45b862893","datavalue":{"value":"synchronizing set","type":"string"},"datatype":"string"},"type":"statement","id":"Q517035$042C4B4A-7D22-4BD1-8FA4-B25F9617F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4640f807ea60cbf00e8a925589252bf621de80","datavalue":{"value":"complete set","type":"string"},"datatype":"string"},"type":"statement","id":"Q517035$FA1983DF-9AA0-4D71-8320-14CDAA64F3CB","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":"Q517035$9307005E-3F7A-46EF-9538-29C06D645722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"256b2b839e995c580e2e2402be564bc141aa05db","datavalue":{"value":"W1888551009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517035$BD4FFA8B-6376-4B3D-B7E8-1C85DCD4DBC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c324461fe0947ad22563dedf01b00c2f872caa","datavalue":{"value":{"entity-type":"item","numeric-id":1239939,"id":"Q1239939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$2644D90B-19E9-4249-BDD8-27A6D6325252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6477ae9340ffa79a89a82a23d53bbed02442595","datavalue":{"value":{"entity-type":"item","numeric-id":3586072,"id":"Q3586072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$E1A7DC96-0356-4CD6-A916-B343DACD62F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ef62e40d4e2898c1ec98febee4801a74bdae3d","datavalue":{"value":{"entity-type":"item","numeric-id":3637215,"id":"Q3637215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$7729BBDD-B1FB-4FBB-9B16-345A1AFF629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20a392d23e0c696d558cbbe82abf6db49161cad","datavalue":{"value":{"entity-type":"item","numeric-id":3086238,"id":"Q3086238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$708A960A-B182-4275-A245-E2A2B570CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a75bf5ffa70faff096099f0813a255e25bc82b6","datavalue":{"value":{"entity-type":"item","numeric-id":1145771,"id":"Q1145771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$D35BAC7B-7B86-46D4-9AFC-F66B0CB5BBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1cd73ee5f19386d2a834b3d863645060a7e505","datavalue":{"value":{"entity-type":"item","numeric-id":1116340,"id":"Q1116340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$8AE491D2-2126-437C-A68E-B1ACA229B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d5e0e6cf7202fa024ec4435c121a69e90503d2","datavalue":{"value":{"entity-type":"item","numeric-id":3533015,"id":"Q3533015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$E0599049-EBBE-4C9B-810C-3DD28CDFA24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e5ae81b31f29bdd267ca3e79f9d9412c14eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1038421,"id":"Q1038421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$98C6A12D-6C48-4218-81A6-41AA74795FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b24cce7183d1cada3efc4bdba57364427c82f39","datavalue":{"value":{"entity-type":"item","numeric-id":3182926,"id":"Q3182926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$638F2DF1-0E1A-4314-A078-06A210258E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6a856ca3609904e4675e0c9435fca662dd9575","datavalue":{"value":{"entity-type":"item","numeric-id":3584887,"id":"Q3584887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$7612DAD3-E1F9-48C2-927E-C7C461E308D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276fdaba615e7941361ecd572a2b18e411b975e1","datavalue":{"value":{"entity-type":"item","numeric-id":1940419,"id":"Q1940419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$6BFC4BEB-3B2F-40F9-816B-85BB40B3E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6583ec4e2863cbecf9dfbbfd9fc5c34e7c30d15","datavalue":{"value":{"entity-type":"item","numeric-id":5509690,"id":"Q5509690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$2F42FE4D-0F92-4EE7-9BC0-FDD3F6417056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40b51e97c124c4248e98fd33bfc14fcf73b0aef","datavalue":{"value":{"entity-type":"item","numeric-id":2842894,"id":"Q2842894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$00D31DEE-36E8-4B60-AE67-0216E2D84278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f920ff26d3c79f841bdf69ec7713eb36b313b01","datavalue":{"value":{"entity-type":"item","numeric-id":5199968,"id":"Q5199968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$67E6556D-EFD2-46AA-B1F4-4654E8F1C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91c34326aee11faa4f1f722f1a7f0686edb50d5","datavalue":{"value":{"entity-type":"item","numeric-id":4171566,"id":"Q4171566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$9D5B5FEA-BB9C-41FC-AD2A-B6F5642BF34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6f1494bcf6107f1654501837a13bb93bf68579","datavalue":{"value":{"entity-type":"item","numeric-id":731355,"id":"Q731355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$012CFA60-A233-4BFC-A507-D95B6164A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3c2c48e8711a06cbe33fea6900c75fca5b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3540093,"id":"Q3540093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517035$C271081D-6C3B-4E34-92F4-DF532A92BDAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e39e0e4a6ced33c9ba0929c309d930630265a94","datavalue":{"value":"10.1016/J.TCS.2015.08.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517035$1270E6B8-AC02-4229-9B81-2D55D674E738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8679ed70a3510d03680e2b91a4de88db23ab9e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4609174,"id":"Q4609174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc8b90d79085266c8a03aaaaa610d6cd9a1899f","datavalue":{"value":{"amount":"+0.8001253604888916","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":"Q517035$2F4206AB-B1C4-4CBB-9F39-D11B794F364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8248f807c2f209d738c3c6593d5081c4bc4ee6c7","datavalue":{"value":{"entity-type":"item","numeric-id":2833542,"id":"Q2833542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ce579ef232b368d608d5cf3c2bdbc219d43f07","datavalue":{"value":{"amount":"+0.7969234585762024","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":"Q517035$82FCE7F4-0175-46EB-AAED-2562DEC7B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d409660081f6e7a3136d55d1a17b8704980f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1637601,"id":"Q1637601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865521034bcd0a2ba6779294e5cffcfc6ac3c3eb","datavalue":{"value":{"amount":"+0.7933452725410461","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":"Q517035$E1B3670A-C468-4461-9AF2-7A83E923194B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5f6495f1fc80e1da9b866579d9da600022657d","datavalue":{"value":{"entity-type":"item","numeric-id":3032279,"id":"Q3032279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ad7472cdecb9a7ef91ef821a4220da33d4361a","datavalue":{"value":{"amount":"+0.7913070917129517","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":"Q517035$5CC005C9-F49C-4ECA-8B7A-D894D0C8FEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e6fe93ac9de2d699cad418b8ab98f5d04d6e22","datavalue":{"value":{"entity-type":"item","numeric-id":5199968,"id":"Q5199968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158b7dff3114b4dd04f9cc11b4834de4f61a1015","datavalue":{"value":{"amount":"+0.789909839630127","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":"Q517035$898CDD48-E2C4-4314-8756-849971AB1C26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On incomplete and synchronizing finite sets","badges":[]}}}}}