{"entities":{"Q477213":{"pageid":478980,"ns":120,"title":"Item:Q477213","lastrevid":62118981,"modified":"2026-04-11T03:53:26Z","type":"item","id":"Q477213","labels":{"en":{"language":"en","value":"Program verification using symbolic game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376196"}},"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":"Q477213$494BFAE8-17CC-4FF5-BC2D-D8A776ADD69F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcbd1dc841e234d5c6e71b8205a2bf212078471e","datavalue":{"value":{"text":"Program verification using symbolic game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477213$0A5F81FC-9C86-442F-BD7E-0F653BC266B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c57a864372b858573c2968c497b5d5533bf6d61e","datavalue":{"value":"1303.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$7C3E311F-378B-4074-8568-FE4372A459AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a730e63f1cf4870b40c1ba1697380387b326670","datavalue":{"value":{"entity-type":"item","numeric-id":477212,"id":"Q477212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$4A154FBD-8DCF-41C7-A125-B4F1EB95C946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$4E3E939C-59BD-4C06-A36B-68CA23671026","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477213$BE779ACA-0A92-4F4E-9337-57D55CF7A32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$A74196A3-8791-414C-8753-0E894A22B4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$4D1B2872-BE9D-443B-92F9-4B7C9005B1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$33E45B9B-D766-4FB8-9E64-F72452AED696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$9CF5A434-5A2C-45EE-8ECA-39B2C0E1EDE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a35968863fda0ea1a142509a672f70c13ec7ae4","datavalue":{"value":"6376196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$0C401863-B2E0-446F-B6D3-39E68D773B79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c83f26adfdde838d1b5ed7639974c715a8301e4","datavalue":{"value":"algorithmic game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q477213$B8522B8A-1386-4C03-8381-E88975FC8CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q477213$F6DF8503-8A68-40D1-859A-34E1EEBCB7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q477213$BF92B510-3E29-4375-831E-84BE0E79F1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q477213$6FCFF24C-39A8-4A37-81DB-3F0F44BDEFBB","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":"Q477213$0D837584-05D8-463E-B0DB-FC924A86DBBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9d7a69737a93e43a11dbae19d68ec90e36db8f0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.01.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q477213$1E4CEF27-1862-433C-8D5D-62CE798FD554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcb3cc67ac8ce99ecedf788a0563dd0af03e6cdb","datavalue":{"value":"W2124580491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$E63CD08D-CF23-4D70-BFF6-1580A15C58CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90e79794bdb7f3f58aafa44794e8c13a10aa58b","datavalue":{"value":{"entity-type":"item","numeric-id":3617753,"id":"Q3617753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$13FF7A19-4099-4450-B369-DD7EFA7BAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$4EB202E2-B7F2-40D3-AF39-EF5AF6CF40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$AEBDF58F-CEFB-48C8-8C70-3CAA96C912F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed1ae4721b8360bb1d98cc58b97b3bb1ecbf80d","datavalue":{"value":{"entity-type":"item","numeric-id":3923571,"id":"Q3923571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$6F7652E3-41A0-4397-8B95-7A74F8E2BFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$FE66AE36-D8FE-4383-A27B-8DA407A00D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4aa5c560d7330cde0fddfbd1a748cf9bc0f76","datavalue":{"value":{"entity-type":"item","numeric-id":5897431,"id":"Q5897431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$CA0D40F5-AB94-4594-B343-86260F9C6976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ecd2213a0f450f319147f0af217b0fc3453c37","datavalue":{"value":{"entity-type":"item","numeric-id":4986508,"id":"Q4986508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$E475AF56-B952-491F-A2D2-7942165CAABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$4537FB30-C9C7-442C-A636-3B95EF17FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325ab86e194e972949f4e2ea81be95ad8740878","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$207363F6-99A5-4B06-8D6B-EDFEDDCE6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77835ea41da83053700fdc98383bb8b3fd3094c6","datavalue":{"value":{"entity-type":"item","numeric-id":5899066,"id":"Q5899066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$86D216C4-C5C6-4184-B48A-8CE78727A110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$9AA612B6-D16E-437D-A872-DC1B41A475DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$8697574A-1C81-484B-AD03-69DF7D60423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$179F8E5E-AFA8-4137-B0F7-5ADE1F9D991D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914a7c99731edd8173afb5e65133ec969bbc41dc","datavalue":{"value":{"entity-type":"item","numeric-id":4536630,"id":"Q4536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$F296A6BB-B4BD-4F70-8870-E894DAEA2A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c0ee7f6bdb19e7e6d2bc07518b2abe167f2e71","datavalue":{"value":{"entity-type":"item","numeric-id":5897481,"id":"Q5897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477213$893A3F47-07D8-4716-B5A2-EC8AE7C73CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7391e48f67c7c4f42fed81863c9915f390b93b2","datavalue":{"value":"10.1016/J.TCS.2014.01.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477213$51C474FE-2C7C-474E-AE62-44EBBAA5C534","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ba7eddb4fb6b54b7eff846fe3ec30ee54d02bc","datavalue":{"value":{"entity-type":"item","numeric-id":4986508,"id":"Q4986508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e932a2aa56f9ff0033f0e3e792a206bc3198f4f","datavalue":{"value":{"amount":"+0.9024085402488708","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":"Q477213$B0B69ED8-175F-415E-92F8-C901D8C8CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370db1ce5ac182aae59f98ca7e7b86981e614386","datavalue":{"value":{"entity-type":"item","numeric-id":1680558,"id":"Q1680558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d596abbf95b771db8ea30155acb59975482f0a1f","datavalue":{"value":{"amount":"+0.8121196031570435","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":"Q477213$9B97EA27-32EF-4EFF-87F8-A25337CC818A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aebd28f839dc286c747c18611df2ff5bf527893","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4e8903c53a04f348abec8fc1af7280c68dc1bb","datavalue":{"value":{"amount":"+0.7563941478729248","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":"Q477213$D7C92661-368F-4C91-BD34-346FB5195512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115094b4095ab14594b4f72f817b8195cf8d4369","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d5fb5376b1a13cb342708701aad4691aefee6b","datavalue":{"value":{"amount":"+0.745790958404541","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":"Q477213$780281D5-0047-4309-820F-3D1CB27BAECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c86063df81a8910d8432f3ee230ac1497d5a67","datavalue":{"value":{"entity-type":"item","numeric-id":4823132,"id":"Q4823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a35c21717fad3e76f7576f89ab2a3e7f88a80e","datavalue":{"value":{"amount":"+0.7445706725120544","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":"Q477213$45779F2A-3BB3-4D3D-BC89-E4137BBB5DB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification using symbolic game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification_using_symbolic_game_semantics"}}}}}