{"entities":{"Q6840982":{"pageid":18336897,"ns":120,"title":"Item:Q6840982","lastrevid":101345273,"modified":"2026-06-06T00:39:15Z","type":"item","id":"Q6840982","labels":{"en":{"language":"en","value":"\\textit{AP}-observation automata for abstraction-based verification of continuous-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175054"}},"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":"Q6840982$6F985FCB-C661-4ED5-AFC3-1870DC575678","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d197016f8817cc10a5b5a65153797cae104bc20","datavalue":{"value":{"text":"\\textit{AP}-observation automata for abstraction-based verification of continuous-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6840982$B9455120-9501-47D1-B673-245C6D0561BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"483cc2aa60a1baee3a992edf9cb875c5d22521ce","datavalue":{"value":"10.1007/978-3-032-11176-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$B65EE0E1-8BC0-42EB-AE0D-36BA144F3F0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"034181ab4145a0701c136086365d9a00f407263d","datavalue":{"value":{"entity-type":"item","numeric-id":2980340,"id":"Q2980340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$18E45525-0C3A-477E-BADC-DD626130F0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7d0201a046efc2bef201d7a7e62845658b50e0","datavalue":{"value":{"entity-type":"item","numeric-id":2117252,"id":"Q2117252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$A56E955D-7E1D-4F7B-859B-1D4C631637FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6840982$541ADA78-01D8-459E-B551-55DDFEF14B3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$F487BFB2-33A0-4A0A-BEFD-3A232A86F703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$47CF1F73-6747-4DEA-92F2-EB78D5995BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$637211CF-DD2C-4893-B8AC-17CC961A4D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$6E6D60AC-0DD1-465F-AA48-60B28F0FDA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$D8D3A76A-AFDE-45DC-997E-FE5AD738AA29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bafa7b42d98cb76a19b96587613191f211f3e580","datavalue":{"value":"8175054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840982$402FF0AD-700F-4669-94B1-2E95E901D730","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$391DCD9A-5EBC-4D9A-9B90-11E600FD78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$A3F14E2B-C484-448D-96EA-C7E461D4D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$6ABC5A40-8581-474D-816A-41FAC2490C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$7C243486-B6D7-4E10-92FD-19FB666923E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9881abb56f5a3f09b1408f66f18fc098c591e7dd","datavalue":{"value":"continuous-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$963BA9DF-F13E-484E-A225-B60F9D95595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f69b0a13f9b49cce08df6ca8373b873676fd57","datavalue":{"value":"symbolic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840982$04F666AE-BBD4-4B57-915F-9DDAEFD6E316","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":"Q6840982$A4F6A332-28FF-423C-AA7B-8134D8D83B73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$D076E348-F33A-490D-970F-FF7FBD3A6F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03455b971397d937afa50b2acf41cc84429c8a88","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$D3F779AF-48DD-4502-B9F1-E77C992074E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$F8F0547A-4212-4786-93E3-CD4A4331DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b76e379d67a63dcfbf1966cb6f73851d58c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771497,"id":"Q2771497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$0C9423CF-58BA-42FB-B465-62025F8B621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1b9289713b9880e335a04dc022b31a1fbd7735","datavalue":{"value":{"entity-type":"item","numeric-id":4589444,"id":"Q4589444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$14617298-359E-4278-A014-3C4A01FA0218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb59f95a4ec367c7f5f9f9d5392eab148502004e","datavalue":{"value":{"entity-type":"item","numeric-id":682357,"id":"Q682357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$ADFA8D07-1FA8-4FF7-B9F0-2D60B25BB31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7fc9e001f5ad8eeef3d9094589671a32f61c46","datavalue":{"value":{"entity-type":"item","numeric-id":3612999,"id":"Q3612999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$6466BA92-597F-48E3-9683-53022389EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$3F8DF104-1CE8-4774-B6CD-3546C8435949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d33277188388f6dff91715bc23c2a63b4d53bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4974259,"id":"Q4974259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$3979CA6D-3C05-416E-85A0-DBA4E76B2BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7731a106ca047e240fd0788afcba4827297d97e8","datavalue":{"value":{"entity-type":"item","numeric-id":5211227,"id":"Q5211227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$F480EB7B-889F-45BF-8B50-0FD0CEA25335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ce369b4bdb2b0ca94c9f223ba38367ed8142cc","datavalue":{"value":{"entity-type":"item","numeric-id":6053310,"id":"Q6053310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$DC624B8F-EAF8-4359-80ED-F14F25E49535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683f02102099bd99bbbd1ede15ce1b76d8e1512f","datavalue":{"value":{"entity-type":"item","numeric-id":6668000,"id":"Q6668000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$A8A086D3-9E34-4C9A-A1BC-80ECB4C1AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$74968084-5559-4402-98AD-DBBA5A3BB9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74096cf79f762541b5e54f1d88ebf01ec088e9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5125461,"id":"Q5125461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$CD81E581-BD11-431D-9C1F-A891604267BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$2E0A918C-581C-4873-8849-F250A4D79A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998a03aa8eb41fed5482cb1126317fbd0004a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":5266959,"id":"Q5266959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$09394566-B242-4CA5-B06E-0880C0C28DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d410db67fd4fd52371837b6d7def0de063edf61","datavalue":{"value":{"entity-type":"item","numeric-id":2980630,"id":"Q2980630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$93B34BA1-997C-4F1C-B974-EC2B9F41AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$395E44AF-F593-44C5-AACC-2BD5C926D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55a423b426bfe961d94df0c876b1e4f6ab322de","datavalue":{"value":{"entity-type":"item","numeric-id":3189650,"id":"Q3189650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$8CF22821-AFE5-4A61-A778-6E0FF3D9386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840982$9DC71C4B-BCF3-4AD7-BF93-8A896A24DF1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6840982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6840982"}}}}}