{"entities":{"Q2945599":{"pageid":2956319,"ns":120,"title":"Item:Q2945599","lastrevid":58070382,"modified":"2026-04-03T16:45:32Z","type":"item","id":"Q2945599","labels":{"en":{"language":"en","value":"Verification and control of partially observable probabilistic real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481833"}},"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":"Q2945599$BFD3ACA7-84A5-4812-A576-95D5BF5F5125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da491aa770d54f1c6dce12e82f998bc8bccb2c6","datavalue":{"value":{"text":"Verification and Control of Partially Observable Probabilistic Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945599$568B13CC-795B-4F73-87A2-D7440DEBDA14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a1093b8a3cea12112d8a3d4c6a09622502bcfd2","datavalue":{"value":"1465.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$237C9CD2-2B46-4B3B-8640-52DA04D62984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348ba72240af1132586b965d3436e2277afafeb5","datavalue":{"value":"10.1007/978-3-319-22975-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$4260544D-8E34-4BB0-900E-27C5CA7142B3","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":"Q2945599$F69C9ABD-F58B-4363-85E4-6231A51589BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945599$9262816E-39D5-4F27-99C3-0A47116E74FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cca2eedd9e6275b8c51f6bc08440d4aff87d158","datavalue":{"value":"https://arxiv.org/abs/1506.06419","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945599$4ECA864C-566B-4067-BD71-CBE2E5D3D558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$A3B9CA24-8FE4-4305-A01A-9BE362388338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$2529533B-4CDE-4C43-AF42-371C58A366F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$F3E54180-E5D7-4ECE-8A8E-3CF84088D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$4390D4AA-29C4-4F3C-BBE2-C2A2F6C05442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$1811D6D1-D039-4B72-B131-5590737D374C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e96cb2e1042e21a59e6dd9fe1e3f43c0322688","datavalue":{"value":"6481833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$3C92BD49-662E-4EB9-9F82-88523095800B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aff92fe175170828d7db6bad4ad6e5ebc37c29b","datavalue":{"value":{"entity-type":"item","numeric-id":15737,"id":"Q15737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$6B6074CB-EC49-4444-8A28-281D528755E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$4376D4FC-133A-4C29-9C82-F0E1F250D7E6","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":"Q2945599$36DB39D4-6810-4450-BC58-DB954D6970EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b40907f895946ddb50784e911e1ce036e1996216","datavalue":{"value":"W2097415230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945599$3E478552-2B68-4BED-8C73-77852AE32FAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$2715A950-52B8-4764-836E-51E31AE5F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc03c3f85962ea09495b4b937bc187e5d206f48","datavalue":{"value":{"entity-type":"item","numeric-id":5458366,"id":"Q5458366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$2577A994-928B-4D8E-87E0-256E3E318566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$27592677-9417-4728-AC6E-51F788345BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$B71BA65E-C55B-4231-9536-09104A426F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd25a9dffe29a41e12e90c21e722131380cf729","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$71737CDB-98B8-4C9B-8595-B1610657DBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc16300888c66141e74540812f1fdf703f0bec2","datavalue":{"value":{"entity-type":"item","numeric-id":3510796,"id":"Q3510796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$9528F42C-9AE2-4CD5-AB2E-E7DF49F6DDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880ab6deacee00f625464a3bcd89e9e2bb9289f","datavalue":{"value":{"entity-type":"item","numeric-id":2958521,"id":"Q2958521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$92405DD1-4E8D-4722-B94D-46AB5531FA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a31406f7d089b793c3f17e750cc405b1df6b646e","datavalue":{"value":{"entity-type":"item","numeric-id":5169972,"id":"Q5169972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$1E8CD2AD-BD4D-431D-801A-A0B68F2DF245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9b9f2ef0dcde1ac98008bf5f8c25b5e6d695ae","datavalue":{"value":{"entity-type":"item","numeric-id":762887,"id":"Q762887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$97121A33-5649-4A02-8B0C-3BD3AF2D7B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3857258f92cfa99f6f276f660bbc0ff16d712af5","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$B62BD893-DEFE-47BF-9D38-94A235A7B813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129824d856aa4fddeeb6a7b4ce0fab5f57d7f5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4649307,"id":"Q4649307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$9E0821A2-0A5C-4635-9FFD-680C1038CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$51C48AB4-1588-4B46-8389-CBE14803CED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$BB30C5F0-4EF0-4C25-B837-B06F836D8D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba1f85f32b67fc94a3b7ea878e8969fdbfbdad0","datavalue":{"value":{"entity-type":"item","numeric-id":5464793,"id":"Q5464793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$94D9239E-2FA7-4416-B1C1-B88779D160E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092662f6c5e5c918be8d38fc112657e0d2efc93","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$C8210ED2-9F78-4A24-A02F-3068C3EDF5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44f31a1753146ab4781e3de9e2a11cbadf2fd25","datavalue":{"value":{"entity-type":"item","numeric-id":3981515,"id":"Q3981515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$2BBD70E2-7218-414D-BE6C-40A5BC0EF6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946ebe270031b97e9fd773a17e273a090ae6182","datavalue":{"value":{"entity-type":"item","numeric-id":814465,"id":"Q814465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$C7B5B792-0636-4601-A698-283EE3EB2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b440e6328d89120e55a0cb0f9994b636ebbf75b","datavalue":{"value":{"entity-type":"item","numeric-id":2945599,"id":"Q2945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$B7AA4CE0-4223-498E-AFED-021E1A4CCCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945599$B19620AC-312B-4167-9345-033A1E45C668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0db4b9fa6254fc1affc1d8cdcbe888144c92828","datavalue":{"value":{"entity-type":"item","numeric-id":1699230,"id":"Q1699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5754e27664c1f31da6acbb087b8f18c5c90317d","datavalue":{"value":{"amount":"+0.9644468426704408","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":"Q2945599$AD7B227F-F807-471D-8B9C-284B150A937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f76ccad9bb0f2a7eed919ae85f083a6e3cd63","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4c3758c394bb50dc2131de68c8713c9e84f78c","datavalue":{"value":{"amount":"+0.7909809947013855","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":"Q2945599$4DD206B0-90A6-4BD4-9146-C96A2DDCDC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7afbacd9c03f696cc70c4ff0aa945977b620ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6322e621e189885bc34d4bbdee9f43da1718c7e5","datavalue":{"value":{"amount":"+0.7884176969528198","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":"Q2945599$4FB1E60F-4BA9-44D3-B476-9E7890FDABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f052d2d7901c6004df0bf494872e2260fcd9047","datavalue":{"value":{"amount":"+0.7808172106742859","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":"Q2945599$7D472567-01E8-47B0-A83A-0A9BEA928D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b5f7da472d7877540a1f42b001f6875ed797dd","datavalue":{"value":{"amount":"+0.7758148312568665","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":"Q2945599$3D4B2805-E757-4502-A86C-9ED7051D5E5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945599"}}}}}