{"entities":{"Q1680558":{"pageid":1691299,"ns":120,"title":"Item:Q1680558","lastrevid":68125638,"modified":"2026-04-12T21:36:20Z","type":"item","id":"Q1680558","labels":{"en":{"language":"en","value":"Verifying annotated program families using symbolic game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807613"}},"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":"Q1680558$7C4FB488-04D7-4BE7-95A4-C689F39728EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80081cb70c63be1ba5f4e2a5ecd7bf3161c0bc7","datavalue":{"value":{"text":"Verifying annotated program families using symbolic game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680558$388B4C43-7014-4E12-8161-DC5E2C4C58C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c69bbb5c87272229038abf7b462df2e46402a1c7","datavalue":{"value":"1380.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$AD748A4C-6EBA-43D5-95B8-724B73FA205C","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":"Q1680558$7940788A-10CD-4150-A866-2EE6DC94E65D","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":"Q1680558$22F446B4-B8E9-4338-80A3-19BFC152B7C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-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":"Q1680558$924C0821-A80D-47B1-8337-434FB29B0AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$CFDBC123-DEC2-40C6-BD3D-E4F9EDBE670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$5AF57AA6-BF18-4BFA-8138-156559CB19BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$95BC2BD5-3630-42C3-9120-1A6CE6D4EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$9258BE48-0CE5-45AA-A41E-6AA6E36272B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c603c0f4118fdbbf355986446f0f15da375bf718","datavalue":{"value":"6807613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$7F0052E1-E410-493C-A622-6A914759A9F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c83f26adfdde838d1b5ed7639974c715a8301e4","datavalue":{"value":"algorithmic game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680558$F67F4497-A07F-4488-B003-DC0420008E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680558$ED3260C4-9BE0-4977-B73C-9404BE848E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2453146050405e49558da8f4fa73151df46f6f96","datavalue":{"value":"program families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680558$7917151F-897A-4257-8520-123B3D260467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347c402687c507725345908aa8cc41ad30fa0dc0","datavalue":{"value":"model checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680558$E770FD94-D1BE-4470-84AA-CAE562C7343F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$2994E077-5BA0-4FB3-9022-E8E43B09AA39","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":"Q1680558$1F080126-3855-4880-9E5F-A25BF40A1D08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7aa44fa5fb805e1f9acd6e3c8e62c9195b211e1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.09.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680558$9659A86A-A8AE-4032-933A-C9AE9E932DF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78c0d203aad376c14feeb5aca6c5f25d4de94e37","datavalue":{"value":"W2762612122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$2964BE48-1493-4975-8BBB-689057B5524B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$72F0B880-1969-4BA8-B6F6-C278FB89B096","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":"Q1680558$260AA124-5517-4C6A-ADC0-36C5487D0386","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":"Q1680558$53F3E488-826D-42AC-8D44-3D4677939202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d5ac2610edb34eb2a989a0fd8988c00fa985e2","datavalue":{"value":{"entity-type":"item","numeric-id":5705875,"id":"Q5705875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$E0B48A75-6D59-48E9-8B3C-8F1072F4F389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3402b658120540eec801a4fff8e839211add8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":477213,"id":"Q477213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$0AEC5898-09F1-4529-B2A1-3BAA064ECA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$BB67B241-14ED-4798-BB12-EBDD7854387A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd9ca11c777e2b2e85a22db5884f891a7c9124a","datavalue":{"value":{"entity-type":"item","numeric-id":898607,"id":"Q898607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$30E3E2EE-1273-404A-9229-77A2230A6CD4","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":"Q1680558$70D3A046-3C61-4A3C-8B9E-6463FB2B7B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047034a7dbd7b0d22752bd895aafb08b1ecb13a","datavalue":{"value":{"entity-type":"item","numeric-id":5168880,"id":"Q5168880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$FB4716A2-5CE6-47EB-8404-4754D0A230EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba34373eeeaa8b41eccb9a50ae155a559a2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":2281638,"id":"Q2281638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$BF21E391-C5A2-4A70-AEB6-B55A8FBDF074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114fe4ee895884ab41bf4f30c7bd74031151286d","datavalue":{"value":{"entity-type":"item","numeric-id":5215914,"id":"Q5215914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$5D876397-B645-4231-82F4-FE32824F9612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3507560ff85a499bdeeeec46056599984e00d32","datavalue":{"value":{"entity-type":"item","numeric-id":5217306,"id":"Q5217306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$BE7AC5E0-CF7D-4654-8B5D-987B3CA6317A","rank":"normal"},{"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":"Q1680558$8514A30A-1084-425B-9897-328DF8BA575C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231a97eb6f7645ef83f7077487f1df805e9ef1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3384159,"id":"Q3384159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$B9396281-E6DA-44D6-BB4B-192BEDB46E68","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":"Q1680558$8338E69C-0C2B-4E81-9A69-E997A623A1E2","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":"Q1680558$0CE0E557-5177-4A48-9F39-B3FD1FE2A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec58d7460336dcec04c676b252e563ada4537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3460582,"id":"Q3460582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680558$D9B1F503-8E40-46F8-9445-5E4AC1845C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc3a75820c3fb27dacce37e9727c65d51adc1ae","datavalue":{"value":"10.1016/J.TCS.2017.09.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680558$9D1B55BD-FAF2-4861-B7BF-7FF219651542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e45e4b85eda6fdc948fc3bb13cc23e6211b9116","datavalue":{"value":{"entity-type":"item","numeric-id":477213,"id":"Q477213"},"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":"Q1680558$BA721FBD-ACC8-4F90-820E-4DD27E7BC297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e675c47a5a796e433a67632c2da23e605e613","datavalue":{"value":{"entity-type":"item","numeric-id":5039535,"id":"Q5039535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf91506ff5440a53f58f645d763f73f9dda62f4","datavalue":{"value":{"amount":"+0.7353061437606812","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":"Q1680558$FB0A1A73-36D7-4803-9BA5-42EFF64A5024","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":"ce09c405088f1e633d5b46612cd38681851a4767","datavalue":{"value":{"amount":"+0.7118684649467468","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":"Q1680558$3D823880-FB32-4FE3-B47F-473F310635CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0674b35d5ec5c5979d24984a28195492e4c6f9","datavalue":{"value":{"entity-type":"item","numeric-id":5215913,"id":"Q5215913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde6bb8069e8c3c852bbdf0055f5ad6836dd7d75","datavalue":{"value":{"amount":"+0.7111563682556152","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":"Q1680558$08151985-073B-4AAC-A57F-2AF646F3E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95803da382dc4e174d8bd7163f4ffe42583c9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2848417,"id":"Q2848417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c5828204f3ecd7687649c8ee6cfa1212941d54","datavalue":{"value":{"amount":"+0.7011519074440002","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":"Q1680558$AECCA290-4C29-4457-9064-EA2F9F0D7C83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying annotated program families using symbolic game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_annotated_program_families_using_symbolic_game_semantics"}}}}}