{"entities":{"Q865914":{"pageid":867762,"ns":120,"title":"Item:Q865914","lastrevid":64975119,"modified":"2026-04-11T23:28:22Z","type":"item","id":"Q865914","labels":{"en":{"language":"en","value":"Minimization of states in automata theory based on finite lattice-ordered monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128485"}},"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":"Q865914$545C7ACE-A9AC-4BAC-A221-48783D3556E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1a2bf133c61180c4616aab8458ea0c9a436759a","datavalue":{"value":{"text":"Minimization of states in automata theory based on finite lattice-ordered monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865914$A9690B70-2E54-4E2D-A61E-304767F6DA3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e040c3e5f9b40107433d692ee62ab193c0207d06","datavalue":{"value":"1109.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$1EF9CEE1-4AE6-442A-B064-0355D30BED7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$71CE9DB0-0EB5-4E42-8952-DD2D9D888AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865914$906BD8F4-0AFD-4586-B429-456FD5421ED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$6026DECE-4FF7-49E6-8E65-684767B639B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$EB1A56AF-BD30-4C2E-B320-78C0BEE8D6CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db4b7817aad918f99a71241fb92c50eb0c6d37af","datavalue":{"value":"5128485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$1F60E9C1-83E1-4C9D-B63E-90B842444892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a8ddca931097bc7cb6c3ee08c24c96259e1045","datavalue":{"value":"lattice-ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q865914$EB9E836D-9863-4241-A842-5153053D6B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59f17bd6ca10542f3506a2dff021eb6e90808d8","datavalue":{"value":"\\(L\\)-fuzzy matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q865914$0F4748AB-2A23-4DF7-9BB2-AE1924A414F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00c55ecf81364de37b35b62ed499a83ce9394f2","datavalue":{"value":"fuzzy finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q865914$292F0BB7-236A-43D0-BBAF-FA063C8D6048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q865914$652244AE-EDA5-4B1B-8096-53CE155FAAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b1e6e4894a941571983949cbbbb3d6f318e463","datavalue":{"value":"minimization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q865914$6A28CA2D-F840-4251-B3E4-6B0F20FA5984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"357245c3c667ec17e45033b38d55d25b464a64be","datavalue":{"value":{"entity-type":"item","numeric-id":480727,"id":"Q480727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$73698D9E-06D1-483E-B6C5-5294C5BD9C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$C3F5AA3E-F992-41AF-9C3F-881EAC5EFB07","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":"Q865914$55013884-6078-4333-B59A-0D5169D9E461","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41e388261e8acec3fdb0286187b4e8a6ef7869a7","datavalue":{"value":"https://doi.org/10.1016/j.ins.2006.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q865914$F53918E0-1F76-459B-83ED-E63E07322C43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce29255ffc2e25fa0cf1ad39067346a027641854","datavalue":{"value":"W2061537870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$D3D87D67-6547-4C92-B802-07BAB8230C8E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"27388036a3037181defe9699832dac400700567b","datavalue":{"value":"Q62038236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$664701C3-58DD-4F56-BC4E-E788C60235FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcb52e06712f343798d504501a850f949be5a12","datavalue":{"value":{"entity-type":"item","numeric-id":1349227,"id":"Q1349227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$8B7B2AF5-018B-49E1-8D01-DE4A6B306773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81a5fa1c97bb665eefd6c36f54f6653a9ef3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1426248,"id":"Q1426248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$187D1A1C-F56F-4941-BFDE-E335E39D5C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fcf533bfc1b298dfda784f4d02c611f5b4cae2","datavalue":{"value":{"entity-type":"item","numeric-id":4157953,"id":"Q4157953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$AED7434A-31C6-4C3C-A11B-68D5AF5B0F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac5307f457064b4c0e04aa452f61d3fdd22177b","datavalue":{"value":{"entity-type":"item","numeric-id":4809448,"id":"Q4809448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$0CFFBCE7-899B-4B66-B3D8-EBEE7CD4522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca119766f6f61594d133330aa637ad830003d46","datavalue":{"value":{"entity-type":"item","numeric-id":812560,"id":"Q812560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$2B25B205-B3DE-4B21-93D5-7EF7226002A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c158ab75b1a180d9e78d739c1781cf523f080770","datavalue":{"value":{"entity-type":"item","numeric-id":862553,"id":"Q862553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$EB16CA63-9EE8-4161-A9F4-6B91E199417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9b279b6b1475a245ee939aca56a43b15b0256","datavalue":{"value":{"entity-type":"item","numeric-id":2499061,"id":"Q2499061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$BB5212E3-58E4-45D5-9719-A7C9003ACCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740c0af9632da8fcaccf4ffd13bb3b31c0ce78b7","datavalue":{"value":{"entity-type":"item","numeric-id":1818961,"id":"Q1818961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$6E93BC70-1783-4405-9154-CA84BE1F5E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb6047601974a744b53879e83222ebfbb0e9acc","datavalue":{"value":{"entity-type":"item","numeric-id":5928253,"id":"Q5928253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$5014C22A-12AB-4808-8B81-3A3DC9536A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cc968b4d7eceb6240743bb6ac8a7d125858523","datavalue":{"value":{"entity-type":"item","numeric-id":4791753,"id":"Q4791753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$B7792A15-825D-4CA9-AE9C-6BCDDA6F2448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e135f9a12f7085afdcf5ae21ad62da0418cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":1115194,"id":"Q1115194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$45D0C50F-583C-46AD-9002-B15E0912DA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dea3b32f45dbb974cda2a035bb928c816c2a437","datavalue":{"value":{"entity-type":"item","numeric-id":1177166,"id":"Q1177166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$560C2E2B-8FE0-43BE-9286-786C0983A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb3c69ad7bfc08e96a0a32f5a32921c0ae6d4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1426247,"id":"Q1426247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$6EF90CE1-1292-47C8-9289-F06670E325FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c577b0d5c3bbb3e781a495a5170b27d33e77007","datavalue":{"value":{"entity-type":"item","numeric-id":865962,"id":"Q865962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$2055DEF9-49F5-4B3B-9CF5-BB9AC60DE036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3277de0ddcc01b344c69653f57c536ef6d3172c0","datavalue":{"value":{"entity-type":"item","numeric-id":1426246,"id":"Q1426246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$B42E03C5-AA3A-4CD5-AA15-31246B7279C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3dae0310e0bb489cc6bce4cd2bfca3e0d4cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2638786,"id":"Q2638786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$93825318-E5A2-4EA1-98CA-AE7275C7D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611e4559432bda122b6c93015f41f63e248898a1","datavalue":{"value":{"entity-type":"item","numeric-id":1160487,"id":"Q1160487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$45D981FC-3F6F-4206-8D45-9FE344935006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70b44f2e932a9396a4d7dbe9a7ed95cb31fce0","datavalue":{"value":{"entity-type":"item","numeric-id":5582348,"id":"Q5582348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865914$B525EBBE-4F2E-4B27-B82C-D5B4325365A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35cc79a7cba3412c7e680cd0eab0e89c00eeda28","datavalue":{"value":"10.1016/J.INS.2006.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865914$A46F61AF-0173-402D-AB04-3612B14BF3AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd576ebb717d9d7c40912dbb6c661f911319c9b2","datavalue":{"value":{"entity-type":"item","numeric-id":3079397,"id":"Q3079397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766a2fc5e7bb7f02d347f2aed0a69755ac4dfb7f","datavalue":{"value":{"amount":"+0.891244649887085","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":"Q865914$2DED28C7-AFD0-451E-9E7F-6CF29BCFA818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9460a70f1807c236a1bc82762f163d0b2d4859bc","datavalue":{"value":{"entity-type":"item","numeric-id":983034,"id":"Q983034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9854674a79983d41933924a4794f001f1b60b7ab","datavalue":{"value":{"amount":"+0.85004723072052","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":"Q865914$DC3481D4-FFE8-4291-9045-4C9C5E69A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c559936e9e9cb1b7acfbe3cdd49a29583019c0c","datavalue":{"value":{"entity-type":"item","numeric-id":5426343,"id":"Q5426343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69774ff4fb291be64db9be933e542b197ee2677","datavalue":{"value":{"amount":"+0.8457182049751282","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":"Q865914$D612FB59-8DF6-4940-99C6-384223D65D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36e8f4c9f67dcd4649d4b149eeb800ccfd3746e","datavalue":{"value":{"entity-type":"item","numeric-id":1115194,"id":"Q1115194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af928e0da947d7520b3d45efe3c6f88abeae2e06","datavalue":{"value":{"amount":"+0.8324940800666809","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":"Q865914$00E13777-6294-49F4-8B2C-D1021581A8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93453fef66e0b7f09bdff88b3340c62aef9aac8","datavalue":{"value":{"entity-type":"item","numeric-id":632699,"id":"Q632699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71177bece0cc86c5b09a56495f881ef992fced5","datavalue":{"value":{"amount":"+0.8121224641799927","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":"Q865914$4394C8BC-9414-48D2-98E7-52810874C33E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimization of states in automata theory based on finite lattice-ordered monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimization_of_states_in_automata_theory_based_on_finite_lattice-ordered_monoids"}}}}}