{"entities":{"Q3064167":{"pageid":3074883,"ns":120,"title":"Item:Q3064167","lastrevid":86125130,"modified":"2026-06-03T15:04:53Z","type":"item","id":"Q3064167","labels":{"en":{"language":"en","value":"Game semantics for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5828005"}},"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":"Q3064167$7CA97802-F75C-4BD2-99A5-3BDF92A97D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"369557f1f97626619f56517ccdc1184c0e2ee834","datavalue":{"value":{"text":"Game semantics for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3064167$A9E361F8-432F-4C8A-8FF0-4DDCE8A9C15D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b7332dada633f7a0b83d6bd886e7df5af914094","datavalue":{"value":"1211.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064167$75863433-D92B-4154-B3BA-7C9AAB66DA45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7baa8032a0ef6044f25b3e455f18f3de168d1e17","datavalue":{"value":"10.2168/LMCS-6(4:3)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064167$91B400DA-CC88-41F9-A149-E63696D6AD14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064167$4EC7479C-6281-4855-8629-B13CEF35FF5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064167$75572C6B-B08A-41E3-ADAC-F81BD72EC469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79bc2204c9544f0bf0ce0dc7a60244bd9899c05a","datavalue":{"value":{"time":"+2010-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3064167$D969F38E-BE7D-4E9B-89A1-B5749488697F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1667d733dbadcc7ae3a3641908c10c37f696c92e","datavalue":{"value":"https://arxiv.org/abs/1009.4400","type":"string"},"datatype":"url"},"type":"statement","id":"Q3064167$8B0EDC3B-2E62-421E-9F10-5D127F178000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064167$19F369EC-EC89-44C8-A048-9D6E98D53D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064167$722077C0-D4DD-4F6E-A3EC-5B72D12C64D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77fb3a121f37a7a17b9239f16ada622ccbbcba69","datavalue":{"value":"5828005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064167$A238682B-BC75-43AF-9290-3D2BAD005EFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$608DA3B6-9BB2-40C6-AD8B-E6A707051408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$5DB8CCC4-2009-4091-8737-A1392AC8589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$B797ECDA-3DB5-48E4-A2A6-B3381564DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$AD88CF23-3355-44C6-95EE-73F9C7B88044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$A4432FDB-7C87-48A8-9AC9-142F30A2BF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435bc946df3f2b0612afd84e24d9bee53851843e","datavalue":{"value":"lambda-mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$BCC287AD-C1F2-4248-AED5-7529674E7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4202ceea3cd2ee148050042c139a0b6c5503399","datavalue":{"value":"full completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$E1EC4D7F-1E10-4161-BB71-25D30DA44EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f558ad8503ca74c243aa26f9af84ddd1f8beb33","datavalue":{"value":"type isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$62AAFBAD-CC9D-408D-B1EF-C52989EAD76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$D3863ECE-75FC-43B5-A7A0-529A1A6C9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2057f04bb8262ffc151ea876a15b1026cbf0b5f","datavalue":{"value":"control category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064167$3D818E22-1041-48F2-B9C5-56AA85FBD79A","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":"Q3064167$D9A1E567-5044-469D-82AF-7FF6F206E279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2aa1bf3aa18f6781ef9c4a4d9d951da76566da3","datavalue":{"value":{"amount":"+0.7595289945602417","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":"Q3064167$06E8722E-9422-4324-95FC-77F5740A68BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f076d5dfd9ba813f44133e705f6a6bc1796ecc3","datavalue":{"value":{"amount":"+0.7543649673461914","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":"Q3064167$D881459D-375C-4811-BB6A-A81BC0926303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90677582a03415d475fd458bb915f6fa7c596887","datavalue":{"value":{"entity-type":"item","numeric-id":2003259,"id":"Q2003259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38557ecdd7c0e34c065df5314b3a4fbf79142112","datavalue":{"value":{"amount":"+0.7454418540000916","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":"Q3064167$B9299E04-BB3B-49DD-88E5-4D10227A2626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bbf0adf031f82cc6f863de3df702ceed07595e","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1c3172f72dfcd4ac0e5df046d1cf5f2d366488","datavalue":{"value":{"amount":"+0.7452248334884644","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":"Q3064167$CD5F626C-BDA8-41A5-87EA-7E547A5E837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7571a2596927124a219062d5ea2f8b20178c390","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1c3172f72dfcd4ac0e5df046d1cf5f2d366488","datavalue":{"value":{"amount":"+0.7452248334884644","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":"Q3064167$CF5320B9-53FF-467C-A0A8-FC56650BB615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game semantics for first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Game_semantics_for_first-order_logic"}}}}}