{"entities":{"Q930873":{"pageid":932721,"ns":120,"title":"Item:Q930873","lastrevid":65459760,"modified":"2026-04-12T02:44:44Z","type":"item","id":"Q930873","labels":{"en":{"language":"en","value":"A type assignment system for game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292223"}},"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":"Q930873$1911576D-C80D-40BB-BD54-60FE7DF9AE57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54398c4e61bc2c2b6968daf51a8cce4118ccdcc1","datavalue":{"value":{"text":"A type assignment system for game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930873$FFAB3ED2-F1B3-4DCF-8290-43F4C3F1F664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a68bbb42d093f94bb89b81923f693bb291e5bb7","datavalue":{"value":"1146.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$CDBB7449-182F-43E7-8594-49C79268F759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$C5CCE8A9-9431-4663-8374-87D699D460DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$6894F49E-84F6-487B-A130-F23B6BD18A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$13C25CBA-0BE7-4ADF-95EC-56BEF91042EF","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":"Q930873$774D409D-3337-4F65-ACC3-E8F49BD3ECA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930873$B058CE43-3C26-400D-8F94-8610036E76C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$787F7992-B37D-4F1C-B72A-5116E658D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$67E40588-4D19-4CAE-A177-565ACEB763AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5714b1c91aee402083e27240f87eb3fa2de470cb","datavalue":{"value":"5292223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$6794DEE9-3D6F-411C-8CFB-C9A59A09BFE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930873$ECE94561-9A91-4CB3-912D-E83FF21918A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q930873$F1039CF2-BE73-42F4-B20E-D3CABC62A431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde25d90c8148f0723132db8378f9ef6b06f2470","datavalue":{"value":"type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q930873$20058F00-2CA0-4420-8E2B-D537ABD398AC","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":"Q930873$13A2C1CC-FE58-4B34-A833-CE00E2B947B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e29983b8fde2d070471e22457ad0c80d8c7a8960","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q930873$D9ED3CE0-BAE4-4C57-9DBC-A24CF3793B0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a9199be675a23fc7433d5a33fb5e2603258ea03","datavalue":{"value":"W2141094540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$28AC5770-B69B-4EE0-8FF9-6A240DD8E5F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$6BDEE3E1-1E2D-492A-8BC0-F26237C43E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$B856356E-3618-4369-AEB1-DFADBACFA141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$361F6643-C4F0-41F7-B1BD-7DAB6435E8F8","rank":"normal"},{"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":"Q930873$8CC13755-7707-4713-9933-1F959397715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889330d43eeabee0fdabbe31695a44bf8742a83e","datavalue":{"value":{"entity-type":"item","numeric-id":556821,"id":"Q556821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$C152F4B0-D882-4A10-9037-EC661499A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562d6dc8719693406476f1332874cacc9542b4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5267426,"id":"Q5267426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$5DB13D91-7A85-455B-AE00-20978ABCE5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$66F7C487-502C-4200-96E2-537F238CF087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$1E874E8C-758C-438D-A81F-99C3CB1D8E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$A758AB32-FC7A-482C-9AE0-FAF854FF2033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$2A883EAB-58BB-4C22-B05E-2000EFD06726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b980fc80e732d01e35285e97eb85f7667a51b468","datavalue":{"value":{"entity-type":"item","numeric-id":4472465,"id":"Q4472465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$83FD86FE-85F0-41DE-9BA9-CF44DADDFFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90dcd108a99d8693c50bb8fe15cd9f1c30b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$B625B431-57FA-4156-9C29-451BC1799FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$2726643E-F5FC-40B1-97B1-95FF50D3AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5238d4fa484df68e4cb7587adb805efdbf3e503","datavalue":{"value":{"entity-type":"item","numeric-id":5712308,"id":"Q5712308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$AC502946-E46F-4D4C-BEC7-F6427014ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930873$9977BEB7-C945-4704-81BE-DFEDA4E12D59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d58f5b6b041873ed9b823a3e4758704da23a6b1","datavalue":{"value":"10.1016/J.TCS.2008.01.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930873$CE48854B-A245-42A2-86F9-A7E5E00A076E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad109ddf75732bd6ad3ae77d3bd3aa54e81fab1","datavalue":{"value":{"entity-type":"item","numeric-id":2958525,"id":"Q2958525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6432192b117be0df0f7a9f36e2b592a42c07186e","datavalue":{"value":{"amount":"+0.8142919540405273","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":"Q930873$B927D46E-8E27-4873-A37D-AA72D3F2B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1c61822bfa7ef92a0b997d100315a2f8cdf8a1","datavalue":{"value":{"amount":"+0.7771236896514893","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":"Q930873$0ECEF5EF-DB00-4E07-AFEE-4A94D8A7B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752ac52d04388485125246ed1e5e8a63d021ee28","datavalue":{"value":{"amount":"+0.7769079804420471","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":"Q930873$1B10DC35-ED1C-47BC-904E-CD2BA7C277C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cd570bf41454804d47947260a1f00d6a30d45c","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e78291be3c1584b32815348fac6dc9dcfef17f5","datavalue":{"value":{"amount":"+0.7599950432777405","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":"Q930873$6627DACB-6253-4DE9-8087-303A09519923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d3f85a528e72ab6063c8ae104ed235152b5a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4699352,"id":"Q4699352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9febcf28d060b2740175a9f01d52e044ac19241","datavalue":{"value":{"amount":"+0.7401103973388672","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":"Q930873$5088884C-D1AC-4228-A44F-8F21DDF14318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type assignment system for game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_type_assignment_system_for_game_semantics"}}}}}