{"entities":{"Q6587272":{"pageid":14198428,"ns":120,"title":"Item:Q6587272","lastrevid":55725718,"modified":"2026-02-17T21:45:18Z","type":"item","id":"Q6587272","labels":{"en":{"language":"en","value":"State-based opacity of real-time automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896690"}},"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":"Q6587272$80DBACB2-F291-418C-A0E2-99DBBC8FA4AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12cf1291dc690fa1b6f4e5c002576e254940f9b","datavalue":{"value":{"text":"State-based opacity of real-time automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587272$51428C4B-6E4B-4B38-88AB-56FEDF0C771E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114063736aa649c5eccc2d8b5cd73dab29b56034","datavalue":{"value":"1542.6809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$9B3F10CF-8083-452D-9DF0-55035E0B17C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd9aa205303970dfff1abb1f0102c70993dfb5db","datavalue":{"value":{"entity-type":"item","numeric-id":428113,"id":"Q428113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587272$33CA739B-8DF3-42DC-A83B-76184A9C1192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587272$5A19A23A-0555-43CB-BF87-9D3A038DE2A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$044FD875-79FE-4D55-971E-08D39F1D4DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$8C53E5FB-C22D-46E9-B389-F5B21A10A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$14FAB0DE-0A3A-4C3E-83B9-E628154FA1A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1911ee5aaafca74cbcdce89881ed50e5060c3f3","datavalue":{"value":"7896690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$E3A93854-FE4D-4F60-BDBB-A9B23794CBF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59cb76c304aac118455db14902664491ec597f54","datavalue":{"value":"real-time automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587272$EB1C59E7-7EF0-42BA-B484-9D4883A33F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d686d6aa9c8cdc477920e16a2ba66268ff9235c9","datavalue":{"value":"state-based opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587272$23245B1E-4EDE-4624-AA5F-4AB0A06C4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bfcd3685ee28b4f3b5c1a737e56e9974931db92","datavalue":{"value":"observer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587272$9723E170-2F0F-44C3-8181-9F487FE86BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587272$4D1BEFC9-A528-4782-8DC4-A24BC34F8ABB","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":"Q6587272$961610C2-1583-43AD-BF35-B68996F9C0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9aa6acded45b7e7ee819aff5841499878bf8ea8","datavalue":{"value":"10.4230/OASICS.AUTOMATA.2021.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587272$85278B7F-BD1D-40AC-BA64-05ED4D905A51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780471e44a56b64986a15e974a91c912e6c3d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":6122597,"id":"Q6122597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb8b121a2303c92421281e326bcd77b4ad86c24","datavalue":{"value":{"amount":"+0.985019326210022","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":"Q6587272$4382C97E-0F03-436C-8F1C-21CD2AEAFE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8319fcf6b73f2aa3ef0471c7d5eb956d30db5825","datavalue":{"value":{"entity-type":"item","numeric-id":6165768,"id":"Q6165768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e73cd9392881b79a6ec950d94141448db235d7a","datavalue":{"value":{"amount":"+0.8764711022377014","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":"Q6587272$98C8F2A3-3C84-410D-AD67-F9197A696608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b536158042952156ec40ec579874650f780a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2682301,"id":"Q2682301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be86424bba84d1b82618b593804069e2cc688cda","datavalue":{"value":{"amount":"+0.8365573287010193","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":"Q6587272$543BC877-1EA6-4790-AF3A-AE4C5BAFE833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3903005b2053043c43c7f530ef193a6fe7a361","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e29fd1a286603f910951488ca4fa3af2182ece9","datavalue":{"value":{"amount":"+0.8360742330551147","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":"Q6587272$1EF07595-E48B-44D2-9FBE-7E97302B4FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad8fcd13c2299a0a091729db8fa9a6585c02e6","datavalue":{"value":{"entity-type":"item","numeric-id":6165326,"id":"Q6165326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74efe3cfac9ba67db5e6c7ebad15a165d93b37d","datavalue":{"value":{"amount":"+0.8304703831672668","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":"Q6587272$1317A56F-8C60-4FD9-8E59-4F3B827EA5E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587272"}}}}}