{"entities":{"Q4649308":{"pageid":6678889,"ns":120,"title":"Item:Q4649308","lastrevid":51600944,"modified":"2026-01-19T00:38:34Z","type":"item","id":"Q4649308","labels":{"en":{"language":"en","value":"Computing minimal separating DFAs and regular invariants using SAT and SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109381"}},"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":"Q4649308$00ED1556-5788-4621-BDA2-3AFE7B9551FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5feaaca8db9c6f82774784b0779905ee5862d3f4","datavalue":{"value":{"text":"Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649308$A05C95CD-1615-483F-A5C3-FF099E354BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55429a54f8476ed05a23d985e54906b3ecc3b466","datavalue":{"value":"1374.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$593A65F3-6684-4FDE-A0AA-8DFC48124E00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b1b511fee2d427fa46e6e6b3b011a824373aca9","datavalue":{"value":"10.1007/978-3-642-33386-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$07E33AA0-1B88-4B9F-8279-B848396E7115","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649308$14EC2299-DDDF-4C3F-AEC2-C06134647BBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649308$116CE515-5666-4AFD-8F43-5FA3196828F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649308$563C49CB-2217-4041-98E1-1F579162774D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$D5B2CB23-35FF-4C34-BF2F-A3523F88405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$45E54338-E3A6-4822-9DB8-19A2B2BD9721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$C1454996-9B48-4389-9B2D-8F475B3848EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9994140f8fdc62d5cb0e319cb0b7316274b57662","datavalue":{"value":"6109381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$72853C0A-BFB7-46EB-B796-44C2AA4826EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649308$C8FB252A-081D-4635-AE12-7D53A5CB8F5F","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":"Q4649308$B2ABE85B-3C95-4045-8604-EA6855FFF6C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b76932875b37e06cfc7146f8419e9034b7ae5fbe","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649308$C20AFDAD-DFBD-4347-A469-0D9CF83575C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea206c24c435454d5800eb8ed8decf0137897d28","datavalue":{"value":"W21416174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649308$D4961113-0E86-4ACF-8815-264133EF17F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b940663c37bc0446f96b89938100c820e2e273f8","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8280c304b455b79a32c20fe2f8ff5bfa30b40c0d","datavalue":{"value":{"amount":"+0.782077968120575","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":"Q4649308$BFEEEFCA-9F98-40AB-8679-0351BB2B383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111a9852563a3d243e7014ac063b6785f81a7fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6685318ba02b204ee5c46502d3f4a5c70ac6c2db","datavalue":{"value":{"amount":"+0.7686548233032227","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":"Q4649308$5608F696-96AA-49D4-A366-AAE4A51D5E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a779bf8187a1d6827ddab8994e1341bf9ddd7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2282132,"id":"Q2282132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610579bc7c35e79c9784841d141b874adeb8bb5c","datavalue":{"value":{"amount":"+0.7681666016578674","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":"Q4649308$E7F8889F-DBDA-4377-9C5B-99A0E5519114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6d90b4343838b8ce3755263b98fc46cfc64ee5","datavalue":{"value":{"entity-type":"item","numeric-id":4989704,"id":"Q4989704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f985e836cab30692eb701629b040f8cfb0da1c7","datavalue":{"value":{"amount":"+0.767291784286499","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":"Q4649308$10D5EE6C-A594-4E9C-B879-FD576DEF0770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c57953f43c6acdc79e299ea91904018547f1dba","datavalue":{"value":{"entity-type":"item","numeric-id":2278273,"id":"Q2278273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a48134dc59747a366f812c7aaf792550f95cda0","datavalue":{"value":{"amount":"+0.7552447319030762","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":"Q4649308$0C96C3BD-4C0A-4055-A1F8-BDC556CFE77C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649308"}}}}}