{"entities":{"Q5408448":{"pageid":7438022,"ns":120,"title":"Item:Q5408448","lastrevid":51972122,"modified":"2026-01-20T16:09:25Z","type":"item","id":"Q5408448","labels":{"en":{"language":"en","value":"Minimization of symbolic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282450"}},"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":"Q5408448$B452D401-3DD7-40AE-BD92-8C87873C6989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2caefb61f09df781d43a2e215c34a0f68c59e791","datavalue":{"value":{"text":"Minimization of symbolic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408448$23FE56B2-6914-4D62-984B-025426C65EA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad2162fa42a6a0f624bc49272678dfbe22148bc","datavalue":{"value":"1284.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$890DF6F0-C1D6-4B04-9F18-A61DE1B5CA1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23d115553bf3b4187dd5223ba9904f2f896071f8","datavalue":{"value":"10.1145/2535838.2535849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$A3AFC4AC-7C27-4A3F-A557-E41C76594454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2899f19d42d5dc4ca3849af955d8da8a1b7e96c6","datavalue":{"value":{"entity-type":"item","numeric-id":746775,"id":"Q746775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408448$CBA3A1D1-3AA0-4237-99FE-B706513ADF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408448$A79877E0-D6F7-468F-82B9-E4A48B8335D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408448$30CC436F-82B2-44D5-A0BD-A513A37EF472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408448$00E968AE-709F-49EE-B5C6-A25CD74DB293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$8A3DD08E-B76D-4114-9EB5-58244DA80D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$4CAC0C98-28AB-474D-82FE-6572511570D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$89DC5EA4-2289-4767-8F3F-E875BAF52BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$04779BCE-3929-4FE0-A5C3-858E47CF39DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$EE320E95-C97A-4F21-8DC1-9815D6A80909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1564df878bf139baba59e55e31ea1350c3cbfe93","datavalue":{"value":"6282450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$8A3B353C-C6CF-402A-ACF3-770F30ABC669","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408448$B941720C-3164-4284-A535-0F9DE0D61132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408448$6889C3BA-1134-4A5D-BA3E-0289F5C77D18","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":"Q5408448$F453547D-227E-44E6-A46B-A9CD58A25E3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65654df6af36a2f24234aaa969ce576382647316","datavalue":{"value":"https://doi.org/10.1145/2535838.2535849","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408448$DC4D2236-7882-4CDA-A49A-2CB6B466141A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc749049238cc03e502d2d357b34fe94c1424c51","datavalue":{"value":"W2110117589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$5E761C95-8298-4801-BE89-0E4BB71D6B67","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a52297ae676aeb5a90b63fa1d8ab953828766eb0","datavalue":{"value":"Q131118222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408448$B14F113B-7042-47E1-A1A4-A09F80DB720C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60fe8acd7c8978290130e1deba619ba56ee2f36","datavalue":{"value":{"entity-type":"item","numeric-id":4635952,"id":"Q4635952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809e252a17dd9152c85ce588bcf4185a1c02f9bd","datavalue":{"value":{"amount":"+0.8874574303627014","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":"Q5408448$C5745DCA-9E7E-4ED7-A204-FF5F0C29D607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c22ae1095da5e974b457f3b634f9d88bc766520","datavalue":{"value":{"entity-type":"item","numeric-id":5127190,"id":"Q5127190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3cd627e46873dd84bb5529a51a307f6e0310fc","datavalue":{"value":{"amount":"+0.8730486035346985","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":"Q5408448$D4793FF2-EDDF-4A44-B38E-01924EB12A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44088bec4744ffa94327fde91a3e486043599beb","datavalue":{"value":{"entity-type":"item","numeric-id":3303912,"id":"Q3303912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47df435d4d378494e0636e57bb8a8512415d8499","datavalue":{"value":{"amount":"+0.8399552702903748","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":"Q5408448$7B927B9B-3F7B-4E87-92C7-3FA0E558292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1343367d1f956f4631abb24e2dd0d41a563f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde014046f8193a916f3bb820d0109065bcee94f","datavalue":{"value":{"amount":"+0.826474666595459","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":"Q5408448$FA17C0EF-5F79-40B4-9815-38CD430C2856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62764c6a32c1e1c2db0a7cf727fac6222e0b697f","datavalue":{"value":{"entity-type":"item","numeric-id":6109584,"id":"Q6109584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5beeec77a490f858596bd73a01b2b2cc9db9a98e","datavalue":{"value":{"amount":"+0.8192390203475952","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":"Q5408448$B5AF3FEA-73CA-4D32-8C12-DB1195A87323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408448"}}}}}