{"entities":{"Q6967331":{"pageid":21307050,"ns":120,"title":"Item:Q6967331","lastrevid":84054311,"modified":"2026-05-08T22:53:07Z","type":"item","id":"Q6967331","labels":{"en":{"language":"en","value":"Safety and liveness of quantitative automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056634"}},"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":"Q6967331$E05E7C17-A560-47E4-9713-79D34B97DCA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8666d0fdbc78262baabbe3993edb653765b72d8f","datavalue":{"value":{"text":"Safety and liveness of quantitative automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967331$BCA02532-C825-47EC-8E59-DF2DBF458164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c7364910546b54aa14ad590aaf1987e092b043d","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967331$5A7EDDBB-912C-422E-AAD5-6B481BC11123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$C56101FB-0D5D-44AE-8F99-D6439D92E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$B16B07FE-525C-43F8-8DE7-794A155CCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402c576d6928e11e18aec7313e2c3f75f248efe","datavalue":{"value":{"entity-type":"item","numeric-id":1622975,"id":"Q1622975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$C26EEAC7-F509-4D41-BF23-22EB5B7ADD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd41981bb33d27f4b5f7dc62526f1d301c165c38","datavalue":{"value":{"entity-type":"item","numeric-id":5145313,"id":"Q5145313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$DA984579-44F7-4CF1-826A-49C3AE475A83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967331$D1F28F57-F387-4418-B461-5E8D4E1CF3B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967331$D17A25D4-B8A7-4C3A-A48D-81B4CCEE2700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f352d1dcae3bbdde6bba8975af5e8459d33ebe8","datavalue":{"value":"8056634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967331$78CD5F22-4D91-4D49-8FCE-D5F15DA03624","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$7A1EB867-9FAC-4358-BB47-DEB9B8A0AB30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253c7f3f1775b82f8fa78bc26599a279cfcb4c14","datavalue":{"value":"quantitative safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967331$BC8C60C6-3BC0-4240-A02F-B4D478CF3721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcfa874c6ebc8dca4e6c01c1b1640bbbadefcee","datavalue":{"value":"quantitative liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967331$89CD8182-2887-4F98-8A9B-1D2FB89D7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c8dcada85e1a5fa2478f4fd8b6ca1b78e4d444","datavalue":{"value":"quantitative automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967331$EF30D098-1ABD-4053-A6B3-842E2096E1E1","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":"Q6967331$D14A64C9-B865-4596-9495-4562C273C19C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca11b511f3d69ad71561e34a8eb792ba068e11a","datavalue":{"value":{"entity-type":"item","numeric-id":5498739,"id":"Q5498739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$94916E25-3D09-4DB4-AF9F-1D47D1AD3B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$230F7493-B458-4D9C-9E15-E3CE2448EDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$0BF64662-F256-4C14-9C9D-67184BA9CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a692a7067d131ad4832941e2d8a9fcd8842d58e","datavalue":{"value":{"entity-type":"item","numeric-id":6154575,"id":"Q6154575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$E4D6DB6F-5F9C-495A-8BD1-966A2D32B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$5CCBE372-1D5E-4CAE-A9E7-2705D88E6EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$CEB88DF7-BEB2-4B92-A3F8-EC069650C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e41fffbc8a157ea885ab5c5a9af33a4c864e2e5","datavalue":{"value":{"entity-type":"item","numeric-id":6830538,"id":"Q6830538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$54713FBF-B681-4FA9-ABD2-3005EDDEA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cefc4038f541c64344fa6291ac9c6b70161a0","datavalue":{"value":{"entity-type":"item","numeric-id":2413482,"id":"Q2413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$FD29069F-0A07-4DCC-A518-595398E923EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$0DD2FC48-D075-474E-826A-61E2397B6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc8b9a624e78ea6882a575ec63cc1e867494440","datavalue":{"value":{"entity-type":"item","numeric-id":1664379,"id":"Q1664379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$30DB2CD1-2F72-4CEF-9C71-03FF38B20B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$4801FEF1-9E7A-47A9-8BBC-D7E7DFE73121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$3153951B-BA90-42D4-8935-A988B195E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429d179b539ed0307ccd5c975509e8d5826851fd","datavalue":{"value":{"entity-type":"item","numeric-id":3586046,"id":"Q3586046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$65D8D690-F957-4396-B5E8-42D4D30C5C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1f83a928b793409ea82d52dd94b19da0508824","datavalue":{"value":{"entity-type":"item","numeric-id":2453532,"id":"Q2453532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$4667D7F3-C8BC-444B-97BC-BB49EEC028F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e03af085bd4a2d5f9c8fbabf297e8c59be9420","datavalue":{"value":{"entity-type":"item","numeric-id":5145314,"id":"Q5145314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$BBD29A23-CFB0-4AE4-AC2D-83312C45F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac42469367b6e9e88abc6b780bf2989513cd26da","datavalue":{"value":{"entity-type":"item","numeric-id":4269112,"id":"Q4269112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$1EEFC646-F0C8-4434-B9F6-8612B3454CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45c55685aeb3eee476841187e535c18086c49af","datavalue":{"value":{"entity-type":"item","numeric-id":1050772,"id":"Q1050772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$B17EC150-A02F-40C2-A0B6-05396F02B4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b34b77fa16f32c8d4fc8fac8944205b1a212ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575957,"id":"Q1575957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$B233F020-E94C-401E-AF66-802ED102C842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7e591b85ba8a9541a1ee7a2835a47552b1f52d","datavalue":{"value":{"entity-type":"item","numeric-id":6091203,"id":"Q6091203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$D41BF2B3-3351-49F9-8FBE-C08D0AE9C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901701966a3f720569546cf5478278f378e3cb73","datavalue":{"value":{"entity-type":"item","numeric-id":3746904,"id":"Q3746904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$EE67D0B3-7729-4AC5-9208-F39903D06BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a2a828348d7c755278331e414b8863fe2d698a","datavalue":{"value":{"entity-type":"item","numeric-id":4111093,"id":"Q4111093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$BE8DB8A0-CEBA-4B7C-84C3-B9D5ABCBF0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$B91D2200-60FA-4DD0-B416-7BFD62A227CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$C2B080E3-7041-4214-8836-49CBF1DD288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa194595fd2f0425be11bf80dd743138abab19e","datavalue":{"value":{"entity-type":"item","numeric-id":1884970,"id":"Q1884970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$02A82117-7170-4BEA-9D41-BA050A41D166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd798b17d7a903a61bae5d0b8f14c4d9cc00d32","datavalue":{"value":{"entity-type":"item","numeric-id":2282319,"id":"Q2282319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$BCA9BF15-8346-48C8-958D-68BE30DBE21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea31821e7bdf8d9aaf3aa770799c326c8866240f","datavalue":{"value":{"entity-type":"item","numeric-id":6165815,"id":"Q6165815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$F6E04713-CA75-4395-8326-123AFDF8E7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$639399DD-74A8-4E44-9785-F963278332BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e9f14b28bbd8eb226e48d3402b7f0f8977c681","datavalue":{"value":{"entity-type":"item","numeric-id":4365014,"id":"Q4365014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$B2E38503-AC6C-4AC7-9D75-AA41646E5E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$3DC346A4-A165-419E-8AD6-CF1347C10182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0eacd49273d726cf42a00cc50f9a6274f108311","datavalue":{"value":{"entity-type":"item","numeric-id":5166685,"id":"Q5166685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967331$6A6E4B89-569F-4603-9EB2-73CB44A11C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety and liveness of quantitative automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_and_liveness_of_quantitative_automata"}}}}}