{"entities":{"Q2980973":{"pageid":2991698,"ns":120,"title":"Item:Q2980973","lastrevid":58085226,"modified":"2026-04-03T18:06:14Z","type":"item","id":"Q2980973","labels":{"en":{"language":"en","value":"Reasoning about strategies: on the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6712185"}},"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":"Q2980973$2E48F388-6693-4A84-8AD1-A68B072595DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a49774b7fda1ff09e83315887ab854e198cece","datavalue":{"value":"1448.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$E2266E4D-B04A-4A2B-B5DE-A04B41182D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1e3bc11f864a4b5e85fd7fad424fde79c419ea","datavalue":{"value":"10.23638/LMCS-13(1:9)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$B8530ACC-4AD3-41B7-999E-A3FAA96AC4E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980973$66D206BB-C16D-44D4-9C04-A747E18A4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980973$D7425156-BB0B-4E2C-B156-EF44D31E6176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980973$A1C9281F-078D-4417-8333-2C95A25B4C9F","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":"Q2980973$63073702-6761-4A0D-ABA7-845A42698C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3aaf1d9eb7be8ffa0ffc276984018b68fdacb27c","datavalue":{"value":{"time":"+2017-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2980973$2D8F1EA3-378A-4D6B-8377-087E0183D75C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ade899538362cd14eb863df7fdbc25d9bd0afdd","datavalue":{"value":"https://arxiv.org/abs/1611.08541","type":"string"},"datatype":"url"},"type":"statement","id":"Q2980973$C99D5497-2D07-4B3C-90A4-CA88D1C95A09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$DE1B2570-B335-46CC-BB05-08B3075A3453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$518AB9D3-AF1B-4BAD-B411-9D33C24F2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$CDAF6287-66AE-46C0-B3AB-880718ACAB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$9E69405A-FC4E-49B6-A6A7-719AE9BF3F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$1ED4E6EA-7063-4551-882A-D6AFB537E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$DFAD764D-7B74-4416-8042-26BC5AF6B71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa22bd0841212d2f3171e61230f1fee937fa403d","datavalue":{"value":"6712185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980973$C2B10CC8-A404-409B-9084-D479EC80E0C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7abe5dc97b574a664631172245e6256852dcb4eb","datavalue":{"value":"strategy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$B8221DB0-77DF-404B-82F7-3ECCB85563F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474c9e235fcf0cbc54ebeffe2ac94b5b35ef528f","datavalue":{"value":"multi-agent games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$B10F0D4E-308A-485A-8B6F-BDC866F537EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0163bee2c9004e242eb410007b1489f68fbee60f","datavalue":{"value":"strategic reasonings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$E53A330A-B4A6-4CFF-8CD4-BDDCC5A74D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$4229FFBD-4739-430A-8334-65F4C853C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ab8020a85b923edb4c4b7fd4c25f290178689a","datavalue":{"value":"bounded tree-model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$9365842B-E803-40E2-A3D9-23A629CA47C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980973$356B712D-6695-4F6D-8FCC-7B01C914C15A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"415de056e325c6c502ee21ee3b2120702c39a969","datavalue":{"value":{"entity-type":"item","numeric-id":36529,"id":"Q36529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980973$83623329-693F-4267-B7A6-53ED2BCBB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980973$ECF2509A-EB28-431A-B236-CBEEA78F88EA","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":"Q2980973$4D7A8351-E2F7-4EFA-B0E2-7649C0C9DA03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a399e354f8c83382177d8f70289dfb8c06a65fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2914371,"id":"Q2914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c2c04f54cc36fecca95f21d875267ca30f85ba","datavalue":{"value":{"amount":"+0.941788136959076","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":"Q2980973$47ABF98C-C1FA-4494-A1CD-55133F69E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab86bc78179912e25310480762cac09c85603de","datavalue":{"value":{"amount":"+0.8828404545783997","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":"Q2980973$6F838E4E-ADD5-48E5-9364-18171C819750","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":"8d593046d28d63b6a9a0583abe42698fce38e256","datavalue":{"value":{"amount":"+0.8550580739974976","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":"Q2980973$62B00270-2C1B-4A01-A61F-8DC91DA2B3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5dae67892e46f54f398880d92dc5d3763db22d3","datavalue":{"value":{"entity-type":"item","numeric-id":2908844,"id":"Q2908844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860886fa7e878f10cc285aa7407727a95a9c600e","datavalue":{"value":{"amount":"+0.8432455062866211","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":"Q2980973$1859B084-6718-4E74-8DD2-05FD69D53C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b9e52b663cf9e4ecc47142ed2c54d8a30601fb","datavalue":{"value":{"entity-type":"item","numeric-id":4992517,"id":"Q4992517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd659b7498f20b8452541916edc3f08494abc376","datavalue":{"value":{"amount":"+0.8431479334831238","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":"Q2980973$4142F9B8-21CA-4502-B547-A0B6589C6231","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2980973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2980973"}}}}}