{"entities":{"Q799377":{"pageid":801225,"ns":120,"title":"Item:Q799377","lastrevid":64501542,"modified":"2026-04-11T20:18:23Z","type":"item","id":"Q799377","labels":{"en":{"language":"en","value":"The design of checkable automata. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874630"}},"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":"Q799377$E631F66A-8852-4BC1-9B63-B7774F3E12B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"267e01e460a804dcd31ddb15bc0fbe355ebbbc23","datavalue":{"value":{"text":"The design of checkable automata. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799377$B2C86EF0-407A-43D1-81C4-9FCEA5F7DAE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4190a878a9a03ffefc91aba54260cafc8c8e145a","datavalue":{"value":"0548.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799377$A0045D3E-4CF1-4B17-B8A7-B0790A6155F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e09493f42000f0a86c00ea0955d5989ccd6c3cf8","datavalue":{"value":{"entity-type":"item","numeric-id":799375,"id":"Q799375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799377$1018B158-3429-49D0-9AA1-4F5CF882F3D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799377$3015D993-835D-4057-B961-78FE338B6EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799377$277D23B5-1549-426A-8A16-A244DA65DFA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799377$70452F1E-90F1-4178-8991-7529155D9C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85dea6939d0bb867b99d8ae5fef6759d2bfea830","datavalue":{"value":"3874630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799377$979AF5AF-2D06-4D36-B503-12FC47F0D34E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55db88210deb66bb7c75a69ce4128f93d8722861","datavalue":{"value":"checkable automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q799377$DA1421E1-CAE7-4658-A7ED-B00F97B2D04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q799377$1F0F0419-81DA-4BF9-9BF2-01964F23782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b89b960127b6634de7ad32a8c22a2bad760feb","datavalue":{"value":"length of the checking sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q799377$1BCDE071-7B79-4CD2-AD50-4C648E79BDC9","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":"Q799377$4760C25F-0DA4-4D1A-B20A-D56B8EB266BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68242884a101c40f0bad22a1a848356a69934591","datavalue":{"value":{"entity-type":"item","numeric-id":799376,"id":"Q799376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab637f9d90b0d1bd9334ff53a1394ef67f99e60a","datavalue":{"value":{"amount":"+0.969255","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":"Q799377$973DB328-696D-4372-B71A-EC1839B0200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3c673ae0661ee7bba2417fa7252bf1a11fa7be","datavalue":{"value":{"amount":"+0.8615311","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":"Q799377$160F7EC9-3741-4491-8FC0-6F5BCF31CDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813ae2a4fe3f617981e53cc1bb08601ac5d30d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1812540,"id":"Q1812540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df134259ce2ec9323bbfa2ffe79e5b8df545d0f4","datavalue":{"value":{"amount":"+0.8569692","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":"Q799377$FB19D013-5610-4B2F-BA7D-A539CE77CDFF","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":"c0bfdb5105466eb665aa47d6976bb6c48a020da5","datavalue":{"value":{"amount":"+0.8485601","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":"Q799377$1FC192DA-39F4-4E48-B0B9-C0863F41FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9367b1c9e670cf5c420d96d24726ddc8c28308ce","datavalue":{"value":{"entity-type":"item","numeric-id":6114832,"id":"Q6114832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb7aae99748a5adc61e6900a28614796750d20b","datavalue":{"value":{"amount":"+0.84840435","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":"Q799377$F2D3B3BF-1F36-4ABA-B4A6-6758E2867A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89af00493b550c064be36a90a52056bd4852a4aa","datavalue":{"value":{"entity-type":"item","numeric-id":1622991,"id":"Q1622991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb7aae99748a5adc61e6900a28614796750d20b","datavalue":{"value":{"amount":"+0.84840435","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":"Q799377$76A4DF59-3B72-44A0-9DF9-70E5507A2DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e3be0af90206ddd7d27835f84014abd86a8115","datavalue":{"value":{"entity-type":"item","numeric-id":4471917,"id":"Q4471917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036996d049a78d52bb3dd4a2b9ce201d247a4aa1","datavalue":{"value":{"amount":"+0.84813046","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":"Q799377$3A22E378-44E9-4A65-9202-D7456906BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049dd267da593c0def922c179b17f1caf55d7685","datavalue":{"value":{"entity-type":"item","numeric-id":3895398,"id":"Q3895398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34aad1c5e05d10d62adce43b8518586cfffe9912","datavalue":{"value":{"amount":"+0.8468911","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":"Q799377$47C5D34C-4369-43DC-B681-3DE9BB24CE53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The design of checkable automata. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_design_of_checkable_automata._II"}}}}}