{"entities":{"Q2633380":{"pageid":2644123,"ns":120,"title":"Item:Q2633380","lastrevid":78988859,"modified":"2026-05-06T12:53:46Z","type":"item","id":"Q2633380","labels":{"en":{"language":"en","value":"Using SAT solvers for synchronization issues in non-deterministic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7052520"}},"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":"Q2633380$E2B1A3BE-FDED-4654-BEC1-EC966F5A7A31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95857ba6a1b5fc76fee747a226acb508d25eaedd","datavalue":{"value":{"text":"Using SAT solvers for synchronization issues in non-deterministic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2633380$C76DE25F-1378-4447-8B04-136E42AD03A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8e9749c88c2c6921e00e67c1ae16ed7ab1fbd01","datavalue":{"value":"1411.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633380$F78F71B6-5A11-4608-87A8-192BA6C1FEA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee7ef1b5c12268bf5b330b580a14e3a81325495","datavalue":{"value":{"entity-type":"item","numeric-id":2170285,"id":"Q2170285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$BF9A8C64-E625-4EBC-9F3D-5828423AC681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$8470F7A4-DF86-499C-AC3E-D3090A96BEA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8721ec9cf8de43034be561afa7e535bafe3c2e57","datavalue":{"value":{"time":"+2019-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2633380$E90B9206-17A8-48A3-B0DF-B807B47E1D52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"391cc4f25efc5e15cb681f2047f511b28bef8282","datavalue":{"value":"https://arxiv.org/abs/1801.05391","type":"string"},"datatype":"url"},"type":"statement","id":"Q2633380$6AD84903-892F-4421-BFE0-5C5271564703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633380$577DCAEB-30E5-4599-8124-727D2D78B8B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24dde80bae419b925be648587d3d662e8a5df31","datavalue":{"value":"7052520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633380$D92654FF-0AAC-470A-B658-9A91BD7D455B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2278240e312c8ceb74b374704cc546cc465a92b2","datavalue":{"value":"nondeterministic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2633380$EC6A460A-F10F-4D6B-B189-36E1131FB959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b46905dadcd2a654332a1828c13a843d2c1e4","datavalue":{"value":"synchronizing word","type":"string"},"datatype":"string"},"type":"statement","id":"Q2633380$BE72EC30-EF3E-4F64-8B30-79C5E3E9DDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2633380$5633A923-5D5E-468B-9DC8-0612F5118E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f230c47ce693e1ef568cdbf7a69f561dbd91484a","datavalue":{"value":"SAT-solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q2633380$A35DF284-C74D-4E27-B8D1-34F0DC6081F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c10d6280056d674ac455ec370a4eda9a8ebd33d","datavalue":{"value":"random automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2633380$1740EDDA-0911-4FCE-BF93-D0E128077B18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$EAAA726D-D99A-494A-B3EA-4C861CB0405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$A5C0F06E-228C-40FB-AC01-72B5590DACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$E612676B-3F53-4307-9443-F7DAEB7F4AD7","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":"Q2633380$70B80390-F75B-4402-A5F4-5F57F09FC67A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a9f58409ed9c2f4cee13bee58dbd12d9d4cdcba","datavalue":{"value":"W2997019898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633380$A0F26D64-C790-486B-91AC-6BB1528DF5C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$A0E1584B-8707-4BF4-AA20-74E0FC3920D0","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":"Q2633380$E5D63E86-B3D6-4214-8FCF-B23826B59CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d068d0634bf42ed45eccc60a1558a4ffad32037","datavalue":{"value":{"entity-type":"item","numeric-id":2707235,"id":"Q2707235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$D7F870E1-D078-44D0-B007-1322D4209304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98fb29f382fb6dab36cdaba796abbdac83defa8","datavalue":{"value":{"entity-type":"item","numeric-id":845082,"id":"Q845082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$9DEDA246-8D2C-4647-9A4C-C033E1E787AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512829dd491319603a0628abf87950d92a7fbeef","datavalue":{"value":{"entity-type":"item","numeric-id":4826930,"id":"Q4826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$2CE19B40-AAD9-4C68-B223-C564A9306BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53feb0b8c8d748dfe83d85e0fabf78db304ff51","datavalue":{"value":{"entity-type":"item","numeric-id":900654,"id":"Q900654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$18CB936C-76E9-4A32-948D-3ADD27E12AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8384ade19dc8018900aa4c8d6ca76bb574daec1e","datavalue":{"value":{"entity-type":"item","numeric-id":3130423,"id":"Q3130423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$4B1951BE-A95B-42A8-B2A9-F06662DCAE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a1585035e82d07a2475f9907ae47e2c2e518d9","datavalue":{"value":{"entity-type":"item","numeric-id":4623036,"id":"Q4623036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$A7C9A946-6424-4F41-B219-69F1E1BE1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c3e1bc783c746ea5995dd8134cc80b1e90c162","datavalue":{"value":{"entity-type":"item","numeric-id":3674065,"id":"Q3674065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$B5E5D304-BE26-4B88-B8A0-CCF5C7F3B8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecd6a020d851f263a35f477fdd42d0ca76c9185","datavalue":{"value":{"entity-type":"item","numeric-id":3893317,"id":"Q3893317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$AA47C14D-8B89-4675-A049-B983ECA6DEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e846e9e9f23126c5a717a1c9f14b50ee45ecca5d","datavalue":{"value":{"entity-type":"item","numeric-id":1838038,"id":"Q1838038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$7CD9632A-29F5-4E03-940F-AB8275B22BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6f2fc7b333e78a1c846887df6bc34d4b48f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$31BD2680-E1E3-4461-9D10-D347C84E511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab6955658a2082cd41865e02c0199121c8ec0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4036599,"id":"Q4036599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$AC7D85E9-3881-4197-83DC-FC8234A7D77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec045cd64d70456d09098ec60aefad3a87c2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5200075,"id":"Q5200075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$6D9FF850-425A-4312-B5E3-21F608123CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ccbf06f060d34d760a77babb094bac827dc498","datavalue":{"value":{"entity-type":"item","numeric-id":3586114,"id":"Q3586114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$9BAB96D4-D5C9-461E-B01F-64F3EFEBEF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$B71E00D7-58DB-4F49-A8C4-61BEE6D7034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3daa3db03ea11be8dc2196c96ebade778eaf14","datavalue":{"value":{"entity-type":"item","numeric-id":5387853,"id":"Q5387853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$3FDD3951-E1B2-4A02-98EE-5338DA862E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa175007a3e7a1ebb930220d960097bfaade4d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2354297,"id":"Q2354297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$4D7EFCEB-EB17-40E4-B4E6-64C567AA1945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95868f924867942a19185c9bbd6a8b29646168e4","datavalue":{"value":{"entity-type":"item","numeric-id":2408797,"id":"Q2408797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$EF8362C6-B4A6-4626-8296-E13975B0BCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cbf9c91362104fa21a068283e25b256d9e421f","datavalue":{"value":{"entity-type":"item","numeric-id":5384430,"id":"Q5384430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$BE2629BD-D24D-413E-96F6-30B830DAFFE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3daf7d92439d4543e100ca62c1d73948ce3e0b0","datavalue":{"value":"10.17377/SEMI.2018.15.117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633380$D4019858-BCD6-47DE-82F1-07D5D3D298A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2633380$811EF8FA-6DB6-4ACA-ACC1-F0CD5BFECBFB","rank":"normal"}],"P1643":[{"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":"1d5b287681939e77b328031e4f13910dec8a8685","datavalue":{"value":{"amount":"+0.9127711653709412","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":"Q2633380$26B1617F-294A-4E7D-A78B-1A26C18C0F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9b37da6baa9453c26d7b88df89ff3e995ba43c","datavalue":{"value":{"entity-type":"item","numeric-id":4623036,"id":"Q4623036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ce82cc00f53d7fcfb8cef768054f98e8561485","datavalue":{"value":{"amount":"+0.7898805737495422","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":"Q2633380$C4FC4EE9-6B1B-493D-A53D-A17E4C51824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c740d91bcd8d4f18e9f54d4efc6199e7ed3589","datavalue":{"value":{"entity-type":"item","numeric-id":5200075,"id":"Q5200075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9465298dc3af8aacad08d15d4d8afc4ecd3939b","datavalue":{"value":{"amount":"+0.7647213935852051","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":"Q2633380$F3C691D0-FDAC-44F2-AE2E-4FF7A717AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f856dba50f61f620ba4f0ada06a8363d5f51d58","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68da69e4fd17525247cf97740122e598dad73b12","datavalue":{"value":{"amount":"+0.7479565143585205","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":"Q2633380$C35D63A4-71CF-4901-A48A-F3B95AEA02B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f357b55fbd42bdf347709d768529df4eb6b1f24f","datavalue":{"value":{"entity-type":"item","numeric-id":3540111,"id":"Q3540111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2220840c4469396115c4a6b2c4f5c70bc534b1","datavalue":{"value":{"amount":"+0.7461941242218018","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":"Q2633380$03C1DAC6-F5EB-46A6-845B-155CBDA4B17D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using SAT solvers for synchronization issues in non-deterministic automata","badges":[]}}}}}