{"entities":{"Q6176099":{"pageid":13310987,"ns":120,"title":"Item:Q6176099","lastrevid":39744153,"modified":"2024-12-30T18:09:16Z","type":"item","id":"Q6176099","labels":{"en":{"language":"en","value":"Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730609"}},"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":"Q6176099$C029507D-682A-4B47-A957-138A4F234AAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c3222cb8612bc6990a53c70a4264ee029fbbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2147194,"id":"Q2147194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176099$066B536F-3DBA-47EB-B028-2F704674986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176099$E06CABA8-42C5-46A7-A1CE-F9BE26297221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176099$B8607A2A-B008-4573-A974-95C18E49A688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176099$6FE46E98-A64E-4770-962D-3E24ABE43A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176099$2DA86E02-ECCA-4796-90F8-62A462FCAED9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176099$6952EF0A-1B7F-4CEB-B1FF-EA4974829C6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d11da25ab758e203b632b053d1757519ba1e897","datavalue":{"value":"7730609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176099$73A1F559-5D43-40AD-98AA-300704B38E65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab04b1e78cb51ef8bb31f82b08d58cd4671bb8","datavalue":{"value":"quantified linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176099$76694427-C078-4CD0-A9B5-0CE80ABDBA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176099$383085AF-6A2E-4CDB-867C-A70DB2809C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176099$6B87CE69-A5F9-4361-B67E-70851545931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ca6d9a779b252b72894fc0620e968a0761828","datavalue":{"value":"vacuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176099$FCF5AEDA-AE05-48B8-B5D7-410942767F6A","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":"Q6176099$6801410C-B046-494C-A4B7-08536A1D56FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb9bb28b17e054ab2e366cb0bfc4ea252a4c1e32","datavalue":{"value":"https://hal.science/hal-03408379","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176099$D7F740C5-829D-4131-95F0-46F43A70C8BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa35869c16669824a2460468ae6a9caa96334b9e","datavalue":{"value":"W3193965032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176099$4FEA30E6-4FD0-49B4-97FA-EAE559A8A6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6f5fff5f81af62c9a610a8eba49ac0904ae9599","datavalue":{"value":{"text":"Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176099$674A0D02-D881-4A3B-B98C-DDEF741F75E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ab11b70b948aad05d5b265cadd094dee778bc69","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176099$7AF276CA-8F78-4D91-B9BD-3F6456747742","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176099"}}}}}