{"entities":{"Q3146304":{"pageid":3157020,"ns":120,"title":"Item:Q3146304","lastrevid":47984149,"modified":"2026-01-03T06:37:57Z","type":"item","id":"Q3146304","labels":{"en":{"language":"en","value":"Model Checking Games for Branching Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799543"}},"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":"Q3146304$97596E34-F526-4578-A3AE-E9126005F529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97e2621b5a97b21e0a98e94f8662ed73c7f8e1a5","datavalue":{"value":{"text":"Model Checking Games for Branching Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146304$3E87706A-27C3-47E7-8A24-CBEDEE62E7C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535a5034171c67f631e3e31cc985f5f71775c462","datavalue":{"value":"1001.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$7B73B044-D87E-40C9-9131-E8C7A020B84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146304$09EC8D50-E926-47FD-9EA0-2C7BC3C00852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146304$EFA15717-15A1-4C2A-B11D-225C7A7A25B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adede6c64659911153b51575ccac2c91c8eb7fc6","datavalue":{"value":{"time":"+2002-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146304$B7C3D5A7-A8C5-49A2-939C-B5C765B12B5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94cd0789f423ae0d0bf5c941840eb42760f55ae4","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.3186","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146304$BCA657F7-35A3-4C53-9D9B-DA19061C67AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$6F66026D-8048-407F-B4EA-A46EBC593C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$40EBF678-EE87-41FB-BFBE-EB14EFF3F21B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec000e78f58bdc33427a0451ee5ff15d93376530","datavalue":{"value":"1799543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$05189AE0-6421-4793-9DDF-0C6D2CA8B185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6cf9895bcd1b0eac4614a4bdfa46d6d5d00c64a","datavalue":{"value":"model checking games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146304$81DD3C32-D0D6-49F6-BF1F-E8DF2E234C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146304$AB793100-A8A8-4AFB-A57D-84962B06B65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146304$EE89C4D4-ABDB-4064-AD6D-AE85E4E7C1A9","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":"Q3146304$5D19D98C-3CDF-4C37-B356-F90A70D24098","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a6d70850709e5d34d5726b4f68cb0decfb2aefc","datavalue":{"value":"W1976513602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$239F9342-2FD9-4966-BB97-3E5BDF2C3FDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8a60360d9dcf5494589fff8a6d7bdc922e8ed3b","datavalue":{"value":"10.1093/LOGCOM/12.4.623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146304$7BAEF48A-43A8-426F-91A2-10A740BFC2AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146304$A1B589B8-0B0A-469A-821C-964F6D412245","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8f60320e03a3256f254d68a867ebd034ab9dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2851673,"id":"Q2851673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90b72ba1319d4af3d33ff922f67b87538870b9e","datavalue":{"value":{"amount":"+0.8608173727989197","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":"Q3146304$48F2123D-8F02-4855-AE1F-E932CDDD20F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a870c220006da6c3311d6741c92328a95ca3fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2849561,"id":"Q2849561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681b57a2a6448ef897bacea05c777cc7b4f1a030","datavalue":{"value":{"amount":"+0.8323038220405579","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":"Q3146304$23B01C33-2C5A-41B3-9CC8-7367EF7FF5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ce8b156bb5a316bc350d0f03d67b3cbce7fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2908510,"id":"Q2908510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf734e6c664977ca8db8a2caeb9aa04e635b013","datavalue":{"value":{"amount":"+0.8102148771286011","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":"Q3146304$9AB59736-78B9-43CB-B42F-D44E2D0E00CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b765aaa2c925edb37ecb77a845f18ebdddc71438","datavalue":{"value":{"amount":"+0.8098673224449158","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":"Q3146304$71BEA1E5-C950-46D0-BA1B-6862CA210396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603458edad1a2e439a53be3c326d771a171bcabd","datavalue":{"value":{"amount":"+0.8080641031265259","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":"Q3146304$E5DC3B1E-8B99-4E91-8E63-155AE80541EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146304"}}}}}