{"entities":{"Q2802443":{"pageid":2813181,"ns":120,"title":"Item:Q2802443","lastrevid":83447717,"modified":"2026-05-07T07:59:31Z","type":"item","id":"Q2802443","labels":{"en":{"language":"en","value":"Refinement types for incremental computational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573711"}},"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":"Q2802443$7417ED16-BAA6-4FA0-8959-727D9D9204C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"317f577445e151657a4ff866abbc259e8305a3d2","datavalue":{"value":{"text":"Refinement Types for Incremental Computational Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802443$0EAD886A-1781-41E0-A524-0FC9EDE02F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d569497c6550d1b59326736b21f43b4dd8b1798","datavalue":{"value":"1335.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$F20B6766-5949-4DAA-83D1-16121154C8BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91b1a21e974676a3cd5090cbdecd0d305066b901","datavalue":{"value":"10.1007/978-3-662-46669-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$68730A49-E912-46A8-B0D7-5C6722208EF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"637a9cc61a4a18c02f3cc53c3ae8f827972a52f6","datavalue":{"value":{"entity-type":"item","numeric-id":2802442,"id":"Q2802442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802443$2468A5EB-C9BA-4A79-ACA6-FA7796D9EEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802443$BB24A8FB-3F0E-420C-8BFA-8AD6EE88CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3c9d76b381e32901aa1410bcb6eb37917cf64be","datavalue":{"value":{"entity-type":"item","numeric-id":1799302,"id":"Q1799302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802443$3DCBADC1-E4C7-4A8F-954C-815703EDB525","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802443$6371C3D0-9746-4CB6-B5D8-7185173A7780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802443$D8C35AA3-4E75-4890-9E00-8212C57868E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$F04AA2CF-AF4E-4749-8525-4A7E5174EE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$99829E50-F654-44A6-9316-731A02C1652A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80a6225aaccc44489f45186d84df7283a36b413d","datavalue":{"value":"6573711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$0F5BABF2-B276-43E5-B882-C2217570F9EB","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":"Q2802443$3F350874-9DF6-4D09-8A7C-9E0B9D8CC0F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94abbc0e3daacbfa02faa406e809fc0755ea995c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46669-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802443$2CFFC287-4F95-4769-842E-190A87575FE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a6cf7419417033d5e23df327efa687438581872","datavalue":{"value":"W2119859640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802443$5AD5C64D-7C2B-4F2D-8495-3E79A2CB2124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68c1e8c1c5cf685cae29b82ee369bc71c07d4b7","datavalue":{"value":{"entity-type":"item","numeric-id":2982007,"id":"Q2982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e0ad313939ed5c04a60cce902a0b65622905a1","datavalue":{"value":{"amount":"+0.8515257239341736","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":"Q2802443$D4CB118C-771A-4771-81BC-CCFCD2E1E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3da55bdeb2b6bd2e7b7bf60307d62c867be257d","datavalue":{"value":{"entity-type":"item","numeric-id":1331947,"id":"Q1331947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c46977d38aca0062bc7dd7d81e2c4f4a465796","datavalue":{"value":{"amount":"+0.7518861889839172","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":"Q2802443$803975DF-662B-445F-9B40-BBB88FBBC0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3887e18fafd6f4baf81d360a64c7ad38213b1227","datavalue":{"value":{"entity-type":"item","numeric-id":1595470,"id":"Q1595470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c593bfdf58fa52403f2f2988dcba1b6797c046","datavalue":{"value":{"amount":"+0.7247669696807861","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":"Q2802443$14F80882-BB26-4A4C-8172-097189F97283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e04efa8461c89effff701fb71727d52f5bd103","datavalue":{"value":{"entity-type":"item","numeric-id":2949188,"id":"Q2949188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c593bfdf58fa52403f2f2988dcba1b6797c046","datavalue":{"value":{"amount":"+0.7247669696807861","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":"Q2802443$AF558160-ACBB-4E84-B76F-B2D6619515F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a811764f0a9cb026d1616eb3f4dbcaff9ad7d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5178910,"id":"Q5178910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ca62e4a476311bef46c0c1e0142b1dfd637126","datavalue":{"value":{"amount":"+0.7206913828849792","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":"Q2802443$CA1612CA-0F80-4C10-8A4D-BD612F851A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement types for incremental computational complexity","badges":[]}}}}}