{"entities":{"Q894440":{"pageid":896288,"ns":120,"title":"Item:Q894440","lastrevid":65156889,"modified":"2026-04-12T00:41:23Z","type":"item","id":"Q894440","labels":{"en":{"language":"en","value":"On the semantics of strategy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515001"}},"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":"Q894440$E5545E0C-DABA-4FAB-A347-BA2F9ADB74F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcac5c0cddc56e17fa1f5daf01bf36d37a8f4f05","datavalue":{"value":{"text":"On the semantics of strategy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894440$CD6D6B98-922B-4EB0-BE3B-CC773424F42B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6edafba19e31fe62bc2cc3f2ec25a7a1f88a4f0","datavalue":{"value":"1346.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$62400E09-5D37-43BF-AF37-0D64C50405BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$2C111E58-CDD0-4BCD-A46B-804DE6BC62A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3328ecc1e768c56e152130d535b36887e01af06","datavalue":{"value":{"entity-type":"item","numeric-id":894439,"id":"Q894439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$C646B0E3-3B32-4D91-8569-8BE986EB803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$8A38738C-52AE-4C10-B981-DEDFB15605C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$DD3B3836-B116-4E94-8FDF-5BC60BC3A80B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da855e53f2567d39cf3030e0ffe950af64a120ed","datavalue":{"value":{"time":"+2015-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894440$E8CADBC6-6B08-4C01-A91F-318265F4DCB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$2C662BA7-6101-4D2A-A9D2-C987CF84E29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$9FF1308A-BF93-4C9D-9923-B8B17456A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$A74269E9-EAEB-487B-9EB7-047A74A95FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aed6dc9ef38ccc2c2751ad2bac6db57783390e74","datavalue":{"value":"6515001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$09295361-79C0-4626-B6C7-B0E2DF240118","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q894440$E3277083-CC98-4922-A460-8A6AB8989A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q894440$47196C68-A4A4-4C5E-8BB2-176B48FAF1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ef2de3ae0d2a47a34c7430e493629deb6acdde","datavalue":{"value":"strategic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q894440$2B7F16E8-760F-4B78-BE60-CFC44450BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q894440$9B052E72-0499-43AD-9C40-8014691D09B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$411045DB-9FE4-4A77-902A-FFF2D61FFB20","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":"Q894440$FD423889-3507-46E9-BD64-3FA6767BA43B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24d6d7056ea8f13a42ef26c879f726d51f8a01be","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2015.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q894440$0BDFBF46-CB2A-4801-AEA9-C356AF4487BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27c13505470dcade0253de4072566a831cc75248","datavalue":{"value":"W2207775294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$4679ECF9-4EDF-4CCC-BEB2-D197364A63C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$253AA047-72F3-4CA5-AB18-B67C103A008E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$87B7C529-56CD-4579-97BC-CBBC39A75407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$F8272DAC-8840-468D-82C3-E6081F922FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b334a746d32fa1c49868f7a73a90a118e7e47040","datavalue":{"value":{"entity-type":"item","numeric-id":3525629,"id":"Q3525629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$B745482C-01B7-4C6D-A841-B8523CF6A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$00B4D234-42EA-4555-AF13-91F9DF5A6840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0ff171afd6ac8bc73847ff588b790c3abdbbf5","datavalue":{"value":{"entity-type":"item","numeric-id":2908843,"id":"Q2908843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$5D65695E-3879-47DE-A132-B2353B226B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6cdc6509b93a57b1a6104a317c809d86745159","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$FEB867DE-AE73-4B10-B296-86A9C7DF2EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce82463a320934d60eb5abcffdec11cef4df59aa","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$C470068B-E94C-4196-98B4-5EE536631BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$067584E1-F8DF-478F-A860-206E19925FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$A628EB9F-B4AF-4604-9C58-6397AAF48220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddf3a2d99d17f37e7420b8893adaca28652231c","datavalue":{"value":{"entity-type":"item","numeric-id":2908844,"id":"Q2908844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$6D302373-236F-4281-AAA2-3EED7B1BD167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894440$3C55B4F1-161E-4780-9F9E-8472B1A089B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ccf2c6b3da6a2dd94535b2143fcbc2c70864362","datavalue":{"value":"10.1016/J.IPL.2015.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894440$331DB739-DFDE-4A57-8C24-9C40F9A6E9D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724d9c4b9b5db43fbbe5174d96ba360e84e40476","datavalue":{"value":{"entity-type":"item","numeric-id":3525629,"id":"Q3525629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e59b73ab52b2543cf55ff077671347cb9a1b3f","datavalue":{"value":{"amount":"+0.8066213726997375","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":"Q894440$E18B2425-AE93-4B36-A94A-5F38C0B89D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7816ddc9c725666c97332f0c2a48e9332fef03","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f84ada2a3c16d764e3ed845e244d87b626f3b0","datavalue":{"value":{"amount":"+0.806621253490448","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":"Q894440$A00D9F48-1FA6-49C1-9067-32F8BF84954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab410a8de82d45929a0b6543aa265e0e35a6b75","datavalue":{"value":{"entity-type":"item","numeric-id":1987514,"id":"Q1987514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e8c5c3c18d84c1fc22ac9c1db877742dd7d2e1","datavalue":{"value":{"amount":"+0.8032315373420715","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":"Q894440$D31A11D5-659D-4656-8009-6AAD481D4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a1b58f43d73c57fc55d29ffcef359889a0c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3304133,"id":"Q3304133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbbb4d738c2c2eb237a0685d96b0ca00cf6bf5f","datavalue":{"value":{"amount":"+0.802629292011261","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":"Q894440$FA7A2168-9B5C-4A2B-A3AC-2A7F7BF05922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b949470afffa0b473a95a532083c24cf4c8d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5814ac706a0db46cea2ed8a3186116da24350e","datavalue":{"value":{"amount":"+0.8017298579216003","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":"Q894440$E4B91DAE-E774-4090-9932-ED816D7FF248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the semantics of strategy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_semantics_of_strategy_logic"}}}}}