{"entities":{"Q6165815":{"pageid":13300696,"ns":120,"title":"Item:Q6165815","lastrevid":93955073,"modified":"2026-06-05T05:31:51Z","type":"item","id":"Q6165815","labels":{"en":{"language":"en","value":"Refining the safety-liveness classification of temporal properties according to monitorability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721073"}},"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":"Q6165815$0EAE2581-CB44-453F-ABB8-E3342CA6EFB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"041e178039afc58a0677336a9473c3554b6e1250","datavalue":{"value":{"text":"Refining the safety-liveness classification of temporal properties according to monitorability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165815$794B9942-7078-4693-B165-62BF5CA568B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4271f1efcb3efb3ac73517e06e3d7d5e44cd72","datavalue":{"value":"1519.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$22F36280-8541-4504-B00F-C67CD1F33F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27132f5214321f0f09ed213d23d9b0fde7e8b22f","datavalue":{"value":"10.1007/978-3-030-22348-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$40B4A4FE-22D2-443A-999B-13618C48145A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165815$AE0C5B6F-11C7-4851-8073-513164185423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165815$C2884405-B734-428B-933D-1944D59A29F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165815$6A9106C6-66D1-4B7C-962A-38C2ED25AB19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165815$368A558C-E819-4E31-9535-ED1A25F34D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$02BA3809-A529-4098-B211-E57864B8DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$E7874D80-63BB-4929-A536-539A984BC8B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a1ffb8df4a5151ca01ed31c923a64b6cd0b3e3a","datavalue":{"value":"7721073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$1E3D6043-C9AA-4262-9AD2-84E9819C97DD","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":"Q6165815$6825A9A4-C761-4F0D-B70D-D2F18E231E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38345b309fd3c20171400de19c1fe3e3d6ddded6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22348-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165815$84EE9117-D1D8-44AA-B74A-B3E0F632E0DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c571fe625f3babe29cf4cee99628d5ae70b1ec2","datavalue":{"value":"W2953659269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165815$FD3A7E7E-1C44-41EB-9BFE-B80A33B9114D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e25fa4fef02ce1b2162cf1f1513967f40cb9cc","datavalue":{"value":{"entity-type":"item","numeric-id":2453532,"id":"Q2453532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833728b5d9160a6ccf6338d331d0fe501d763e0b","datavalue":{"value":{"amount":"+0.7643042802810669","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":"Q6165815$997B188E-23AC-4D92-BE75-A6CA3031C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ff37d59c380839f74c84f5e29106b5e440ebed","datavalue":{"value":{"entity-type":"item","numeric-id":4989019,"id":"Q4989019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7a3eeebf13d3a2247d314bec5d39b002707ef2","datavalue":{"value":{"amount":"+0.7557066082954407","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":"Q6165815$B7A9C265-4D2F-4753-859B-3E932F0F273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58e47279ad2f76800e94f958a23489946f6280","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299da7e12da9ceb6b0176083afd30a7d549f9314","datavalue":{"value":{"amount":"+0.7505386471748352","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":"Q6165815$5E297972-3908-4BF8-9B5E-CC7CEE411C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6f83773a1d1f510fdc78e832bafde61fd6fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a702ebdcb890ceceb0e1153eca789df1980bd4","datavalue":{"value":{"amount":"+0.7467246055603027","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":"Q6165815$051F6ED4-81DF-4F57-A2BC-969E1A538D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327ebecc3ff4aba319ba80292a2c7a52f8c8d8a4","datavalue":{"value":{"amount":"+0.7452251315116882","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":"Q6165815$613E8C2D-593A-4E87-BD16-5AC312432CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining the safety-liveness classification of temporal properties according to monitorability","badges":[]}}}}}