{"entities":{"Q3416824":{"pageid":3427527,"ns":120,"title":"Item:Q3416824","lastrevid":50005267,"modified":"2026-01-12T14:37:27Z","type":"item","id":"Q3416824","labels":{"en":{"language":"en","value":"Polarized category theory, modules, and game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117936"}},"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":"Q3416824$A657E7EC-08C3-43A7-ADFC-13473832C781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4914d8e573cfdffda24b0fbe0ee3977ef41d5456","datavalue":{"value":"1117.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$A04C520B-3B74-41EF-97C6-240F7CBE643B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416824$0839D189-54F0-43A2-B0FF-AC273DE94AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416824$E0E9B326-04C2-40F9-A650-599158D9EED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974092d8429ff4529a4085654279ae269b65f80e","datavalue":{"value":{"time":"+2007-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3416824$1B9C1235-0D81-4ADE-8339-9C356FD6B1F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d92ce70cc8a9d17df95cd5355048dfbacbbdb4","datavalue":{"value":"https://eudml.org/doc/127731","type":"string"},"datatype":"url"},"type":"statement","id":"Q3416824$2E6B5ED2-7DAF-4B63-A05F-A41946C0B6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fef0e3323acf7f8a8af4519f911112af6d5e71e","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/18/2/18-02abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3416824$2537E2BA-44FF-48C7-8466-A3F0A5768F5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$BF45D394-A7ED-4C29-8E68-B2131BECF8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$C75549B2-17D6-4234-BB2D-B0CDD81615DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$63FFF1FB-70FB-4C64-93C8-A1816483A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$2BC0AA9D-3F0D-4414-9AF3-61CF713B67DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$72662A36-BF21-4BC1-80EC-3950350956F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$2D19A098-54FE-4E34-98F7-2935EB3B6A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ac175befe226a6d4c79f4e38c1997eaf15f19d","datavalue":{"value":"5117936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$A0BE2813-2AC7-4DE6-8AD3-E1B7B0621908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c398445f66670d277bf1a3c44267f00f521bf45","datavalue":{"value":"polarized categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416824$04F1B0B0-9C88-4E66-8828-B051DF3FE9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34eed465ce545922ee83fd04a9aed021518c434","datavalue":{"value":"polarized linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416824$27CE3A74-A691-4BDC-8E37-30578B3D6818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416824$32B8F8BA-0124-4E59-A214-8539A68CA7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416824$7026F210-B623-44EE-AC28-EB5B46A31543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f25ab7681e8bd2ca16ec60d4577f91a3f376dcd2","datavalue":{"value":"polarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416824$ED0D0352-D2B1-4BBC-BF4D-3740C8B18A20","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":"Q3416824$500CE124-6A66-40A4-9A01-6DC5DBE9E3AB","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"c88aca80f3e3370a30d5b004765280f4c48f116c","datavalue":{"value":"bafkreigqxzain2tym7jfna7dqdkrcf2nkrrvqhhqh2rxtotv74kc6kjkpq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416824$D4F0DB22-7BA6-49BA-AEC6-88C974FA0409","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b632f07d4fc5458620b1d474177381b38f75a3cd","datavalue":{"value":{"entity-type":"item","numeric-id":866570,"id":"Q866570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac0cc26ffa1bdfb2d730d7dc82d5490a02fd763","datavalue":{"value":{"amount":"+0.8234198093414307","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":"Q3416824$E8790DD4-4330-4ECF-8AAC-F653CE8B66CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80597baee3513362a34ad095da74fa674d695906","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b05e9985b98d4c14f813b24f635fd207aab09a","datavalue":{"value":{"amount":"+0.8001439571380615","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":"Q3416824$6D1E7A9E-BC3F-42F8-9095-74B573DF4F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e4c86c689fac63b242774af3f6893ea59a9061","datavalue":{"value":{"entity-type":"item","numeric-id":5458834,"id":"Q5458834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6648ea5b773f0187d13c24363cb42ae33a5f8c56","datavalue":{"value":{"amount":"+0.7657094597816467","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":"Q3416824$A90031F4-E9C4-4E35-91F5-B6863639FAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4fe20a24a4958b2ca0ab9b44f63c2568d64538","datavalue":{"value":{"entity-type":"item","numeric-id":2570132,"id":"Q2570132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3cc5525fb65ca1a986e82ffdff79da117ea023","datavalue":{"value":{"amount":"+0.762069046497345","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":"Q3416824$E881F76D-247B-4AD4-9E5A-F4BB5FB762B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5da4659ce3a7b636838e5cff468e499137903","datavalue":{"value":{"entity-type":"item","numeric-id":4961719,"id":"Q4961719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a63781ab6332742d8a5fc3f79848283c737f60","datavalue":{"value":{"amount":"+0.7290613651275635","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":"Q3416824$3298E2D8-8736-49E5-9418-B808C8288E6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3416824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3416824"}}}}}