{"entities":{"Q3065617":{"pageid":3076333,"ns":120,"title":"Item:Q3065617","lastrevid":51157880,"modified":"2026-01-16T23:51:24Z","type":"item","id":"Q3065617","labels":{"en":{"language":"en","value":"Representation of semiautomata by canonical words and equivalences. II: Specification of software modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833107"}},"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":"Q3065617$F3BAD909-8377-4BEA-80AA-06811B06FC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acfe48923e6ac1b7390f2406b857598bb53432d2","datavalue":{"value":{"text":"REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3065617$48641E88-EAF7-4C4E-93A9-F96B39DEA35D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed544ce974d23d368805a6bbf6ca440aec41695c","datavalue":{"value":"1202.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$5185B54D-D6AD-4291-BD1C-BE36BF5EE8EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21c5faf3ecceefc4ddd6215577af74988c1fc248","datavalue":{"value":"10.1142/S0129054107005133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$80E301D0-D9E7-4192-902B-538028244A27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877fdc4a1d36fb6cb3acce9c1b5e0d9c22065ead","datavalue":{"value":{"entity-type":"item","numeric-id":418758,"id":"Q418758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$CFAD16E3-A00C-426A-967C-869059F27DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9f832862fa3e37c7ddd1d59f12e84354da6f25c","datavalue":{"value":{"entity-type":"item","numeric-id":722208,"id":"Q722208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$5FC279FC-C202-4AFF-BE8D-652ED0B7375C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$6C0A1ED7-3C73-4497-BAAC-86C039E749F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649b9e75917504660c0b4dca2a4e88adde222554","datavalue":{"value":{"time":"+2011-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3065617$2AB4757C-C3D9-4E42-B1C5-F2D65AC697BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$8CCC1547-38B1-4EEE-B638-F1BF98CAA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$A146B8AA-487E-4A71-AF9D-EF760D1EDD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$55408F59-A37E-44BE-B060-CA39CE8EA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$A3E80494-F66F-4848-9416-51928F65E9A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"964dbe93df569057630e6c5e9bdd334942b708c6","datavalue":{"value":"5833107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$3FF3DF9F-11FD-4CBE-8436-7EC1C55C9609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$63108AF6-3385-40CA-8A34-3366870F5D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8aea1e2797dc9410a92c5e94a327b49cebce61","datavalue":{"value":"canonical","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$7D12A236-D90A-48B8-AFD5-93ABA09E0DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$D728E08A-0CE0-4466-9585-00CBBEC1E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$D13DC50C-C52A-439F-B48B-7049F522D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$7264B2FB-3C57-40B3-9EE2-5181433FA0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$6DAD2AF6-FF17-4860-927D-167ED2497F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065617$32DB8662-CD6B-41C0-8E5A-53002F18C0BB","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":"Q3065617$B93573FE-7372-4E92-8889-8945A4E6E0F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d72682c33327ee687a71369016944423f525de","datavalue":{"value":{"entity-type":"item","numeric-id":2490807,"id":"Q2490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$B1CA283E-4D3A-4AB1-A717-E80DB1377394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0e13daeabf67fcac4ae28c3505549d15fbda49","datavalue":{"value":{"entity-type":"item","numeric-id":5704368,"id":"Q5704368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$019C5BE9-F5D0-4744-8CEA-2B446B62BF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c97548b9353830e218fa495b17489f7cd30f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3765228,"id":"Q3765228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$A0A020E9-7B38-47C8-BD9A-B57D8B306185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1422672d05dbff9dc9c265645789f92f3291e4","datavalue":{"value":{"entity-type":"item","numeric-id":5632473,"id":"Q5632473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065617$16CF3768-599B-4594-B5B2-081DAB6B3422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fda81869284d40ed41e99ddffa224a0ce50df16","datavalue":{"value":"https://doi.org/10.1142/s0129054107005133","type":"string"},"datatype":"url"},"type":"statement","id":"Q3065617$6CAD0953-99BF-4CCB-A650-F88944C0C6B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c3da7821a6038f27d1790e24ebb2d72ae6b88b","datavalue":{"value":"W2030143386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065617$3C80701D-19AA-4345-9A96-F36BC7F805BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc8f8f467317a77eb937721ec21da3efcf5f8c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2490807,"id":"Q2490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f386ed4adf088625d7c2dab900740986147a0c15","datavalue":{"value":{"amount":"+0.843483567237854","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":"Q3065617$AECB8A97-A6DD-492C-AD06-17E9DFBBB5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7915ab00ce432934bde156707016db2c287941b0","datavalue":{"value":{"entity-type":"item","numeric-id":5704368,"id":"Q5704368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4249e5385cd4eab37a69e6ba99e0047e679e8d6","datavalue":{"value":{"amount":"+0.7877609729766846","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":"Q3065617$0D52557A-7E56-4864-808D-BA88D9266AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f9d7747c9d80ff170b782b26fb981d975b5b59","datavalue":{"value":{"entity-type":"item","numeric-id":5435639,"id":"Q5435639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a35847e91ec564d349ea1c7ff804a8b7275e0d7","datavalue":{"value":{"amount":"+0.7294738292694092","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":"Q3065617$B3DFD1B5-8B2E-4C35-B3B5-1ECB083BDD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00256a9faa08de25320100dc0327e4e40311411","datavalue":{"value":{"amount":"+0.7282822728157043","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":"Q3065617$AC665874-4BE3-4543-8936-758E45DA2C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843275076a97d6c90eda2664e85eafd1b20f31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5881198,"id":"Q5881198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c27918549eb7f4fae9c41711be31e74217f71a9","datavalue":{"value":{"amount":"+0.714856743812561","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":"Q3065617$D796E0B7-C895-4FBD-937A-C43A0419A457","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3065617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3065617"}}}}}