{"entities":{"Q5261277":{"pageid":7290845,"ns":120,"title":"Item:Q5261277","lastrevid":91976909,"modified":"2026-06-05T00:33:13Z","type":"item","id":"Q5261277","labels":{"en":{"language":"en","value":"An effective theory of type refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455115"}},"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":"Q5261277$CE17925A-F95C-4690-A4DF-C22B3D8570D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c32f8195a58e9b7a053f48e03b78360600a5e5f","datavalue":{"value":{"text":"An effective theory of type refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261277$E7F7C0D7-85FA-48AE-922C-D8E24DDAD0AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81bf94f8a0331825d30f3ca2b8eed43348dae885","datavalue":{"value":"1315.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$81F5BDE6-B3A3-4280-8F9A-8D48451667AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8fc48ebb5d780e55915b7ac6ab57a9f31f1b8ad","datavalue":{"value":"10.1145/944705.944725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$1C7F78FD-B0B8-4473-A434-6413393C978C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94171c1d9483ba92f553ba0e2b86a3a8cb6d7f94","datavalue":{"value":{"entity-type":"item","numeric-id":5261261,"id":"Q5261261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261277$1DD2E8B6-8499-4F96-80DE-13BB9D098296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261277$F56A2E53-FD91-4E2D-AE3E-B15162B3527D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$9F04C71A-D304-4D62-9F93-3B1554476E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$0E96BD95-3C35-4379-9487-2808F22A1EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48bec5ceb10707bb1cbeb06d21635d36351e5d3e","datavalue":{"value":"6455115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$6BDE9439-7451-4035-A3D7-97A425E27DCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e9b80b35008a1b7642d9e853d09449a7d6d073","datavalue":{"value":"effectful computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261277$8E315A6D-C2B4-4EC7-9A32-247B689E7899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261277$66AE5E9F-ED24-46C0-8DDE-D42C30F425CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261277$E338D6DC-ED53-4897-B064-AF1634B990E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6761658ebc734e56c4a318c79dbb8f46f3624eee","datavalue":{"value":"type refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261277$FF6F550E-CD9C-41D8-96AC-A3604C62DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261277$1E369860-B473-47C8-B813-7A2C1D154547","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":"Q5261277$23D4B515-12A9-4F3E-9B73-BC444E3A3D49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccd520d2e4e527e824a608cb9c173947df70e274","datavalue":{"value":"https://doi.org/10.1145/944705.944725","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261277$19AD970C-4FFC-47C1-B6F6-6CE3B7409715","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"650dbfe2b6dd877fcb9cb37659ea6da12dfab812","datavalue":{"value":"W2032687731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261277$5A4A14B4-BD14-441D-9F52-C337677E6829","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb749952a68c5b82e606596cc60d6f39df18bd79","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617d2a3b41a668e31cfb88a53de7f0ec064bf789","datavalue":{"value":{"amount":"+0.7686748504638672","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":"Q5261277$1DD739A8-EE84-45CA-A54E-395149A42645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b626a6ee670e60e213e9a7842a129770bc54fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7b5b2c9c6511c86337ca9fd4f49f02dc1a704d","datavalue":{"value":{"amount":"+0.7509585022926331","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":"Q5261277$EBC331FD-3C76-45E0-9413-57DF188590FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538f59f2f47ac861685fa7159300fe779d13b403","datavalue":{"value":{"entity-type":"item","numeric-id":2871879,"id":"Q2871879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e89a4bd7bf71db457d1831b41408c8fb335703c","datavalue":{"value":{"amount":"+0.7427935600280762","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":"Q5261277$89B70281-9D0B-44DF-A939-36876292A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f3c2563ae0bf45fa8beeffe0dd64ff4101ce27","datavalue":{"value":{"entity-type":"item","numeric-id":2981942,"id":"Q2981942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc9ed14dc9ed3152dc123767dfda5cfb940cb2a","datavalue":{"value":{"amount":"+0.7424277663230896","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":"Q5261277$627441FF-D125-42E0-935F-FDE514DFCCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685a741ce32f5ed1b234241be2b49a1c56287eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2feb86d0d9f01928d4e2a7f720042fdb917c4179","datavalue":{"value":{"amount":"+0.742053747177124","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":"Q5261277$D9AF3EF5-52D8-4283-A064-443947E89F17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective theory of type refinements","badges":[]}}}}}