{"entities":{"Q393671":{"pageid":395438,"ns":120,"title":"Item:Q393671","lastrevid":61539678,"modified":"2026-04-11T00:01:29Z","type":"item","id":"Q393671","labels":{"en":{"language":"en","value":"Minimization of incompletely specified Mealy finite-state machines by merging two internal states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6249766"}},"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":"Q393671$0AB68E7F-04A0-4513-89A1-6E83E5577F18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59ef3b613014cfb75516b6d80fb74c44ce5b984e","datavalue":{"value":{"text":"Minimization of incompletely specified Mealy finite-state machines by merging two internal states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393671$8061697A-4A45-4390-9A80-D3794DC25852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2876582a278d5370082674376ea5d4cebbcf6d","datavalue":{"value":"1278.93178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$BF213055-E104-4D60-9ED9-EC60231D1995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6df1cf2eb3ef21d60e2d8c7c237a17bd6e95478","datavalue":{"value":"10.1134/S106423071303009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$CEB9835E-43D3-44D8-9073-C4836184BD64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e934be8f1b3919794f147fac68ff8c986ffd0923","datavalue":{"value":{"entity-type":"item","numeric-id":393670,"id":"Q393670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$2A724765-0E47-4BE9-8560-CFD4DEAF8D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9ec947ce3d37de3a75e08ea67d3198804f9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1662572,"id":"Q1662572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$97BCE21D-1465-4049-961A-0E4DEA9745D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$ECE23FB3-37BC-4CCD-99C9-00497B3BFB13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2b6fce164a9adc4c2dd658707c8e5181c99df90","datavalue":{"value":{"time":"+2014-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393671$2D2BB91B-8833-4080-8F85-442F4EF78ED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$2BB71915-19B5-4CC2-94EE-12D57AEF66BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$C7BE999A-E80F-4B52-B36A-7B3FE9DCDAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$3832008E-5A98-4B9F-B4AE-0D12D8688F65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e12008ed1471e608b322754727aa8ea7b5193461","datavalue":{"value":"6249766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$7A6B44C7-5D7C-4B98-8A9D-233592FDEFD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04049e9267ca21537c28d61e163260490677406a","datavalue":{"value":"Mealy finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q393671$E9BFE51E-81FD-4EFA-9A17-F14B164C425B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d6d9b5c3f3b80e446e699c5acf2c70b95772a6e","datavalue":{"value":"number of internal states","type":"string"},"datatype":"string"},"type":"statement","id":"Q393671$9C984F47-3A43-47FA-AE09-B34EF7D91536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6126fd831b148ee202f87a04f76e29530ade4155","datavalue":{"value":"state pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q393671$B00C44C7-E7DA-473C-9FCC-86210E753C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a91a7d10c9455150e9407fde6c8891ef233b83","datavalue":{"value":"Stamina computer program","type":"string"},"datatype":"string"},"type":"statement","id":"Q393671$0C296122-3948-4F22-AD43-0FB067930CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d31c2daef2a80161502378446e0198f17f748d4","datavalue":{"value":"heuristic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q393671$1E721BC6-919E-4578-802A-401FAAA9F90C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5696db36b4ff965ee82aca504e1a7eecd5cf029a","datavalue":{"value":{"entity-type":"item","numeric-id":19675,"id":"Q19675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$7CD80B56-33EE-461B-B66D-0D8B60534216","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":"Q393671$552F250E-CEFA-48AF-AF6C-1A882AF3E187","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"180433b6096695ad14ecda987bab3ded8a8ef2f2","datavalue":{"value":{"entity-type":"item","numeric-id":2566349,"id":"Q2566349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$463A47EE-0BCB-46F9-8AFD-B66A7CC03116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9599bcbcd7be15a997a25f3ad20d7563a0a5ce2","datavalue":{"value":{"entity-type":"item","numeric-id":2568141,"id":"Q2568141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$3C0BAD7E-1C6A-4453-B667-C1253E4548ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48abd46235c5840b116c12d34875219963a2040","datavalue":{"value":{"entity-type":"item","numeric-id":2457084,"id":"Q2457084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$473C53BC-EC7E-49B5-87AA-E6A0C1D7B2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbca048a691712a7601bc28f71420acf16d932a","datavalue":{"value":{"entity-type":"item","numeric-id":2263408,"id":"Q2263408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$A5B588CC-A9B4-4F3F-8BAA-B1DF68168BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84174c392d977240a7b13f69b298e127182ae84","datavalue":{"value":{"entity-type":"item","numeric-id":384661,"id":"Q384661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$36910F18-946F-4985-94A9-D271A687280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070b8c74a1a763096b28d04314e9a58964929d11","datavalue":{"value":{"entity-type":"item","numeric-id":2391521,"id":"Q2391521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$6DE75AC1-ECCB-42D7-AD12-0F454B6A1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806583e5b346bab95e104c5d094e82676906380f","datavalue":{"value":{"entity-type":"item","numeric-id":5535417,"id":"Q5535417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$1DB956BB-A707-40F3-9DAA-4DC6886F41D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1e97e4c0b9150b7eebffc4b5a1b3088104b4","datavalue":{"value":{"entity-type":"item","numeric-id":4404801,"id":"Q4404801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$1A5C23D9-7299-450D-9873-655F9A690D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1362bfa2ae31f954316b6d3e77e2b1f6b051f1a5","datavalue":{"value":{"entity-type":"item","numeric-id":1860035,"id":"Q1860035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$D8293378-B329-45D8-97D4-C0EEA7E90CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1788f6c9268b4356bb1fdb00c8370771992f004","datavalue":{"value":{"entity-type":"item","numeric-id":865721,"id":"Q865721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393671$614138FC-FD1C-4376-A996-656FFCF3B5B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60fee2299b240fde0b15723498de39cdbc098475","datavalue":{"value":"https://doi.org/10.1134/s106423071303009x","type":"string"},"datatype":"url"},"type":"statement","id":"Q393671$8ACF3778-BFFB-42F2-996C-6F539BB503D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a0bcc00dc52eb0df6d5d115ad18b4b0b10cdf26","datavalue":{"value":"W1979859567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393671$B4689478-5F0F-476B-87AC-2BA440B708EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc90718e1d413640ba01c27097cb197e031fe32","datavalue":{"value":{"entity-type":"item","numeric-id":384661,"id":"Q384661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5f52fdc524bf739c23cff629fc61fdf610b0f3","datavalue":{"value":{"amount":"+0.9005832076072693","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":"Q393671$675648F4-8FE8-41FC-AFAA-9FEBDB9F6425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7093cd19f109623d0ada92c2782443479c9ab367","datavalue":{"value":{"entity-type":"item","numeric-id":2263408,"id":"Q2263408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ae1cb11f347f69ae6c1aba35529f875e50b300","datavalue":{"value":{"amount":"+0.8585622310638428","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":"Q393671$22AD9E47-145F-4E4F-90AA-29F2B5D99D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ce296c4ad9300f33a4d3605c5980847812da08","datavalue":{"value":{"entity-type":"item","numeric-id":1860035,"id":"Q1860035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1981b8d23bc52b40f6f6c919f5577c9f9a722e","datavalue":{"value":{"amount":"+0.833873450756073","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":"Q393671$183300B3-721F-4233-BFF0-B09E494E050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08480da95ebfa6c8fde1253f41c8e78deba0edfe","datavalue":{"value":{"entity-type":"item","numeric-id":1745748,"id":"Q1745748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1ea5f4cdc7a1d4183de8043e0fb6f788a67863","datavalue":{"value":{"amount":"+0.8286820650100708","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":"Q393671$53925AC5-84EA-41C2-BB48-2C759293C232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd41074834771b9e76021bedcc8df47c930b149","datavalue":{"value":{"entity-type":"item","numeric-id":865721,"id":"Q865721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf9d121c59525ab76811ac3c8347f600db990fe","datavalue":{"value":{"amount":"+0.8098456263542175","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":"Q393671$948CCF6F-4D8B-4798-93FB-7777ECB43100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimization of incompletely specified Mealy finite-state machines by merging two internal states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimization_of_incompletely_specified_Mealy_finite-state_machines_by_merging_two_internal_states"}}}}}