{"entities":{"Q2003259":{"pageid":2014001,"ns":120,"title":"Item:Q2003259","lastrevid":53478335,"modified":"2026-01-25T00:48:53Z","type":"item","id":"Q2003259","labels":{"en":{"language":"en","value":"About effective versions of game theoretical semantics for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080950"}},"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":"Q2003259$EE4F3731-5662-45C5-9566-D6B804B2EC5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2740e3d9539e3081c7485c655cf4ebc61d0372c6","datavalue":{"value":{"text":"About effective versions of game theoretical semantics for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2003259$2549B3EE-C9BD-494B-9C93-AE72E8C98959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e0413c8f3ee09d5c831f83455b1420e1e0a5812","datavalue":{"value":"1432.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003259$D3C7FBDF-5570-4A05-BDC6-EF1FDE40EDF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa3a12338cf9c0f9f9b74217d78eca202e24e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2003258,"id":"Q2003258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$3AE6E532-D169-472B-B316-4E797CC43350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381c566766a63bd118903101d2a1403320bd01ff","datavalue":{"value":{"time":"+2019-07-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":"Q2003259$495F96EA-9E85-43AB-9320-45BECFCFAE55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003259$342B137B-EB60-4869-9265-122F31329BE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0231162b29c1b3ea976e351d2037724eea2d1422","datavalue":{"value":"7080950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003259$ECE063A8-81F6-4B79-8848-BBF09508F0E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d254d241345e9f52bafb2d20ba759639cf78b3b","datavalue":{"value":"game theoretical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003259$41E1CA23-EBBE-42A5-95D1-4A8C0F8EDB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c414eaeee784d79d2c3f350e1a7fd80fd3997778","datavalue":{"value":"Nelson's realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003259$05300D5B-B464-4DD7-9C06-6167F4EEA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003259$90808F32-11DC-44C7-A4C6-4C2E4D826303","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":"Q2003259$A26E3862-7B4D-481B-9016-933311371257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e83311f97a7c67dd53c3960f5952fb783489335","datavalue":{"value":"https://doi.org/10.33048/semi.2019.16.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2003259$A66E5F63-CFCE-40A4-AE05-7D89AFDD00CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"576088ba4a6d4183604322f5637ff8de3a52412c","datavalue":{"value":"W3015390391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003259$33FA6686-AC9A-4EE8-B292-E5D7E9E1053A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$DF4BFE76-8FEE-44F1-AE8C-C7A18F5C797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$525D2F7C-1BBC-49F1-A5C8-DA6460688129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc8479756321c47a8efc547ebce28ca464a5dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1653658,"id":"Q1653658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$A589D37A-1038-4EE7-95F7-E9B505E6CFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$0008848C-AAC8-4549-B2AE-AEDD3753C3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ca58e30c11d8abc7b7023fa7fe6b946ec2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$1F82CCD6-BBF5-47D8-BE83-6EFA2A14CAB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9434f1153d542d8348ce9b69baadc4ce079a8117","datavalue":{"value":"10.33048/SEMI.2019.16.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003259$AFE98E46-0031-423C-9D24-FC399E214257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003259$D33511AF-5BE2-4BE5-A192-6290D19D3BC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1a673e35ea04ea1935af329f4586d483618a4e","datavalue":{"value":{"entity-type":"item","numeric-id":2811662,"id":"Q2811662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc0464cedd84e4a65363d4b9c1592e59268d64f","datavalue":{"value":{"amount":"+0.7655488848686218","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":"Q2003259$F6EB0D55-4258-474F-8359-F3DBD02D5135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb35cacea20ba844cf864271cb6cbcfe7737eb76","datavalue":{"value":{"entity-type":"item","numeric-id":3329435,"id":"Q3329435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785c2d18c1799d2012d41b17dea580b6cebe3488","datavalue":{"value":{"amount":"+0.763202428817749","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":"Q2003259$80FC633D-8939-4A28-8AF8-D0932D33FC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33ba51caafab38ff388fa552aea9328b7100edb","datavalue":{"value":{"entity-type":"item","numeric-id":4483976,"id":"Q4483976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8867a241710cfb2152466d76b0182ebe0f22f34f","datavalue":{"value":{"amount":"+0.7472460269927979","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":"Q2003259$A8C2FEE0-AF54-40BB-A177-B9E1F188D8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b733a394266407a11eb5a83697b09dcc8d2607b","datavalue":{"value":{"entity-type":"item","numeric-id":5703109,"id":"Q5703109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8867a241710cfb2152466d76b0182ebe0f22f34f","datavalue":{"value":{"amount":"+0.7472460269927979","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":"Q2003259$E9146094-11ED-470C-AF1D-7479BBC2EC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0092b91c7db69bf76bbab669a40db96b6ba0eff3","datavalue":{"value":{"entity-type":"item","numeric-id":2908787,"id":"Q2908787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1b2581d5860bb725569b085ca972742dbbdf71","datavalue":{"value":{"amount":"+0.7456219792366028","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":"Q2003259$A01A53B1-855A-43D1-87A1-7DB0A39624D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2003259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2003259"}}}}}