{"entities":{"Q728283":{"pageid":730132,"ns":120,"title":"Item:Q728283","lastrevid":63922608,"modified":"2026-04-11T16:27:14Z","type":"item","id":"Q728283","labels":{"en":{"language":"en","value":"Optimal state reductions of automata with partially specified behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6666079"}},"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":"Q728283$A1FD85B0-DFCD-4F0E-9A25-F0BFC57C2CAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d481cdba05ad6161c0a1451ebf4430c76f46df5f","datavalue":{"value":{"text":"Optimal state reductions of automata with partially specified behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q728283$30971A38-58C2-46A8-B818-8992F3DCA2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e00ff244d9c40039a6eb76abf8ea4fa3e771ee6","datavalue":{"value":"1355.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$D2580859-6346-4D32-95F6-148AA9C1BAC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$E8103141-001F-4F23-910F-6A019A9D328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f920db5aff0a8e6518a5a866c3161192fca7ec8","datavalue":{"value":{"entity-type":"item","numeric-id":383364,"id":"Q383364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$5CE4861D-1F59-4BD0-9309-1271359A842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb64126f3b0348026730db4bcdb13b8ce3ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":329727,"id":"Q329727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$0D9213D1-4A93-4529-A889-8689968F7886","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$3B43C698-0AFB-4156-A57D-7BE55C84BD5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0998906a3f5f9dd24dbdb46d708bb63d226654","datavalue":{"value":{"time":"+2016-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q728283$BD3E2F9A-4238-406E-9973-140BE0E63317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$526EF0F1-2A6F-4BBB-9340-B24E55FF55C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$960B685A-4C32-4EA9-A810-98AE7079F823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91181fb321c510ceba113f01550c9d757697039","datavalue":{"value":"6666079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$0E411192-633E-49D8-9344-FA4A7AD549B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q728283$D0CBF86D-36D0-483F-8FAC-50A310781573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q728283$956CD022-C303-40E2-A601-1F2949A08D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cda1e32c2e972aab485ef54a4370b5b06374b44","datavalue":{"value":"don't care automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q728283$918704AA-AFAA-44EE-908C-85D9F75A145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3ac5948a51082073fe08b55937180405a1900","datavalue":{"value":"descriptional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q728283$84B4032F-4618-4610-A735-8769FB86C7D1","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":"Q728283$40FFBF5D-3CD1-4997-9F5C-8FD91C1335B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a68f32bd02bcaa6548977e095e9fbb718357c4df","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q728283$940C8EA4-3A5B-4903-A6EC-B06372E1E213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e07029d4dbad71847612cdc6951adf93f0ac3582","datavalue":{"value":"W2350842303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$F651105F-8913-46B0-9D5F-07E2AF25F554","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93eb62f638e90eb8f6db0ec189c2e340e18fb5e7","datavalue":{"value":"Q61677486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$9B451564-9A6E-4478-912A-D8154F2F4651","rank":"normal"}],"P223":[{"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":"Q728283$B81F2097-F641-4A3A-9202-79F81077295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff908209cbae1dc0a10a9462932031345a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1099644,"id":"Q1099644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$EC0DE7A4-9807-46F1-887B-B20866229E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacbb28cc6e209bd8bed0bf9f3eba17de3601302","datavalue":{"value":{"entity-type":"item","numeric-id":1028730,"id":"Q1028730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$28F51ADF-0767-456F-9576-6F1160E0A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27acd313ec28b40bb8436a9f5288c25efc3ff5ac","datavalue":{"value":{"entity-type":"item","numeric-id":5200060,"id":"Q5200060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$8503FC07-2628-4BA9-8E24-4FC0F11A0CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b934c3926eea17215bbea1ed0c0439dfabebe7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2461796,"id":"Q2461796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$141AF506-697A-4B69-8F03-467FC8995C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51606c1341aedcda0317a42b6b181bc0a872ebcd","datavalue":{"value":{"entity-type":"item","numeric-id":2429361,"id":"Q2429361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$9A5A81CB-9752-44F2-9230-AD6F88846A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$2594F783-FD09-46FF-831D-96690811E351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$618B7AB0-4466-46C8-A99E-E3F2ADE05A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5998689ab44651e98658e9c5576f460285f482fc","datavalue":{"value":{"entity-type":"item","numeric-id":553320,"id":"Q553320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$00B75C11-9443-4084-A856-31D72D2547F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c334f24f0ea0f5930a0f10f3816e5cbac17eea","datavalue":{"value":{"entity-type":"item","numeric-id":5920767,"id":"Q5920767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$00D8CB8C-BA5F-4485-82A0-CECCD7C280C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"209cbc6d2caa8503df93ee7f1432f58968505783","datavalue":{"value":{"entity-type":"item","numeric-id":5500693,"id":"Q5500693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728283$367649F0-7499-4C1B-89EE-E001704EF4D8","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":"Q728283$EE6F2DC2-4A53-4F37-A45D-29932373D3DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f4b6b7127b32612e04cc768ffef4ef98a157a7e","datavalue":{"value":"10.1016/J.TCS.2016.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$F7184736-D817-407F-B13E-30267EA53B07","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1b899628b312de84f9ffb42ca4f694b77e45b22a","datavalue":{"value":"journals/tcs/MoreiraPR17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728283$E12D6D32-614D-4E9A-85C0-5F880706BA9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcc86b43e341e7772bd8ef2a24797ed269a5c0c","datavalue":{"value":{"entity-type":"item","numeric-id":5175120,"id":"Q5175120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a652984e9b27eba840c8b1f7403ddd3ccdfd13cd","datavalue":{"value":{"amount":"+0.982461392879486","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":"Q728283$D7F15AA3-68E1-4D06-8868-B2F76FB21E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99099b4a9a28928f7d38b3a12fd29467384e7372","datavalue":{"value":{"entity-type":"item","numeric-id":3988841,"id":"Q3988841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5889d92cd256059be117ff7db9649cb14b1d6899","datavalue":{"value":{"amount":"+0.7922593355178833","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":"Q728283$A68DCE1C-D96E-4C25-A30D-CEDD607A2207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e313270f7eae7fe515c77fd1e98a61970f0bca0","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a7deb5b0a4e8112acc9f85e462dc9fd6f12453","datavalue":{"value":{"amount":"+0.7857983112335205","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":"Q728283$E954A26C-05A6-4644-BFAC-27DC47989B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b745e5e850b8cbef6c7afbe9a95963fe6adef931","datavalue":{"value":{"entity-type":"item","numeric-id":3549289,"id":"Q3549289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c9efae99f90ffd2c20fa0597d45ed54464839e","datavalue":{"value":{"amount":"+0.7796520590782166","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":"Q728283$638BD095-665C-477E-8A47-9DE26DD8C030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5975dc09d73095710e16012ad1990b07bf743b36","datavalue":{"value":{"entity-type":"item","numeric-id":4036599,"id":"Q4036599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddccd15ac0b4aa558d456eeb65bd921be94d7efe","datavalue":{"value":{"amount":"+0.7785043120384216","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":"Q728283$516A8D4F-BEF2-4DDA-A736-028256EA7372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal state reductions of automata with partially specified behaviors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_state_reductions_of_automata_with_partially_specified_behaviors"}}}}}