{"entities":{"Q5079765":{"pageid":7109341,"ns":120,"title":"Item:Q5079765","lastrevid":41215023,"modified":"2025-04-20T02:21:10Z","type":"item","id":"Q5079765","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533366"}},"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":"Q5079765$9F685EEF-D999-4D7A-BC13-BA5DB0030FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5300a6eb069c2788c39da9bafb9ec271799da881","datavalue":{"value":"1487.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$BA3E6507-66F7-466C-BCDE-CA2FB82FDE88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$A2367336-EE12-42B9-A3B6-2A9839EC239D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079765$3D086DBC-6D0D-4713-8AA3-8C565568BBAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$450B1597-A222-4474-B068-EB03E690AEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$B4848098-8053-40EE-967E-E92302DDBDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$3740175E-F46A-4F28-B8B0-5E082B80AE1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e041e8de9609a63b4fb9b8ae66b6b4562cd16ae","datavalue":{"value":"7533366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$0C593E13-9289-48D0-A50F-87AC7CA9EE00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$E7B5BAD7-C000-4641-A0F8-860E8CEC06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78eb37623fdecb8285c2e79acfc424454a392057","datavalue":{"value":"strategic ability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$44E6D4DC-8A5F-4951-9BF2-686BF9E708EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$89B21828-DDBE-4723-B402-5E15197F20E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1a548a488425c4419a6a70950e1c4f3ef4fc70","datavalue":{"value":"imperfect information games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$7003F12D-2295-42FC-BFD9-DED686623BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355e91d9373408e05400e36ae1a4bb5d4f21b27f","datavalue":{"value":"approximate verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$0DFF5390-979C-457A-908C-5051B613E217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f40a4f889072ca30f9630436860e4fda5ad49c","datavalue":{"value":"model reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079765$334A9CFD-B341-423C-936A-49BAD4703E65","rank":"normal"}],"P1463":[{"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":"Q5079765$08C9642C-38B5-4210-9F77-104A93EE04D1","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":"Q5079765$E140B1DB-468C-4626-BCDC-F891E9FEC308","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":"Q5079765$BCF3FEC2-F1FF-4719-B0EC-9E7E39D4B2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397040feb7173867107e4b166da0edde931683b6","datavalue":{"value":{"entity-type":"item","numeric-id":3056329,"id":"Q3056329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$1CA86283-AF90-4A15-B68E-350BB3629539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99879054d13df5ab1b98e94c3f65022e6ce1b5db","datavalue":{"value":{"entity-type":"item","numeric-id":901359,"id":"Q901359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$B4EB26FC-E118-415B-9AC7-219569289604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fd406541df406732a3f172c395a87a69e69c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2346410,"id":"Q2346410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$C0C900F3-3925-476A-904D-9DB974922967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2dfd81139d79ccf0d6d0e7647f238968e60ba2e","datavalue":{"value":{"entity-type":"item","numeric-id":2946334,"id":"Q2946334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$30295DEE-C653-47FA-A3A7-568C44D0CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d08d5cb5eec48189ff4fb2d61dc08ff7479929","datavalue":{"value":{"entity-type":"item","numeric-id":2901208,"id":"Q2901208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$3D37F465-5B20-4134-B129-243AC97009CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"628942e890e7eb2e7352126ca83f8f305466594c","datavalue":{"value":{"entity-type":"item","numeric-id":2289016,"id":"Q2289016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$F91B0B97-CA88-49A1-BA4E-E9E0A3F9ED82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1550116116ca92f508575cbcaad2ea071302f3","datavalue":{"value":{"entity-type":"item","numeric-id":2921967,"id":"Q2921967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$F07FB149-09BE-45C7-9DEE-81C45EBC9A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94180abb213aaad0850b50fd5843df2553fdabd","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079765$BC5E3FC1-EAA5-44E1-B9FE-D0F14ED00AE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90b5386178a0278006cf7baee264b494eb4531fc","datavalue":{"value":"10.4230/LIPICS.TIME.2018.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079765$B2F7EDF8-FA1D-4596-B244-A933C68C5121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5cf77b0af3bb0c9e9ba9f2d7179ac2c92fa53ec","datavalue":{"value":{"entity-type":"item","numeric-id":3056329,"id":"Q3056329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237b9366f863f34665a0afeaebdaffd55daa9726","datavalue":{"value":{"amount":"+0.89603645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$BE1AAE03-30CD-4F3B-82E9-ABF8C2D885A9","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":"c6385d3d098b8410bcf4d03ea28ceb3e9b7b9901","datavalue":{"value":{"amount":"+0.8700591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$811FC37F-0329-4687-9315-028B3B8B5AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b81d1b70838e8565c9881135c2a27e53d93793f","datavalue":{"value":{"entity-type":"item","numeric-id":3614880,"id":"Q3614880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacd749fcb2e3a1572c318ef118d8f3adaf7ab77","datavalue":{"value":{"amount":"+0.866987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$9ADF0E93-D443-4DF4-B2DE-F080DB9B3183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f892c548280fb7fd3904a995eec27ac4cff3f646","datavalue":{"value":{"amount":"+0.85889786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$C0C5CB82-9E40-4779-984F-2C9516EA5B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba473231fb6f1dd3948368431e292c672ee30058","datavalue":{"value":{"amount":"+0.8414994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$891FC31A-6296-4030-A5F5-CA86B4E32788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d815a3495564ba97cf8f35ad243eb1c3f996ed","datavalue":{"value":{"entity-type":"item","numeric-id":4666247,"id":"Q4666247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf4f6250505a641c1a220eb22cbfb3694768df8","datavalue":{"value":{"amount":"+0.8228729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$B80209A1-B22C-4E6F-86A8-4C9336433551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f842bc54c5f2ba6c903324655c3b68d3358b7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601787,"id":"Q3601787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e5be6265fccb3b3d6a541e6771eb792e91c34a","datavalue":{"value":{"amount":"+0.8151526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$35B51D5C-C5CC-4607-AC36-D3AE92DB50B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd983c68496b43df4fc8837311beecd27bf0cbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3393378,"id":"Q3393378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ae74925b04d55ec00f571e1a9fa0bbc5bb73eb","datavalue":{"value":{"amount":"+0.80958045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$BDF1E739-D1D8-4F77-B230-EDB685CCBA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9344e2b3d5c67589c70e17f5033eeb9a9aeb7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":5076330,"id":"Q5076330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa5bf4850af0ce2b5c0f7f2c08c82c553b0948a","datavalue":{"value":{"amount":"+0.80471003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079765$78F759E7-16E1-41D9-AC99-8C587B6B255D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079765"}}}}}