{"entities":{"Q904417":{"pageid":906265,"ns":120,"title":"Item:Q904417","lastrevid":65263944,"modified":"2026-04-12T01:24:31Z","type":"item","id":"Q904417","labels":{"en":{"language":"en","value":"Harmonization of interacting automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6529534"}},"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":"Q904417$5922B33C-B7E2-4432-BE1C-1BAA40D8CD56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bfc331def9be2c897a6fa984f098f8cd3a72c47","datavalue":{"value":{"text":"Harmonization of interacting automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q904417$AC328786-D453-4B60-A073-F532645A3D6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"052c8e89d9cb74597c20089690f1977b6dc3aecb","datavalue":{"value":"1328.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904417$3881384A-B582-4129-A8C7-E249AD727047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$7B6B071E-52D0-4161-93A2-9AE027FE819E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8cda3337f838542e064f0f4df3644ebe9ff367","datavalue":{"value":{"time":"+2016-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q904417$EE029A3C-E986-4C73-8321-B7F8537B82C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904417$ED7C2E58-8C50-42DF-9432-962883434BB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebccefc15369ccc97df1d1eff6bcf0d5f7a91cb8","datavalue":{"value":"6529534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904417$5E739651-8FCA-4007-875C-A244E73A1B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828897046ba72695418ceb4a5f7112624fa23f1b","datavalue":{"value":"interaction of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q904417$CF79326A-9FBC-408D-8E64-54DEEF223181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f752e4030192ef2bc86052b9b14c1300176f306","datavalue":{"value":"composition of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q904417$D4C25826-1D02-425A-A6B3-630B03838007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a08ad7d9aa470947f725e6131bcee46aac33d4","datavalue":{"value":"automaton shift with respect to input","type":"string"},"datatype":"string"},"type":"statement","id":"Q904417$67A09E2D-3DB7-4463-AB3C-B695398C5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44627bcf7e06d13f29eb8fe3aba6bbec195623f9","datavalue":{"value":"harmonization of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q904417$EE43CBAF-983E-491D-84A5-A326B2E017EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0da6a7e08ee3d6e1f7ba5161f70ab899dc712f4","datavalue":{"value":"correctness of a composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q904417$3CDD5302-194C-4BF4-9D70-7309E9D04EF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$82EAFE49-1888-4731-AA6F-582FF9333D6D","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":"Q904417$1C1173C3-3EB7-4BC0-B341-62B0C080F8FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba0fcf9e0473775057a7a38d5e30f63923fcb72","datavalue":{"value":"https://doi.org/10.1007/s10559-015-9759-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q904417$2CA50396-F85A-4B8D-8794-1EFA48A4294A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"379ccbf4a633141e80f54ac5ed447859c4cffb5f","datavalue":{"value":"W2339249738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904417$9D2EC42C-C463-4F78-AFF1-E33289D4DAEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c684026fe59acbb7318ee7c185fd012b23af33e3","datavalue":{"value":{"entity-type":"item","numeric-id":465979,"id":"Q465979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$E293C8CF-7622-4EAE-9AD2-86E820A5D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fcae465dc4811db27d47a7a2639a8ba2f7a41a","datavalue":{"value":{"entity-type":"item","numeric-id":1582909,"id":"Q1582909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$E5FB8907-2296-4E48-BCA0-E59327FF75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$670670CB-7A0E-408C-9710-393839915B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3e875e3ba038b614b938597c7f8aa588deb2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1816030,"id":"Q1816030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$64BED5E4-488E-441E-BCBA-64324D5C64ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$2F746888-57D9-4C40-97B5-697E385CD9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$030FD2CE-8AED-4F64-A646-CDE037C134E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$BC1468BF-ACB7-4CFB-AD6E-378BB5E950FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$6EAD764B-51C7-4570-A575-77A6B272CD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14788b5b22a60a85857c40c6b1ef74c3ce9d66","datavalue":{"value":{"entity-type":"item","numeric-id":4737196,"id":"Q4737196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904417$4BEEB823-4F39-4ACD-88BD-F0DA7EEB2F29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd6126014218fd99f3a869b5c9ede7e072c0b8c","datavalue":{"value":"10.1007/S10559-015-9759-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904417$05732B04-9EA2-4FF1-9E87-239251EDAB8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334eef47d28fa70df0b6db03af8542cf4c2d7f6","datavalue":{"value":{"entity-type":"item","numeric-id":334231,"id":"Q334231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaef383b9752d2fce647009e35b71e90274ca946","datavalue":{"value":{"amount":"+0.7781317234039307","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":"Q904417$E92F411A-773E-49DB-B7EC-02E995CEEF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabf5a3ca8d5e196494bcd51aa81c581230fda9b","datavalue":{"value":{"entity-type":"item","numeric-id":1905221,"id":"Q1905221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0796052d34616ee40f3bd223691c9660659c95d","datavalue":{"value":{"amount":"+0.7403804063796997","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":"Q904417$57546294-2467-45B9-9D14-69792079B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1105fdfd8e3156866e395bedee1f93252b6b861","datavalue":{"value":{"entity-type":"item","numeric-id":1127549,"id":"Q1127549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294afc901acd72c5095017a7e0bac3a81d507c4f","datavalue":{"value":{"amount":"+0.7273507118225098","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":"Q904417$3A6FDD99-F308-4634-9920-13D9216F3930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6089e021873baec7189684ac5006035a493729","datavalue":{"value":{"amount":"+0.7175925970077515","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":"Q904417$F9D68CD9-9C99-4A68-8C39-5C9BCE450788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829ca85c2429843791fb3d531016d2c5077f2e1f","datavalue":{"value":{"entity-type":"item","numeric-id":1582909,"id":"Q1582909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d37afa322c8a2a71c0a41bc13ce0a3d8ce87299","datavalue":{"value":{"amount":"+0.7080411314964294","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":"Q904417$73A9A1EA-640B-4E5D-9460-BB52C9E098BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Harmonization of interacting automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Harmonization_of_interacting_automata"}}}}}