{"entities":{"Q3617752":{"pageid":5647658,"ns":120,"title":"Item:Q3617752","lastrevid":50618948,"modified":"2026-01-14T14:24:53Z","type":"item","id":"Q3617752","labels":{"en":{"language":"en","value":"Learning Minimal Separating DFA\u2019s for Compositional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535618"}},"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":"Q3617752$97DB7BF5-2FF5-4D40-B02A-0ABF8B791FB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a57acfac0fc7f1d46432b85a338e4b7e7a3b9566","datavalue":{"value":{"text":"Learning Minimal Separating DFA\u2019s for Compositional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617752$30503D4E-AE06-47D5-BA34-442DE9D99C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead10f88238c2dcf3b8572fed4f6854ad72ee9da","datavalue":{"value":"1234.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$0780A5F7-E30C-4860-9321-6C66EC8054A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dee1ca10e71d9334c640d920038a4a0bce07f6b","datavalue":{"value":"10.1007/978-3-642-00768-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$5BFBBB0E-BDC9-400B-B061-0DD5AF4E7F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$9C6C773D-2F96-4F14-AB7B-E479CE707D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$1A865E3D-BC40-47AB-AC86-9DF8E4303254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$00160BE7-275D-4295-ACB1-9784D7378F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$826C6D26-12A9-4537-A6AC-DDEEE74E9091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$982777DB-AB2B-40D1-8D14-02E7FC7FDC0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$4FE304D5-7226-4D6C-8687-C02EED7DCF69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617752$E0AF0995-01B3-46D2-9C83-2FC4BEE32813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$9CEFCB23-1F76-494E-B2EE-033447FB9B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$19C38ABC-8D62-4E40-8E8A-8E4644A0CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$AE4477CC-9B1D-4733-B03E-53E2B9242F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0eed544e096bff7da5b387e3fb4ccb3348731b5","datavalue":{"value":"5535618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$7C131576-8948-4031-94D8-E8240C50EB50","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":"Q3617752$BEEA5311-AB03-4997-859C-4E180A87F015","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"978e64510aeb509d89b26f213934da4315f80861","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617752$1462CF9B-109B-43F8-B243-0AA09A93FBEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c6fd05b6155c66dbc269099fd7aee7d77c3bb87","datavalue":{"value":"W98666333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617752$DB24C63A-80A2-45B5-B760-DB8BBCDA0576","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$E118FC55-1597-49E0-BA78-77C6435A5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$34A09455-C7B0-49CA-A6C5-B38EF4633F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b72ad09e1bd6ca3b1ae8d38ac829e2618d0c754","datavalue":{"value":{"entity-type":"item","numeric-id":5716900,"id":"Q5716900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$23326724-34C4-41B8-ABCC-88133BEED2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76c83963daaf9dacc98c1875034105c6dbf9004","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$1D9BDA0B-AC5E-4B38-80CF-6770052E250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7339bf9b2529ffb9a27c9cdd0542578668a99679","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$5BAA1117-F1A3-46D6-AD11-8F730079CFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$8163A19E-196D-4C10-8934-98999782CD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$C0E68455-1C8F-40CD-BB31-0A040D9DEC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f91b8628cae3ade1f244c9153d5ac3ded0de78","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$48966F6C-5313-4923-8454-8DAB68DED33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8709853eed91c9a9472fde67bcf8acf2b7be0b","datavalue":{"value":{"entity-type":"item","numeric-id":3613429,"id":"Q3613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$0746F495-3ABC-45EC-8D60-4E6ED7656FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65dcbe496568d8acfd7675321a84644e35cdebc","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$6269644F-77A4-4C07-B3FC-6495C4160DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$413D24AA-4DFA-4D07-AC7C-315648656FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a28e355684deb98556d54d5eb7ec60a91bc7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617752$F57EECED-A2B6-4072-BCDE-7DDFC790E630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c65a28b0263af422e970c546855a9a10b98f","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"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":"Q3617752$64BAC447-2842-44D4-982A-6596BB3ED840","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":"c345b3d4acdaffd0cbabb8222c41a38879136c43","datavalue":{"value":{"amount":"+0.7596777677536011","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":"Q3617752$C5AD221C-686F-4763-8464-C627F5BF4865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424307765c8447ce2045beb8aaea488784768bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5452608,"id":"Q5452608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164aecc40119e31233df2d6c86a30ded864f88c0","datavalue":{"value":{"amount":"+0.735991895198822","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":"Q3617752$C9CD59BE-F16A-4C8C-A6CE-D93B16C1B436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962002ad2c9a4589beee658068c9c506e91102dc","datavalue":{"value":{"amount":"+0.7327302098274231","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":"Q3617752$5C8A7DF3-29EE-4033-82CE-7ABF82B6F2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793c0d3f6db2b0e326a59803b219cdd305480f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a17a40339ad5f1c7bf21518dbe2f25ddad7c052","datavalue":{"value":{"amount":"+0.7318083643913269","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":"Q3617752$A87BC84A-0A4B-4F8A-BC27-FCAD0BDAF0F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617752"}}}}}