{"entities":{"Q1333690":{"pageid":1344429,"ns":120,"title":"Item:Q1333690","lastrevid":70164792,"modified":"2026-04-13T12:52:48Z","type":"item","id":"Q1333690","labels":{"en":{"language":"en","value":"On an approach to functional specification of automata systems. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 640212"}},"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":"Q1333690$25D14A4B-C7FA-42B3-AD8F-1A5760852A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b764a739257e0288b09eda57584a4b7fb3a1cc12","datavalue":{"value":{"text":"On an approach to functional specification of automata systems. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333690$8D943AC5-5CB8-4966-98E2-A5CD1F78A13D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e98a6491d486b5b537ce816570ce8a78f1583379","datavalue":{"value":"0823.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333690$0D4ABD73-3F4F-483D-9192-5419C60959D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2894140cc7178b83fbbea9627364aca641e6f1b","datavalue":{"value":"10.1007/BF01125538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333690$BE9D6AED-2FEB-4410-940A-7BFD06852B53","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":"Q1333690$9D538105-0C12-46A1-B350-3AA45D5A6D4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cf4a05b0091bc454edd80b572caa9d77bd5239c","datavalue":{"value":{"time":"+1994-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333690$414C3C46-C35A-47D7-A0A9-0AB2445559C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333690$166F40EF-D458-43F5-BC68-165FB3EF9D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a6901b3d32a351714339ae5270c7d8bc46a36e","datavalue":{"value":"640212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333690$CCBE1D21-DE28-4BD7-8F79-7D73B83E9D09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333690$9CACABC4-21E1-4456-AB32-5E55FD3B324D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d960068e8424eedf9bb5ade6694f727c096ceba3","datavalue":{"value":"superlexicographic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333690$955ADD8C-5D72-4435-BD40-EE6D4DEB144C","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":"Q1333690$6297DF80-5435-4B5D-BA59-087EE500C48D","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":"Q1333690$9D91DDC8-F453-4D97-87EF-6B5225443F1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333690$1F436DCF-4EB4-4C6C-BA64-789D612FF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa39551de2e7dc662a298e69b11cab7a065938c1","datavalue":{"value":{"entity-type":"item","numeric-id":4282171,"id":"Q4282171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333690$859A187A-8423-4917-9FF1-E7E899893C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77368e874457c55f5c48a5973ca607b2bf095e83","datavalue":{"value":{"entity-type":"item","numeric-id":1280979,"id":"Q1280979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44aaa84c4f74d350965683b6ea0977abb59e921","datavalue":{"value":{"amount":"+0.7943211793899536","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":"Q1333690$93861FEA-14E1-4B31-BBEF-7FA8FA41CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eabf1e4bb54ec3ffbbc2cfdd22f8f13bbca5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1280907,"id":"Q1280907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7a90fb36d58a0ca2ccdf6ddf716262738bab71","datavalue":{"value":{"amount":"+0.7817212343215942","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":"Q1333690$CE05B697-0AE1-4CFC-8596-DD927D0F0752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedbdb1d2f8b9693f9b3605b7afaf9aae39c463d","datavalue":{"value":{"entity-type":"item","numeric-id":1816006,"id":"Q1816006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b5f3ac5974cc6eb160caa75e957376fcefbe08","datavalue":{"value":{"amount":"+0.7701756954193115","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":"Q1333690$7D0DDC00-FD2E-4293-BA0C-ACDC8A94952B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an approach to functional specification of automata systems. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_approach_to_functional_specification_of_automata_systems._II"}}}}}