{"entities":{"Q6987765":{"pageid":21429600,"ns":120,"title":"Item:Q6987765","lastrevid":84013397,"modified":"2026-05-07T22:24:52Z","type":"item","id":"Q6987765","labels":{"en":{"language":"en","value":"Safety and liveness of quantitative properties and automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036505"}},"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":"Q6987765$C036294D-7488-41E1-8A6C-5FD1FC89BE64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"800bf01ec612121eabb2aee0a0eb0a8d3f85fc38","datavalue":{"value":{"text":"Safety and liveness of quantitative properties and automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987765$82E5A704-F44A-4743-9EEB-659FCF2C5B9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f68e810b2de18618a1b3e13f376cbae6cba8b56f","datavalue":{"value":"1571.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987765$D7561A28-680A-40A3-AF68-25BFFBE6EF37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cbdc61e8442ddf5868daadf261eccdf1411f1e0","datavalue":{"value":"10.46298/LMCS-21(2:2)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987765$884FD666-04EB-4F29-AA1E-7CB6F87E65DF","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":"Q6987765$1B2F3F1C-3D11-4E4D-B234-DFC902D1931E","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":"Q6987765$19663AD5-8C18-40C1-906C-CEA89D1499C5","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":"Q6987765$A6AE96C6-FAF7-4089-A36C-3780C93C263E","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":"Q6987765$9F197BD2-119B-4EC3-8FC3-DEE786E82840","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$B91DCE8F-AFC2-40F5-A35A-5E461E511DFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987765$1ACD2C46-D757-416A-B2DC-19A0231BC9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987765$F4108493-28D2-4FDD-9133-D9D81D3BD882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec03cf9385234a5865bd0f101fdd9640cc5e7138","datavalue":{"value":"8036505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987765$92516E32-2515-44A0-AE6E-360512584473","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":"Q6987765$0C97741B-5BEE-4971-92E9-231AF3AEE445","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253c7f3f1775b82f8fa78bc26599a279cfcb4c14","datavalue":{"value":"quantitative safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987765$55E6D5FF-3585-4221-A5F7-E33BFC9ADED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcfa874c6ebc8dca4e6c01c1b1640bbbadefcee","datavalue":{"value":"quantitative liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987765$AB8D3F8A-16E8-4D6B-A42F-B54504C76992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c8dcada85e1a5fa2478f4fd8b6ca1b78e4d444","datavalue":{"value":"quantitative automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987765$914B4953-FC40-4452-B22C-35C2891B8A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c22c17e457b3fff00efcb7607aa6046a18b10d","datavalue":{"value":"safety-progress hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987765$6BB1D179-2591-476B-8458-B71D22EC32F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41def0b7debf16792cce213799e222bffd8f7f5d","datavalue":{"value":"safety-liveness decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987765$3AB87601-43D3-4E6A-B8B5-D85C1B545F63","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":"Q6987765$E29C5B43-BA36-49EE-9676-0217534949A4","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":"Q6987765$DBF07C42-8FE8-4D87-B1FD-FAC7F0A16A56","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":"Q6987765$AAA03D6E-D7A3-45B1-BB81-AE7BC3C8D772","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":"Q6987765$3BE626A5-A5DD-447B-9D59-569E1D99200C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8d382fe55878bd75c2a86b2ec9fca9097ee172","datavalue":{"value":{"entity-type":"item","numeric-id":6967331,"id":"Q6967331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$F806E975-BB04-484C-9405-354A1DE49B24","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":"Q6987765$A7FA639F-FCC0-4B68-ABBC-E35BE5CA3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580f5a70594c6059bd8af8a41bb7433e7dde29ac","datavalue":{"value":{"entity-type":"item","numeric-id":3584936,"id":"Q3584936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$CA4A94E3-DD40-4078-AD2D-AFE00F018765","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":"Q6987765$F6046A6A-C10D-4FD8-BF80-5E46E1C242CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d2bc7219584aa816543e42978796919f86bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":2398498,"id":"Q2398498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$21D351CF-E6B3-4D62-A7E0-E254EC54B53F","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":"Q6987765$95141261-AA49-4379-9DD0-964041DD4AC3","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":"Q6987765$B90CED55-1432-4934-9A73-8C4E7D79AF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d133166cdf3d9dddb405568f98f9772b2846bf","datavalue":{"value":{"entity-type":"item","numeric-id":1629750,"id":"Q1629750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$6B99942D-8570-4A32-887F-EF7ADB0AE77B","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":"Q6987765$2E15A21F-5FA4-451C-8F2A-63473811FAB2","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":"Q6987765$CB4DBD3C-537E-473D-A119-90AAA401FE5B","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":"Q6987765$3FB926CA-6401-454E-8649-B0BB05695251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650e349bc4be547383c5b3a42ea28fd29e3c0b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2842114,"id":"Q2842114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$1307F400-6275-4818-88A2-01B76962FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d232a7cf6a16a835c4e1bdebe9049b8cadf916","datavalue":{"value":{"entity-type":"item","numeric-id":2636514,"id":"Q2636514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$4089438E-3A49-445A-9936-2C9D3F03FE29","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":"Q6987765$886CCFB2-3C31-4AFB-853B-A8BCD50A1D7F","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":"Q6987765$2476AE34-93CD-48C1-9FBB-FDE02F9EEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f970782cef7606d75b439e57c5964589154083b2","datavalue":{"value":{"entity-type":"item","numeric-id":1249587,"id":"Q1249587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$22D11214-6428-4AFC-81F0-A51D4B25DC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$FF77C02C-AAC0-460B-B22C-A4337E5F4348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c53f2e9418e1aedae9e593df96feacb8ecb647","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$FAB3E1A8-C90E-4A61-B561-58A6F6A15EFB","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":"Q6987765$F15D7337-9084-46FC-B272-1A54575ED89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a2f1219290564ed68e3aff968afca8c62f4d65","datavalue":{"value":{"entity-type":"item","numeric-id":5892380,"id":"Q5892380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987765$591717FD-B177-4D4A-B89F-159C49740148","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":"Q6987765$92660267-99FF-4017-9A55-59737E8E0305","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":"Q6987765$977B4E7D-DF8D-4C7E-A361-157EB4E8DD92","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":"Q6987765$66DB3000-DA0C-4639-AA56-A47BCA0C05CF","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":"Q6987765$8B3433E1-1457-4F9F-98AB-04F642B437F0","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":"Q6987765$5F449C48-7736-4A34-BC25-DC012588E4E0","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":"Q6987765$71C2B170-6CD0-4DEF-86FF-865811E89590","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":"Q6987765$E80E4FA9-14F2-4683-941F-81F9084CC5BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety and liveness of quantitative properties and automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_and_liveness_of_quantitative_properties_and_automata"}}}}}