{"entities":{"Q3528414":{"pageid":5558318,"ns":120,"title":"Item:Q3528414","lastrevid":80653874,"modified":"2026-05-06T16:41:49Z","type":"item","id":"Q3528414","labels":{"en":{"language":"en","value":"State-Merging DFA Induction Algorithms with Mandatory Merge Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5352124"}},"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":"Q3528414$EC8BFC4E-4ED1-407D-80FE-959BA7392D8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b89953fc1090b74cbfedbb728badf05c6a6216c","datavalue":{"value":{"text":"State-Merging DFA Induction Algorithms with Mandatory Merge Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3528414$5CB3D04B-3973-4CA2-9E6F-5DFC988E72FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1d48f8ea4a3c2d232e7bc1f327dccbfb1a72a7e","datavalue":{"value":"1177.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$DD9D31E5-D7E4-41B5-99CA-E30579CA2A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41f6fab28c9ffa3b087494d0438f240e2127b54b","datavalue":{"value":"10.1007/978-3-540-88009-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$138E9609-73CF-4000-B880-A9CAE4EC57B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"30548009b9c7d63c157606f9cf1ad877c84475ec","datavalue":{"value":{"entity-type":"item","numeric-id":3528407,"id":"Q3528407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528414$6DF40ACE-8B94-411A-A9C2-0C4BE90BB426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5e1148a8db14a761b33ca61d319fa20c3d24269","datavalue":{"value":{"time":"+2008-10-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":"Q3528414$ED5142EA-A2F8-490D-AF6F-80CF2FA4C7C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$C035CA49-C226-4B38-B08D-8D9014FCF5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$4C32303A-1504-4001-9FEF-A7F997CBF45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$C0915718-D080-4898-9918-50FA662AC5B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eb288e2eaa224439c26f4f06fa4f066633014fd","datavalue":{"value":"5352124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$07530E42-6E4F-4D88-AEDA-1A9C36A3E365","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":"Q3528414$2F64DBFB-EB91-4028-B6CD-8632A1F86CE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"974bf9c4f5a29fc303ff229e0e178f187bae67ea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88009-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3528414$A5C87C8B-6BC2-4136-9406-847B1596B5CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e322b3f11e0a50d3dda779ae1f7809c4f2a00c1c","datavalue":{"value":"W1725778618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528414$3A80C267-A8CF-4C28-B885-E33C1411F2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e73c011ffafa94ba6b2dd6243fb3d37c19d75b2","datavalue":{"value":{"entity-type":"item","numeric-id":5493004,"id":"Q5493004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabc57f8c28a4264011b45410ba309326116a42b","datavalue":{"value":{"amount":"+0.7919124364852905","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":"Q3528414$68FA77AD-A855-4A32-89AA-1D1594D4E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bd17dd0da87f3dc6320f6f4623d48d33f4228e","datavalue":{"value":{"entity-type":"item","numeric-id":1763699,"id":"Q1763699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d61ff84333a4ba451d398c829945d154a00e63","datavalue":{"value":{"amount":"+0.7579450011253357","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":"Q3528414$229515EE-2C34-4715-8D93-8A240812BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1221d1dd1067cb1b241a5502a9cbb853aa07e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2485087,"id":"Q2485087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d24f2a08eead024bfe158c6b20b93a86b68726","datavalue":{"value":{"amount":"+0.7567345499992371","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":"Q3528414$5EF6035E-1A7E-4969-9AD6-321AA091BE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be9c7ac5dfa1b05e056daf2fe4fa2569b8d78d3","datavalue":{"value":{"entity-type":"item","numeric-id":954990,"id":"Q954990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484460dbfbf2ddac44386463eb74194c62660b84","datavalue":{"value":{"amount":"+0.7272905707359314","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":"Q3528414$60DD9DC9-DE8B-4118-A5E6-FAE571AF17E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fff0cf3f6ac3195398a7e3a4f7039181c77bcbc","datavalue":{"value":{"entity-type":"item","numeric-id":3588364,"id":"Q3588364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de0d6faaaca1a28819f7d29b5d4b7439f44689e","datavalue":{"value":{"amount":"+0.7258123159408569","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":"Q3528414$1568BCB0-4BA7-4CF6-BB80-12206BC8917F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State-Merging DFA Induction Algorithms with Mandatory Merge Constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State-Merging_DFA_Induction_Algorithms_with_Mandatory_Merge_Constraints"}}}}}