{"entities":{"Q2852033":{"pageid":2862753,"ns":120,"title":"Item:Q2852033","lastrevid":51838589,"modified":"2026-01-20T07:17:27Z","type":"item","id":"Q2852033","labels":{"en":{"language":"en","value":"Automated game analysis via probabilistic model checking: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213646"}},"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":"Q2852033$13CA0D39-EE90-4BE8-8187-1C82A75086E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dacf08053ed2bbc34276ea62f7c75e5ff2bc08e7","datavalue":{"value":"1273.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$DA1D0A3A-6FCC-43CF-9DF8-D244E14EAC47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852033$701A27CF-A2AE-4E75-B757-102B89701264","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18a1d53ffbc22264b2dc05d2d5ef35fe366679ca","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000739","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852033$D0004B05-E7BC-4CAE-9BC7-3A62B77153E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$681A6F22-278C-4AEB-9953-996738354CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$0278D4C6-6DE2-4272-8D65-E038115D5439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$D8C8F853-E3BA-462A-8EB6-E70AEB0FE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$AD26B008-B8F4-4F98-9E17-640ED179DBDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7257ac9711fc70acab3036213d99fffdc6b00406","datavalue":{"value":"6213646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852033$FF8EA236-1037-4F34-928A-D865A91FB45F","rank":"normal"}],"P1463":[{"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":"Q2852033$D7C27D20-F52F-45D2-B349-27B0B75EE215","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":"Q2852033$8F163D5D-2495-4FB2-BAC4-646BA28BE146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8092b1c44bd8b7c440d5adecddb9d73c2bd4766","datavalue":{"value":{"entity-type":"item","numeric-id":498907,"id":"Q498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852033$319FD941-737C-43A1-95B8-802BD2576F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081ff692cfa31ae371e8cdc5bc8cc37fc96a3d18","datavalue":{"value":{"entity-type":"item","numeric-id":6102168,"id":"Q6102168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852033$9C15F13C-924B-4A8E-8531-C5A6F6A4BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852033$B5D87678-14B9-450C-87A4-44574C240806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7308e7ab623b413e7da72c55829daaa025cf6ce","datavalue":{"value":{"text":"Automated game analysis via probabilistic model checking: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852033$0AB83D73-BAD3-40DF-8F1A-E934C8E5C9AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf17e7de2aafadd7a524a6bf8e2d03721e967385","datavalue":{"value":{"entity-type":"item","numeric-id":5326324,"id":"Q5326324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f49fe8674cc990242fd736aa935960a8104233d","datavalue":{"value":{"amount":"+0.7554604411125183","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":"Q2852033$60EDE6B2-3438-4C44-90EA-D6B364E39AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a7bb2f07d3b76c13a82a568635e611504867e1","datavalue":{"value":{"amount":"+0.7451750040054321","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":"Q2852033$4887F96A-9484-4266-96C1-47D713928B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2dc019370e9fc397b8422f6a34ab8afa2ad6d31","datavalue":{"value":{"amount":"+0.7423479557037354","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":"Q2852033$53379DA6-0939-43A0-B265-3E99A058121F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477da3256e745fbaeac66180cf1b43b74b91550c","datavalue":{"value":{"amount":"+0.7379396557807922","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":"Q2852033$F2C549B3-0E42-4173-B060-93874A8D028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08779ddd014f289b27a34923fa30c66d069b83f3","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2fae795d2f164a60b18a8b5ebfb719d1aa84af5","datavalue":{"value":{"amount":"+0.7325534224510193","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":"Q2852033$1D420999-0A9A-48AB-B96C-D322C4D47927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852033"}}}}}