{"entities":{"Q6858321":{"pageid":20646562,"ns":120,"title":"Item:Q6858321","lastrevid":84255635,"modified":"2026-05-14T06:41:50Z","type":"item","id":"Q6858321","labels":{"en":{"language":"en","value":"STP-based verification of extended finite multi-potential games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8159537"}},"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":"Q6858321$63789C2F-1CA5-4C09-86B4-25D2511BEA59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e67dee48bfb1312a2d9074544a2cd4879a1ed7","datavalue":{"value":{"text":"STP-based verification of extended finite multi-potential games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6858321$7A2B081E-A79F-43A3-BEFA-C13C46A54C12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"494e97252bd8b50219cc0e0d3583c649536f321a","datavalue":{"value":"10.1007/S11768-025-00255-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858321$9C576B3B-6547-4DCE-B426-FCA1C2D614F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361688ee31b13b87fcf18cf9e757c641bb3ae549","datavalue":{"value":{"entity-type":"item","numeric-id":520486,"id":"Q520486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$97C4489C-9DFD-4D66-BDC2-39D22D388B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3b986968d92bf678c7dd6c4f228996261b6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":6858319,"id":"Q6858319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$9EA6A6E4-EBAA-4B4F-B6F8-511249806B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47c2aa510987e017ce7fed51b5a20cb2fdb56cd8","datavalue":{"value":{"entity-type":"item","numeric-id":6858320,"id":"Q6858320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$5479C9D0-3CBF-41E4-9214-0E18039EB6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c4546bb0a3f4163fe9f1a336c8eae5c1ca372","datavalue":{"value":{"entity-type":"item","numeric-id":1622233,"id":"Q1622233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$71FC4BD0-9F5F-41D1-8D41-A0E8B63CD8AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ecc3460ba0138c99673ef5fc27f0c4cba0dd0de6","datavalue":{"value":{"entity-type":"item","numeric-id":2082756,"id":"Q2082756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$FE67D081-943A-48C2-A7BB-54D02AFD6AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"201bc5f1c6aaafff5af492cceff0e56940339da6","datavalue":{"value":{"time":"+2026-02-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":"Q6858321$431C7E64-0560-4EDF-B880-E6ADFA1B789B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"97e3def6ffcd981cf34ab79760b926dabeda10c7","datavalue":{"value":"91A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858321$97E0A9AC-4E72-4FD3-A1ED-FEFCCD59CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858321$CF4D598F-AE30-4D57-96B5-C1F4D839A169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f1819e1f3161616103b4c53d4b6683da49e5ee0","datavalue":{"value":"8159537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858321$D36AFD16-FA5E-4E64-9295-94877814BDBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a792df8df4072357c3919997992aec2b578667","datavalue":{"value":"semi-tensor product of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858321$1EB9521E-3196-4ECA-9C17-C13578DA1610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f4be1be5d86a816fec2b7f14c0888b4eb89bbc","datavalue":{"value":"multi-potential games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858321$D4382F70-5BE9-47E5-958A-4D6C32BBE934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a61671b3e74e64896fc6fccb82c6496030badf","datavalue":{"value":"weighted logic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858321$1CF2FC1B-48FA-4191-B8EC-7B5E28FCCD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de12eef08cc11cdd9f1e6ac4a6cc52d261fb3573","datavalue":{"value":"linear algebraic equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858321$9E611617-14E1-4D2A-9EF6-06DA8698C23A","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":"Q6858321$3F34D862-EC5A-4CA9-9285-BF1D29D6C079","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6e29caba6169fa4815cf973ca1c0e30045cd97","datavalue":{"value":{"entity-type":"item","numeric-id":2892811,"id":"Q2892811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$1521C811-40C3-46F6-95D7-3A15C0083342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6385c58b47323178c4c18e412bca4f08a13076","datavalue":{"value":{"entity-type":"item","numeric-id":5354399,"id":"Q5354399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$DBF31BC6-FBCF-4095-86D3-BA7214CD841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4a4a8a874138d91ae35766df355ccc7985d05c","datavalue":{"value":{"entity-type":"item","numeric-id":1253195,"id":"Q1253195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$8D7FAA86-2EDE-4FF4-BA08-8BE1D4EF97F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82daa9b49dfd48c4a482eb5f13f2883b7be9eae3","datavalue":{"value":{"entity-type":"item","numeric-id":2350802,"id":"Q2350802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$389BF381-2DA4-4E64-9990-FF2FBDDFAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a2d59c9e2ba94c6160ba6fa4a4be9bf1afb3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2982589,"id":"Q2982589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$F1148E41-8822-4093-991B-31ED0A6B4885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556a84e7ffaff18350e4d8338b7ffb4f3a5014fe","datavalue":{"value":{"entity-type":"item","numeric-id":6663621,"id":"Q6663621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$8824733F-9324-4E49-89AD-83BADE7883D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0ebf991776c2ac2f1153da774d107825cac0ed","datavalue":{"value":{"entity-type":"item","numeric-id":313337,"id":"Q313337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$D9483DAD-E45F-42AA-B62C-50F2014B0495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070c41b91732d22db89e7d02e649b61987ff661f","datavalue":{"value":{"entity-type":"item","numeric-id":5131085,"id":"Q5131085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$0A54D4CA-DD7B-43DA-AA22-6DA6E96C139D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc867d4c639f28a6c0903b2661537390a17bc09a","datavalue":{"value":{"entity-type":"item","numeric-id":2139421,"id":"Q2139421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$AD2ECC56-45B2-4488-ADD7-74F8CDD72619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ef593e0739c87bb41ac3cee63ab62098f63517","datavalue":{"value":{"entity-type":"item","numeric-id":5028326,"id":"Q5028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$F48744E9-0044-4B23-A7E8-30ED433BC74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1f5b69ed092b17975816a8d9f4afa8d25d00c8","datavalue":{"value":{"entity-type":"item","numeric-id":2364300,"id":"Q2364300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$F0C4C1E0-8855-4614-A406-E94BC1753F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4597a4dcaf84b71d8a017766816b61ef04354507","datavalue":{"value":{"entity-type":"item","numeric-id":6064474,"id":"Q6064474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$0E72A667-39D2-4CBB-AEA6-0AB364B08D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23845b5c14ddb4e4804a77b3a9f7b1960531e34c","datavalue":{"value":{"entity-type":"item","numeric-id":6994187,"id":"Q6994187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$9157547F-6E76-4FA1-A0D3-A75F006D4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2f9a101ae5b6d241bbadf1b9c2d9104f25e6a5","datavalue":{"value":{"entity-type":"item","numeric-id":2560099,"id":"Q2560099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$3B53442A-AD4C-47EB-8818-AF22DB9CD68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e50839ccb208bc7ebc0e29e580e0b00faec665","datavalue":{"value":{"entity-type":"item","numeric-id":532523,"id":"Q532523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$1BDAF927-82F8-45AB-B034-8DBB41495B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f53f4ede8d28e2585c34919c7af03716c36170","datavalue":{"value":{"entity-type":"item","numeric-id":1915710,"id":"Q1915710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$84EAB7DB-4A93-4F63-9DDA-123184FAAC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7daf9bb0cd010902de82015fb275e3b18e946882","datavalue":{"value":{"entity-type":"item","numeric-id":1817255,"id":"Q1817255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$D4E4D750-190A-42F3-B85B-FFDACEEED652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad0306c2b00c7f9d60c18675ffd8a43dccb9990","datavalue":{"value":{"entity-type":"item","numeric-id":4978962,"id":"Q4978962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$13D056B8-64DC-4859-AC44-B1E017241441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fb68ed41c8bd1d5935b867d5661d70ec9777ed","datavalue":{"value":{"entity-type":"item","numeric-id":6061960,"id":"Q6061960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$09828D0A-0F24-4CEC-B52F-C5827522993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57df07cd704ca161dd2347d79ca12f7fc9f1a4da","datavalue":{"value":{"entity-type":"item","numeric-id":5497727,"id":"Q5497727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$28FCA419-BBA1-44B1-B32C-E45EBF291262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b993a901589c44a9c5854e553d674cbfa606049e","datavalue":{"value":{"entity-type":"item","numeric-id":6061913,"id":"Q6061913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$45371B40-612E-4349-B4EC-480B24BEAB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931f536832c163c57da3ff0f99358e2578860864","datavalue":{"value":{"entity-type":"item","numeric-id":458983,"id":"Q458983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$32DA69AD-DC16-47CC-9B7E-1127DED6A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b949a9b03edcc9e5ec40ab0cbd651dc301e203a7","datavalue":{"value":{"entity-type":"item","numeric-id":273963,"id":"Q273963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$E0CB3E8F-CE87-48B4-819F-A1D00F52961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6704df7825c3f69cbd74f726c6219d33bd1df476","datavalue":{"value":{"entity-type":"item","numeric-id":776136,"id":"Q776136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$5373EE4B-5247-4549-ACA9-A37BE48861EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677e50004750fbf5ba689daa72e2fd44113852b8","datavalue":{"value":{"entity-type":"item","numeric-id":2125306,"id":"Q2125306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$45B01020-DFD3-4B1D-B52B-4BFA91C24237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11fa928635be9f2387cf52882cb974a62c66195","datavalue":{"value":{"entity-type":"item","numeric-id":6667997,"id":"Q6667997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$DD8EBF60-6ACC-44AE-A6F0-D76F670E2AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f33c820b02e8b9365198c83f2a8ba17fbd1943","datavalue":{"value":{"entity-type":"item","numeric-id":1776434,"id":"Q1776434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$8E795D6E-201E-44AE-AA9F-EE0759BF1775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3255ef813a69d4ebbb1668c962330c9ff754c54","datavalue":{"value":{"entity-type":"item","numeric-id":3224871,"id":"Q3224871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858321$0D9AE9C3-EF33-4E0A-8CE0-0E217C9032F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"STP-based verification of extended finite multi-potential games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/STP-based_verification_of_extended_finite_multi-potential_games"}}}}}