{"entities":{"Q1860064":{"pageid":1870806,"ns":120,"title":"Item:Q1860064","lastrevid":71006535,"modified":"2026-04-13T18:51:48Z","type":"item","id":"Q1860064","labels":{"en":{"language":"en","value":"HARD: A hypercube embedding algorithm for state assignment of finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1872221"}},"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":"Q1860064$D262908E-7D65-429F-8A12-A175C3C86161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c114c3525a17cd83eaa7fc02008a50438e73fa88","datavalue":{"value":{"text":"HARD: A hypercube embedding algorithm for state assignment of finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1860064$8AA079A4-2B65-4549-B82A-BDAB2A0F8D93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abe75ca3bd23c6330a47327c3a1367eddb91208","datavalue":{"value":"1006.68614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$9AD6B1C6-D51B-4157-95B4-D65F900BC438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba651ca8b712f593fe6fd33e77d8b4166b98c308","datavalue":{"value":"10.1016/S0045-7906(01)00029-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$A4053D04-881C-4526-A709-774517F5DFAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7bf0bcf3521beef8db3099e9dfbc4688ff14da","datavalue":{"value":{"entity-type":"item","numeric-id":827455,"id":"Q827455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860064$7A719D27-8FB3-4034-864E-2C6E7F6971C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860064$E761D074-BEA8-45CE-8357-5D227EE21A40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0a53bad61274f688eca5bb25f8643ebbae25531","datavalue":{"value":{"time":"+2003-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":"Q1860064$D76A866A-B25C-418A-A012-569CC1B44C3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$0F878515-2EA6-4EA1-A41E-E54F8056910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$C56EB4EA-34DF-4293-93FA-DADDE3FF52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$16A95ABA-1258-4E09-A569-8EA52102AF97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acbb5b60d79e6efdcdc1c06a9709b348772a3f94","datavalue":{"value":"1872221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$EA7A445F-0DCC-47A5-94A3-0E5A66D136CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb86c8c8bd65a86578c0e9fbef4d99e87341c14f","datavalue":{"value":"hypercube embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$252781CF-E001-46BB-B06B-A4CD7CC5C607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a92a94b21cd4e919d819e2107b9c81e9b8920","datavalue":{"value":"state assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$6FFDC2A4-4BC4-4E17-A47F-BE7E34EF8BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$00066967-89C5-4AC8-9A4C-1A9B196FF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862c2ffe6cb21faebd041c79d729283c60b44be2","datavalue":{"value":"logarithmic barrier function method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$F1B07F37-2FF4-4289-84CF-949E0A3B9188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537eec6631b0857ee5ed835d25db5ec08fbe368e","datavalue":{"value":"Kernighan-Lin","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$D21BA924-085B-4302-887C-0F304419FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3bdfdefcfa5241d0b0b15748b17b233b9d9a90","datavalue":{"value":"network of workstations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$D9083BFC-48E2-48BB-81E0-DF5734C5E753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438f256b42f664767f16e4e569af40b6e72e3410","datavalue":{"value":"message passing interface","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860064$22B47383-08AC-4773-AE87-9A59DEDD7988","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":"Q1860064$A8721134-8F86-4E4E-AFC7-7BB4041CAC2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"277282c3dc962daa00bd06bbb2bb3d62d79698ea","datavalue":{"value":"https://doi.org/10.1016/s0045-7906(01)00029-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1860064$7C89778A-FE63-47AB-92D2-CA3C78E091DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"382dfabbc7dd838ad8dfc2b9a946d83e68289033","datavalue":{"value":"W2013038236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860064$B0B3DBA3-3AEB-440C-8D82-4EAEA4BB5F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a19c58f58d494f10f9e6de55c978168905c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5267246,"id":"Q5267246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f3eb31de64ebc37944747f67b7ebfc5d44c0ab","datavalue":{"value":{"amount":"+0.8269232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$099B0B83-F95D-4B2E-B7C7-F7880CCE8F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ba5f638b2c55dbd7fe610c0bc87e08fa96cd0","datavalue":{"value":{"entity-type":"item","numeric-id":3189835,"id":"Q3189835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00640a74e062aee3937530891f3166b2c06aa243","datavalue":{"value":{"amount":"+0.82546943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$7031835A-CF49-4DA9-99D3-FAC3FAF608E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b9e0d04d60e04fa778e57b1d1359448b8e147d","datavalue":{"value":{"entity-type":"item","numeric-id":4224364,"id":"Q4224364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863fd5822e34a81d7e3ff43c3da3e2969cbdafee","datavalue":{"value":{"amount":"+0.8192856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$AAAADC72-FA4C-45AD-B039-195E6123C6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630f0c2304bab20d35efe227ca2d0be1c08de892","datavalue":{"value":{"entity-type":"item","numeric-id":2971131,"id":"Q2971131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71e7d76e1375ad17da20421b6125f953af82400","datavalue":{"value":{"amount":"+0.81156445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$C1128E0D-D0D6-4C7C-A2BA-456F5C88E2C4","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":"734c2b2933640f58f86e354944132b42565e3ac9","datavalue":{"value":{"amount":"+0.80938387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$0B4F7E55-7644-490C-BE1B-B6BA668ABFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358a4643055819c944882f362fd263880e1b1d92","datavalue":{"value":{"entity-type":"item","numeric-id":2256724,"id":"Q2256724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269fcd08af2ad06f1a2e8ae043042e7515148f35","datavalue":{"value":{"amount":"+0.80481243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$883CE263-4772-4FC5-8D50-BD5C1299AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8895540a6f0cc570a836b58e47b3c7390a63b6","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c185fd532c8c0a39f491e9aa521ca0e93e68ff","datavalue":{"value":{"amount":"+0.8015989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$0D6ECF32-0EF4-4084-8DD2-DA8C6FA45996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1923a867f08b266603b025a5331b92d0cda54d02","datavalue":{"value":{"entity-type":"item","numeric-id":3637336,"id":"Q3637336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b97cbc78f06e3fc419afbe41f4b17bb50f65d6","datavalue":{"value":{"amount":"+0.8013323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$DCDB2C94-ABE2-4494-B3A6-2F608C817108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407b24f7c271d7c8285b8e9b3dc987fc7f0a9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2263887,"id":"Q2263887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd99c376162fbcd285b3aa1de36a114dc97140f","datavalue":{"value":{"amount":"+0.7998264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1860064$16FBD984-64A6-4B03-8DAF-0032E337A2D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HARD: A hypercube embedding algorithm for state assignment of finite state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HARD:_A_hypercube_embedding_algorithm_for_state_assignment_of_finite_state_machines"}}}}}