{"entities":{"Q799376":{"pageid":801224,"ns":120,"title":"Item:Q799376","lastrevid":48747259,"modified":"2026-01-05T18:47:03Z","type":"item","id":"Q799376","labels":{"en":{"language":"en","value":"The design of checkable automata. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874629"}},"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":"Q799376$3436189C-DBBD-44BC-A55F-C840D9E5E47D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fafe42eff86f5f411f599a4383fbb05b039c155b","datavalue":{"value":{"text":"The design of checkable automata. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799376$54739170-2B32-4859-A557-6425CBE66D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5899e67807b02404f44e9bed2a3530e591617364","datavalue":{"value":"0548.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799376$82B5E31A-C9AC-4939-BB73-88B9D514617F","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":"Q799376$F6CF547A-9044-4C9F-B2DC-740C50733A41","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":"Q799376$EF24765A-068D-4F77-9AFA-4809DBE4822A","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":"Q799376$5F12DB20-BF20-4E2F-A375-E5524A11EEC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799376$320A0268-8679-4A72-922B-8A1F82395B75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"735c8c6acdd0891a79f382df63852eaa2236752a","datavalue":{"value":"3874629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799376$27CEE161-1747-49BD-8773-BC4139B69469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55db88210deb66bb7c75a69ce4128f93d8722861","datavalue":{"value":"checkable automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q799376$9D822EF3-8BA1-4C52-8276-E00161AD095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadfe02502da5af00e07656a1b8b4290e025112b","datavalue":{"value":"Upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q799376$1C311AEC-4929-49F8-8C11-FDA071BB4199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b89b960127b6634de7ad32a8c22a2bad760feb","datavalue":{"value":"length of the checking sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q799376$544BAB86-6C7F-40B0-94F5-4656742ED857","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":"Q799376$0B06ED10-BCC6-42E5-97A4-F73E0D3B6DD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7ab5f611fb16396dbbec8377904f4bba677bcd","datavalue":{"value":{"entity-type":"item","numeric-id":799377,"id":"Q799377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4753bed3b5d3d8e93b87430ee27eeeff60b1a9","datavalue":{"value":{"amount":"+0.9603170156478882","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":"Q799376$FB7A3859-5951-401A-B1AB-C314D982FA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0599cf99bc247c7552638273d3509f91440234bd","datavalue":{"value":{"entity-type":"item","numeric-id":4396285,"id":"Q4396285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18c00a61639d1b1304d7734fc3dff85871126a5","datavalue":{"value":{"amount":"+0.7862327694892883","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":"Q799376$643D80C6-E1C8-47F7-A9D8-D39DB07D56A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538b13c1a8a049667f78ff4768fd69f187b1f605","datavalue":{"value":{"entity-type":"item","numeric-id":4817732,"id":"Q4817732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9c826fa527a522862de99a95916d48fb509625","datavalue":{"value":{"amount":"+0.7810286283493042","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":"Q799376$A7BDBD69-837A-4C4C-A73B-826D548B5C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a10f8ad472a7547cd615904c7f2ef3e29b7e720","datavalue":{"value":{"entity-type":"item","numeric-id":1570268,"id":"Q1570268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21db0c952c5d35864df82bb6c9cdd35337ec9a1","datavalue":{"value":{"amount":"+0.7740233540534973","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":"Q799376$FDFEB4B0-D028-4826-A2A3-AF314C5CA582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f04e455aa289e845c2d0e6694bb67e72b83e5","datavalue":{"value":{"entity-type":"item","numeric-id":4788072,"id":"Q4788072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267a26ad40635f8446f353d3357fcf79ad7b490e","datavalue":{"value":{"amount":"+0.7710573673248291","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":"Q799376$4413AADC-CC53-4DA0-9BC2-B4A91307B20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799376"}}}}}