{"entities":{"Q3623004":{"pageid":5652910,"ns":120,"title":"Item:Q3623004","lastrevid":50643776,"modified":"2026-01-14T16:15:03Z","type":"item","id":"Q3623004","labels":{"en":{"language":"en","value":"Multi-Objective Model Checking of Markov Decision Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548980"}},"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":"Q3623004$6E2429C7-C233-4454-ADA9-5FFC51507F4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62f879a5f7bd3a04439efc40ed0a34b91b2d359c","datavalue":{"value":{"text":"Multi-Objective Model Checking of Markov Decision Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623004$BFCC4C94-4F5B-4135-8957-22466E34D4DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283b6ec0688cf7349f8890a35af2d947dc2ee046","datavalue":{"value":"1161.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$4DA567DA-DC11-454E-A2A6-9483FA15C6D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3350a61f394e7657117107bad9c90718437824f9","datavalue":{"value":"10.2168/LMCS-4(4:8)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$AFFA60A2-5200-4186-97D4-C15D9B3E34B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623004$90BA8BFD-532B-4303-B447-2D626F203107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623004$121A935D-C880-48A6-8571-B741FC919053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623004$4DC6C3EC-670F-44D4-A4FB-011629809F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623004$91294943-5619-46F0-829B-9E8D11467781","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":"Q3623004$B8524A25-BD18-4EF6-A1DA-7087D8FC1EFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623004$90AF9B9E-BF8B-4ACA-9C44-B5C44D919FDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$4CAC7A64-2191-4BCE-BF68-293A8EF7F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f180476aacacc0952b2209f458581df72896a0b3","datavalue":{"value":"90C29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$F8B45E4F-3CF9-4A35-A2FC-5796BF52A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$92272416-CA8D-41B5-9FE9-8C2864D79A3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f2db8500a5a6aa5c6824aa2740c80d15271d6a1","datavalue":{"value":"5548980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623004$F752E6E7-AC1D-4ABB-B213-38C67DD7A83D","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":"Q3623004$F14CD20C-89CB-4745-AC4C-58E14324E5B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49eaf73ddd65bcc0c361cb9aef2d62d5fceade83","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4890cdc2bbc648639caa7ed4ca60cec1e3caa0e8","datavalue":{"value":{"amount":"+0.9998199343681335","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":"Q3623004$3F35B589-1B81-4797-88A1-1E51C4560C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dde0b90d8be82aa8250161b991513df6e38546b","datavalue":{"value":{"entity-type":"item","numeric-id":5449810,"id":"Q5449810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07ffa3759a81e1c1dd7007208ca882532dcf735","datavalue":{"value":{"amount":"+0.8829702138900757","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":"Q3623004$B3CF6DBD-D54C-415E-968D-10FABD097478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a945aaa34ef9e7631967cc0510b4e68a2832cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5458858,"id":"Q5458858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635ea6ae02360a3b6efaef93a5bfed4fe183296d","datavalue":{"value":{"amount":"+0.8503352403640747","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":"Q3623004$5E4B1B53-CEB5-4C78-9B94-9F80E8A616B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abff5b5bfa3a7b8c540f1ff50ebe6889c97a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404479,"id":"Q5404479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d008b950c0d1eb2b0fb1bf806b5f02f0729776ef","datavalue":{"value":{"amount":"+0.8481022715568542","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":"Q3623004$0AB4F26B-7914-4338-BE64-CB6EB8E0AB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b61d282f8709e8798332a2bd6a9d96a707be1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2208304,"id":"Q2208304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69750a8c9095aba067ad13daeae510034c5c732","datavalue":{"value":{"amount":"+0.8476280570030212","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":"Q3623004$0D92BF36-A346-46C3-BBDD-8FEE9DAACA6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623004"}}}}}