{"entities":{"Q5045376":{"pageid":7074953,"ns":120,"title":"Item:Q5045376","lastrevid":54435881,"modified":"2026-01-26T19:49:33Z","type":"item","id":"Q5045376","labels":{"en":{"language":"en","value":"Polynomial-time alternating probabilistic bisimulation for interval MDPs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612560"}},"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":"Q5045376$5D4B5A5C-1F24-4F16-8F51-830B90E9C0B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9951e830b7522a4b6d40536b75aafe785067a190","datavalue":{"value":{"text":"Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045376$E97F4867-99A9-417B-9AE0-9C5AA5712599","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"045863b1bb99d3f6b6e5eee402defee9c435e50a","datavalue":{"value":"1498.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$BE8E6E41-DF44-40FF-8CC5-7B2784F900AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e103abe59f61252cfb74091bebe83cf1ec4dba","datavalue":{"value":"10.1007/978-3-319-69483-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$25481A13-1BC2-4DFE-A1AC-83983A905CC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af26805171797bc3ca1cd438233caaf30631625c","datavalue":{"value":{"entity-type":"item","numeric-id":282103,"id":"Q282103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$7FBE6D09-BB4C-42EA-B98A-1741BB3D387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$7D5A5CD2-C455-4255-8C5F-CEE88B69B677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$C5A43EB7-831C-494E-A0E6-7208B03AF054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$CA0CF254-9872-420D-8610-111AF9E2DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fefe00fe11451201e2007cb77a6995a7eff3756","datavalue":{"value":{"entity-type":"item","numeric-id":835214,"id":"Q835214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$F6C64717-10D8-4853-9CA2-3CA68AE816EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045376$380807D4-9B85-4778-A3A3-435F1A53F61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045376$E4A3136B-9AB0-4D68-97A8-1C3C6CA17AEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$68A1DA49-A9F6-49B4-B58C-6BC5A683829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$23A43065-0CBC-4768-A89F-9AA977F9DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$E7CDAB9F-B640-4FED-8DC8-C35C182D1F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$3E17F2E8-A392-4B51-B979-1D3CDE1BCDA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73574526cae51d724912da09e7b504b3fbe34378","datavalue":{"value":"7612560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$5F40EE77-E71E-4530-95CB-C3FB9DDC37EE","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":"Q5045376$402C5C72-9807-4893-B398-6450A8386794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9680ccc30d64942090b9456314c62a2c3e6a56ca","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69483-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045376$F510026C-8587-40ED-A1A8-908DB7B413C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0e950468671bac03332659b2dac073b1dc8327f","datavalue":{"value":"W2765125579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045376$FD12AE9B-B673-49DE-8AAA-B30451BAD2AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f7a92e0817d2350a2bd97377233e6ff229f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2798714,"id":"Q2798714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8684685d2ed79e767a77bb35b61ac2a32c09b1","datavalue":{"value":{"amount":"+0.8367643356323242","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":"Q5045376$E5A8C6A4-59C2-4F92-A384-9B22341A059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb6f9650c304777d7f8aa97539b2e3d7a6834e","datavalue":{"value":{"entity-type":"item","numeric-id":4994959,"id":"Q4994959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9013240b9a3a59897d4899bac7eb9fb893daeff3","datavalue":{"value":{"amount":"+0.836480975151062","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":"Q5045376$F4FF509B-DB90-4A8C-8E1C-792A57D979DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9088082e1dcdaa454edf141de3df56fe42205551","datavalue":{"value":{"entity-type":"item","numeric-id":1693117,"id":"Q1693117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829cf2333b80d7754e48800e39ab4bcd92581bcf","datavalue":{"value":{"amount":"+0.7975832223892212","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":"Q5045376$ADD1C0E9-2153-4CD9-ADAB-A207F82B6A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae6d3274dbe37b6415b6f6d0b52ad39e3018974","datavalue":{"value":{"entity-type":"item","numeric-id":5194931,"id":"Q5194931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24735d4872a84a48fb6196b6989b55d19d7df0d7","datavalue":{"value":{"amount":"+0.7739946842193604","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":"Q5045376$80844E96-A295-4294-9C6B-C49F0A4559C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a139e98fb063fe048d0c4edb1da8ab5c09284f08","datavalue":{"value":{"entity-type":"item","numeric-id":3004586,"id":"Q3004586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a0c4545cdf4528a3810876e731ef2b8bc19b3","datavalue":{"value":{"amount":"+0.7600701451301575","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":"Q5045376$E6E07FE8-75E7-4834-ACDC-B9CA46ED3BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045376"}}}}}