{"entities":{"Q1842385":{"pageid":1853127,"ns":120,"title":"Item:Q1842385","lastrevid":73521642,"modified":"2026-04-14T16:19:17Z","type":"item","id":"Q1842385","labels":{"en":{"language":"en","value":"On an approach to functional specification of automata systems. III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 745968"}},"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":"Q1842385$FCC6673A-FF83-4CE3-AB6D-075D4DFF23AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"659379e9258be89280d03f73a3c34e0773b890f2","datavalue":{"value":{"text":"On an approach to functional specification of automata systems. III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1842385$B8249DB7-A248-4A14-B730-36BD5587523F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6812205a38b5f60b466620f58b9e7ac427b78ae5","datavalue":{"value":"0823.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842385$4F4152CC-C4C9-4AD0-9A61-B087D9EF492A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2894140cc7178b83fbbea9627364aca641e6f1b","datavalue":{"value":"10.1007/BF01125538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842385$D8603D21-38B5-425C-853A-00FB791453DA","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":"Q1842385$0E2E4E8C-75CB-4CF2-9F7F-859895F0CE6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4431a17581abb9eec0e2ce2a0ab6195ec93539e","datavalue":{"value":{"time":"+1995-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1842385$92D63008-5B63-43D7-851F-3564487B2E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842385$CC47294B-7D0C-4CA5-B122-F29CBB1564C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2b91f318be51e58569a23921f2658ba12070f4","datavalue":{"value":"745968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842385$84505C53-020E-4DBC-B326-18040D083A7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842385$456AEF9A-E838-4E05-9823-A852B48F2CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5a82923bb28c06eada99b53569130ef437dec0","datavalue":{"value":"superlexicographic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842385$EF03D9E2-DC30-4A34-B515-2FDA0F15D3DB","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":"Q1842385$A5363210-0F96-4034-98FE-717C1C5CFCAD","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":"Q1842385$24DF695A-405F-4784-9672-64EEE58CDA89","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":"Q1842385$3DD7C685-845B-4598-AC0B-7158C14E38AC","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":"Q1842385$DE68CBB6-66EC-4B31-BB29-48890EF0C6BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2232124dbc10c498c426ba5e8016c98c8060e5","datavalue":{"value":{"amount":"+0.7766776084899902","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":"Q1842385$61EB1053-61B9-49BD-821E-6DF553AA9936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a2e4040f15fac9ba43303c781dd015c92a8aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2232124dbc10c498c426ba5e8016c98c8060e5","datavalue":{"value":{"amount":"+0.7766776084899902","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":"Q1842385$41F533CE-41E4-4A5E-95FC-02EBEA206FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16604a79641591d6f3b0cb9625e0586a26d96b95","datavalue":{"value":{"entity-type":"item","numeric-id":1333690,"id":"Q1333690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394c7a6b88675daea7b5e6d3b158ed84b15e8a4d","datavalue":{"value":{"amount":"+0.7655702233314514","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":"Q1842385$A3DB7F89-DCAF-4135-AF10-51E7BAC7805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc4d88409521836360905578bbb5faab017322","datavalue":{"value":{"entity-type":"item","numeric-id":1907766,"id":"Q1907766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3292cfed829b9b1c1094cbe52ac8f3c836201ac","datavalue":{"value":{"amount":"+0.7625340223312378","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":"Q1842385$2CAFE5D2-F3DF-45C0-BA12-4BBB3A705073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0051bfea31d61099bc5548d9f70bdadac31dffd1","datavalue":{"value":{"entity-type":"item","numeric-id":4282505,"id":"Q4282505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea925f62f4df7e228894513aca994f375a7fbb1","datavalue":{"value":{"amount":"+0.7568801641464233","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":"Q1842385$312E186C-64B4-4C4A-AB40-75DF69153D2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an approach to functional specification of automata systems. III","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_approach_to_functional_specification_of_automata_systems._III"}}}}}