{"entities":{"Q5277973":{"pageid":7307548,"ns":120,"title":"Item:Q5277973","lastrevid":92161166,"modified":"2026-06-05T01:01:27Z","type":"item","id":"Q5277973","labels":{"en":{"language":"en","value":"Dialectica categories and games with bidding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744287"}},"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":"Q5277973$73FDAD6C-BC89-4888-9313-A04CF1076BE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504c5809de999227022fc5767ef305fba889bab0","datavalue":{"value":"1434.03139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$BC9F6826-D6D4-4F93-9747-801DA291A3AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d23cef60c2ad9a47ecd5eb4b18f854b6c0759ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1990303,"id":"Q1990303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277973$FCE6DBDF-B374-4C29-A9BC-43B1BECDB969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277973$ACD7C547-946B-429C-92C4-CA951387A0A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$00CE26C0-6196-4D3B-BBC9-4CB28350D094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$6A9F34D6-46B1-4EC1-80E6-2A8EDBC2108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$A1F49651-6491-4E23-BBAB-B5C0AE708C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$A71BF32F-E827-4A58-A88A-26DD1692C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$F4C711A3-D3BB-4EAE-93DD-5ECB0C1ADBC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5c5ee064e18e963a0dcf8b4660136659f29021","datavalue":{"value":"6744287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$301DD330-563A-48B3-B72B-F204A0FB6CC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$EEA19F02-4CF4-49A1-88F1-CD2C088C93F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2eeea6886a9bb057e08af7b604fd1e3636d4150","datavalue":{"value":"dialectica categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$07E8A0A6-3041-428F-93C1-36A582DBD457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$DCD0A40C-CFD6-4807-9DE1-86CE6E6E38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$4812AA63-443D-4F24-9CE7-88D05BF41229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$5D851F77-55D2-4D32-8E79-6E5D907B7885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$80A77C0F-149D-4873-84EA-C576397E9410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277973$A4B06D73-FED6-4BB4-94B6-F04116DAE1FE","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":"Q5277973$DB585EA2-FDE2-488F-A747-A0D230112491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e7ecacc7d051a9ecaf330d328795b6489f35e17","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2015/5493/pdf/7.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277973$116D15A7-8FFF-4B5A-8484-C0DDFAF56159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8ee8f6b3c41fc37f9d6e29caee0b4102b0e763c","datavalue":{"value":"W2306166058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$2D0FE4CD-CDED-4321-ABAA-1D3DF6FE9564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86a470b6cdf752eb2b6c8a532638f26ec69e20dc","datavalue":{"value":{"text":"Dialectica Categories and Games with Bidding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277973$C7367F77-C691-41EA-AED0-E55A58B25009","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d437b91ca9c69b7d3669a925a5997dc8b6b88d84","datavalue":{"value":"10.4230/LIPICS.TYPES.2014.89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277973$50C0D3E9-4C4E-4D88-8B3B-803BA905D0E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b12a70e171aa93ffed5cf0d73a3a8845579c419","datavalue":{"value":{"entity-type":"item","numeric-id":5298120,"id":"Q5298120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9008b1264bd8119348c455b7c9f83109fdba7e58","datavalue":{"value":{"amount":"+0.7920518517494202","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":"Q5277973$F31CE794-9825-4C7B-8A52-DB70AE7677A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6cfa405c435907c9de0905049a28a1c63c0f11","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb347fd9f3fd2e1e5a06292008ea66758ea20a31","datavalue":{"value":{"amount":"+0.7877858877182007","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":"Q5277973$234BF123-FF06-49AA-92CF-CF81718E6176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fea1be8e9359792518416240c6de9e1b757b09","datavalue":{"value":{"entity-type":"item","numeric-id":998318,"id":"Q998318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43a00fbb83a03505b64605367d63627c19ca5c9","datavalue":{"value":{"amount":"+0.7616152763366699","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":"Q5277973$EFB014DE-B8AE-4BA7-B3E6-E597A3560433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558885ddb4a759c2f8a250a5ed72231c2c7ac996","datavalue":{"value":{"entity-type":"item","numeric-id":5145350,"id":"Q5145350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2aa07f7fdccb38b380f8582adef08de975c7e95","datavalue":{"value":{"amount":"+0.7577236294746399","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":"Q5277973$190FF379-C1CA-45BF-9157-F24055A7B8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f24bcbef71be4a407b8212fba94e8aa2e65a958","datavalue":{"value":{"entity-type":"item","numeric-id":4499228,"id":"Q4499228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907d016aca3eeed9bed6b78e5f2557068c5655e1","datavalue":{"value":{"amount":"+0.7556026577949524","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":"Q5277973$93E890D4-3744-4A1F-8C80-F898DDD96E14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialectica categories and games with bidding","badges":[]}}}}}