{"entities":{"Q3535612":{"pageid":5565516,"ns":120,"title":"Item:Q3535612","lastrevid":50492675,"modified":"2026-01-14T04:58:27Z","type":"item","id":"Q3535612","labels":{"en":{"language":"en","value":"Game Refinement Relations and Metrics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365479"}},"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":"Q3535612$4B329B68-19D0-418B-B659-FDA57EE26824","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78fde980d2f191577b51c8ff90385dc8ed1b3ff","datavalue":{"value":{"text":"Game Refinement Relations and Metrics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535612$06DFBC1C-B4DC-460B-A0BA-B2ED23C42A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0034def60ee7137c43e8021e5b875e337e15c79","datavalue":{"value":"1147.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$2B127BBF-1370-4F4A-9831-0215309C92CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daf4464478310766c9adb1c921b9aa9a26f22c2a","datavalue":{"value":"10.2168/LMCS-4(3:7)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$22A89DA9-38A5-4380-B4C8-C4B527F1A3E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535612$3EE6241A-4A50-4791-BDE4-8971E4EA484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535612$C2D31B13-9434-413B-B5BA-85E79EC9D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70f165f08651a9f7a923121044621672db163c86","datavalue":{"value":{"entity-type":"item","numeric-id":736808,"id":"Q736808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535612$AA29D8C2-CEFE-426D-BC23-9177343E6961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535612$4915F5F8-3001-46E4-B46A-6E3CE5CB7318","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":"Q3535612$A0B4637E-2D81-40A9-A573-425D573381A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535612$85DF0697-1667-4C5E-B1CB-4686D301F7EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$592AE21C-FA26-4989-BB69-B2D9D6DFF40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$D04B9439-D65B-43B4-B985-F1653B281937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1f6c2f788a856fc95af5d0e8e41fed58501175","datavalue":{"value":"91A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$9526A7FA-B5CF-4AA6-B4DA-C7CA41F18D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7b1862c1c69cae9e522bf4f1ffaf5cfad42276","datavalue":{"value":"5365479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535612$91475B74-C0F4-4D1B-919D-5161150B3702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6acb2a1a505784aba5e67da66b63a4872b814117","datavalue":{"value":"two-player games over finite state spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$4F5C5299-9FE8-4042-9535-D9A28C53E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea8a499d9a146cec5b85551485c822bedc53827","datavalue":{"value":"probability of winning from a given state","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$DF57877F-907F-407D-9D48-4C4BBA5E8E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196adc59b6db9153719a6cc10ef68aabd3e0c4dc","datavalue":{"value":"quantitative mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$331F42D2-CEF1-4369-B40D-C76F8E881926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$28A2B5B0-961A-4E52-ABF3-A46EF1B24D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$F932B533-60BD-478C-BE50-F31F2E40A4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$820165D3-A8B1-4EB1-93FE-C7327E9E4E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535612$16E42F66-6D07-4201-9A11-5A2A8856EB6B","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":"Q3535612$498165CB-B803-4079-AC68-A32C20727DB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0b70830c345b4441df644a6bb90aa850f0e7d3","datavalue":{"value":{"entity-type":"item","numeric-id":2786130,"id":"Q2786130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b336eaeb5f6f66da4f3c5126a8db4e0c8092c324","datavalue":{"value":{"amount":"+0.8218696117401123","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":"Q3535612$5255B52B-5F83-4195-A94C-70DDD7020242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030d574a845fe57f94c08d4a11888a60696475c1","datavalue":{"value":{"entity-type":"item","numeric-id":3165951,"id":"Q3165951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c569d3e53a7e09204dda5dd38a92f4a5149b6b01","datavalue":{"value":{"amount":"+0.815480649471283","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":"Q3535612$75548CF7-F070-4E43-BEA7-DA7796CCC108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f91463c1351cd132d2d8937da8436cbb818e669","datavalue":{"value":{"entity-type":"item","numeric-id":3167014,"id":"Q3167014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3524ac6c4e240cae4354e5796eba1a1dd63912e","datavalue":{"value":{"amount":"+0.8006816506385803","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":"Q3535612$47915379-2BB7-4A3A-AE87-DD29C8C5E724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11eb707262514c89c91e3d1659444e1d45a484b6","datavalue":{"value":{"entity-type":"item","numeric-id":5176026,"id":"Q5176026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98d900daa89249bee6fb56bc0dd00d6c2ebb591","datavalue":{"value":{"amount":"+0.7598854899406433","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":"Q3535612$62587582-394D-4917-A630-066AB060657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbbca736c4e7ae4a8bd9e47a4faf6f0bf0ae2db","datavalue":{"value":{"entity-type":"item","numeric-id":4965817,"id":"Q4965817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3825c9bd1216afa7f697117b5ed12db449914d","datavalue":{"value":{"amount":"+0.7584128975868225","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":"Q3535612$85832719-937B-4DDB-80CE-51EDE82F4FD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535612"}}}}}