{"entities":{"Q3520148":{"pageid":5550052,"ns":120,"title":"Item:Q3520148","lastrevid":50428262,"modified":"2026-01-14T01:01:08Z","type":"item","id":"Q3520148","labels":{"en":{"language":"en","value":"Curry-style type isomorphisms and game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312446"}},"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":"Q3520148$F3CD926B-F92B-4EB0-BD6D-F1F0DB0CD9E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7db0ef6ec792aaeb5a424436dae7ee8aaa08b14e","datavalue":{"value":{"text":"Curry-style type isomorphisms and game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520148$6CA9DC6B-392D-4400-9BFD-94946F0395C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"731b9efd36b7f0acd5387076051d6bbabcb653ee","datavalue":{"value":"1160.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$B36B45DE-7915-4DBE-8657-9FCB126D8DFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e30abb570893aab609acc8a01d11c3a234ef2f6","datavalue":{"value":"10.1017/S0960129508006828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$F8877014-7505-47DA-8B32-D050A91D4B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a8bcabfa0f4733d87c909f8af2a4437b901b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2474442,"id":"Q2474442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520148$7E53AE4C-BA98-4F6D-8F25-B8C2E4BAFC56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520148$D047D918-F30F-4A38-AA64-F9BD190DC469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520148$5E4B88A2-5760-4442-AE82-894BC53066FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$36F7E697-606A-4C55-8FD5-5FD89F39A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$AC6BF856-1E28-4E69-AA70-479B089A39B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$D39C8E82-40AA-4FC5-8A1B-057A5E6CA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$E4321BE2-0E8A-4FDE-923E-89367B9C2373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b91866cfe229bc4ac45d4d16730b2488b765adc","datavalue":{"value":"5312446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$7C14BA86-05DA-4084-95C9-632EECDD0087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520148$71019A7A-0424-47A5-95A4-1F8549EC877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f558ad8503ca74c243aa26f9af84ddd1f8beb33","datavalue":{"value":"type isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520148$638B41DD-95F3-43D7-9FAE-8DFB9A8165A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520148$00309DDA-8D6F-4829-9483-F4A4A5106474","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":"Q3520148$AE390C8A-9583-4BE6-AB9A-5B7C41B00130","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa47c2b0855dbdfacffce47bc2ab6416235baa3","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520148$A0036452-C571-4860-BCD0-11A6E811AFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1146bbc5e086759e31519ce524dbf829161b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520148$182711E6-4227-48D4-A798-1F9C84963616","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":"Q3520148$467CB40E-212C-484A-AF55-F52E668B6AD1","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":"Q3520148$FC6A4D4F-0CCC-4F88-9330-B244B369DF0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"506490850db948482126df6a74cba3a2c59bf306","datavalue":{"value":"https://doi.org/10.1017/s0960129508006828","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520148$367D81CF-D35B-4DF5-86AB-8FAA60A8D673","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d82f43cf6ed75423e9e55eec046e136096b79f3","datavalue":{"value":"W2952354821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520148$14B68147-77C6-4CA0-9EB0-C00F362076CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b89132ff8e09967e43676e0c8b9b2aeb506dede","datavalue":{"value":{"entity-type":"item","numeric-id":2474443,"id":"Q2474443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72316491a5ad72436d01ece51b65d80306556bbc","datavalue":{"value":{"amount":"+0.7771158814430237","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":"Q3520148$83E83402-67D5-4FD4-A5DA-CD46900B6469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7bc6bc7524c42e30264621031df737b303646a","datavalue":{"value":{"entity-type":"item","numeric-id":2904625,"id":"Q2904625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2307fe42fb923d87864813f20a4a5d4a684c0297","datavalue":{"value":{"amount":"+0.7231404781341553","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":"Q3520148$CFFC30A5-A561-4549-8307-19F3331D2E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc04a9ccbd9afff3043d7e8e5262fe9f64f512e2","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368bb929991a54753aaa0cfa0f8b493fdb896f23","datavalue":{"value":{"amount":"+0.7130297422409058","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":"Q3520148$EA8C1425-41F2-48D0-8A75-69034286E22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358532b076d3c4c7bcc86a5f82150aab23d78d0","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6e439251c554d5a5294ac36791e31a9c104d66","datavalue":{"value":{"amount":"+0.703667402267456","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":"Q3520148$ED4AF868-5994-4B0E-95EE-5EC7DEDC0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e324c09dae048cf69fd55bf4e676d247d7e736","datavalue":{"value":{"entity-type":"item","numeric-id":3540197,"id":"Q3540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784da29f9370c1c21fb29d4d7bbc3a39587b2fd0","datavalue":{"value":{"amount":"+0.7000869512557983","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":"Q3520148$77E2BA2F-B4B2-4601-8C7D-3F3186B4AAEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520148"}}}}}