{"entities":{"Q2763539":{"pageid":2774278,"ns":120,"title":"Item:Q2763539","lastrevid":83167019,"modified":"2026-05-07T06:28:53Z","type":"item","id":"Q2763539","labels":{"en":{"language":"en","value":"Games for verification: Algorithmic issues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692397"}},"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":"Q2763539$BBB18602-A37B-4F03-910C-EFA0636044C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c59547c23a1f06a6725e9ff9847ca8ac0cf4327b","datavalue":{"value":"0982.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763539$D8C90862-6E06-41BB-A701-980D28F2C7B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763539$30E4DF21-0AB7-4189-A19C-22DF874F1766","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763539$4D22862F-711C-4E58-BE14-A419BAD6B012","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763539$08A10159-48F7-4024-BFBE-F74309D4D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763539$8F04AC89-02C3-462B-97B8-9D40A9CBACC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734876c2dab2dbf29b4ac15fdaa9aa65ce492e0e","datavalue":{"value":"1692397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763539$74712667-7574-4EE6-AC34-28BB7477836C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c992a16bbc548406251d4e3a93f8a39cf37dfeb","datavalue":{"value":"modal mu-calculus model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763539$72E86BEC-3D3D-41B1-A89F-0EE19B09AFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da291211478be7bf4f04ddc161b98d203ed1025b","datavalue":{"value":"hereditary history preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763539$3D5AE8B2-BA75-4A29-B210-AA8F866833EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca54a70a2098bbe962eaf1f0729f10a59ec4968f","datavalue":{"value":"finite labeled asynchronous transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763539$1DA58B21-20BF-4A29-ADCC-3387223B459F","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":"Q2763539$69431158-0ADF-4473-B565-5C594279FDAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b582f96685eb73c758033412da6b25ea322520","datavalue":{"value":{"text":"Games for verification: Algorithmic issues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763539$A85F308F-4193-4859-9A28-19704CE5E59E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4a59e4ca183dcbd74cb6d76e64c025be732200","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cb70a964c14fb858004daa097c60b791e0b52e","datavalue":{"value":{"amount":"+0.8575688600540161","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":"Q2763539$48790998-0829-41A9-83B4-B90B4CC350A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66b5ed37fc8237ca187eca3f0102cabefccfb65","datavalue":{"value":{"entity-type":"item","numeric-id":4412830,"id":"Q4412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729e1a8c18b0f4138a4d8cbada4d0fe157c52175","datavalue":{"value":{"amount":"+0.8355035185813904","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":"Q2763539$CF17D3AB-9939-43BD-8933-13597C393A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209e80a32981c50fb631ffa5140750b83bd6d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38918aa5bd18c1f2d9063c8f77a418f45612a5f2","datavalue":{"value":{"amount":"+0.8272673487663269","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":"Q2763539$1E168907-4FBB-4778-9956-B6ACA5485FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40f139880d0499f5570caf713dc680fd07a0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3172529,"id":"Q3172529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d067ff0f2501ae812c078da24dd1cd3a6aed0e15","datavalue":{"value":{"amount":"+0.800555408000946","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":"Q2763539$586F156D-6C9F-4E44-A87B-1859061ACD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee59e99c0fc12e15d33defb6a143750ff818e82","datavalue":{"value":{"entity-type":"item","numeric-id":2830208,"id":"Q2830208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fcdaaca5fad4f47ee03619e523fc3790bd495c","datavalue":{"value":{"amount":"+0.7991060614585876","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":"Q2763539$116CD37D-5EB3-4887-82CC-5FFFB5246BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Games for verification: Algorithmic issues","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Games_for_verification:_Algorithmic_issues"}}}}}