{"entities":{"Q3637193":{"pageid":5667099,"ns":120,"title":"Item:Q3637193","lastrevid":50704232,"modified":"2026-01-14T21:02:06Z","type":"item","id":"Q3637193","labels":{"en":{"language":"en","value":"Refinement Types as Proof Irrelevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576326"}},"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":"Q3637193$199DB257-6043-42A6-8D68-2BD987689BB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13e049e41fe42bcfe31ecdb8a767d7ca06811b86","datavalue":{"value":{"text":"Refinement Types as Proof Irrelevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637193$A5FEFF0D-18DD-4A91-B421-D9EBD554BC4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3d0cbec99658f1c6882bcd0e214ec8eccd8a54","datavalue":{"value":"1202.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$3A79B2AC-71EB-4BB6-A9C6-2EC1944418E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d86e21bcb403fc7076da6b67386bd76c5a8d146a","datavalue":{"value":"10.1007/978-3-642-02273-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$3EC7FE7C-3908-472A-BE3D-95977C77406C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e288457c9d1f48601505d7fe21df88c418d5a038","datavalue":{"value":{"entity-type":"item","numeric-id":2871878,"id":"Q2871878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$D3AA7264-0E23-4283-A32A-6C2F90BD244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$BF9C4760-6E69-4611-AF9A-74E2BC4B3C79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$B91B3466-A849-49D8-9FE3-935D1220EEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637193$F4B04B32-9197-4AD8-BA0A-DD7869C0EBCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$4DA2182B-48AA-488E-8093-E639998E7A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$558B87FF-8FB2-4963-9997-074D7229BDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$59983936-DD85-4D01-8213-608218C24191","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc9ab922f187d21ed94114539e18c5c6d89a281","datavalue":{"value":"5576326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$0F13744E-953B-4E7B-8EDA-D3865CE9AC4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$9CF6D44F-6266-4A27-ADAA-C4760324836F","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":"Q3637193$F81D01E9-4487-4C1E-9CC3-0124B4CE6CB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16b6f54ac6a4a087ef2df8b68741aa75039cace","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637193$A2FED835-A36D-4FED-A92E-CD9201397CF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c6a215da8ac5fb4c66fc355c5efbcb76606e859","datavalue":{"value":"W1532507833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637193$3E7C620B-3BA5-4B7F-8563-412A9C43D7BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$578A0378-9776-4E89-A09B-EFE28448595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$9B882F85-DDD5-43C4-AEA0-319092868261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef20c41c1051207d3ed06e91d121ed54b215875","datavalue":{"value":{"entity-type":"item","numeric-id":3452267,"id":"Q3452267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$6C3AAADD-B47B-45EF-A6A2-FD5137F08C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$BE9E20A1-3451-4C4B-9B52-52E974EE75EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d5a6af42d172b77b05b13c0c63ca4f9ebeb6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$43E3FA9F-012A-47B6-9822-A06224E423C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b60a578a73ee043cc8af8738d27f5b02ed4a471","datavalue":{"value":{"entity-type":"item","numeric-id":2871879,"id":"Q2871879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$86D1DC5D-5214-4665-B480-C49F89E74413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637193$B8116CCB-8E35-4A9D-8A68-A2D7C095FA07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46e4e76105f7252cbca0b759d0cccb97f9f899e","datavalue":{"value":{"entity-type":"item","numeric-id":3064169,"id":"Q3064169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2848bd738d7e1f2a85135cb2f5bbeaa7c10de6","datavalue":{"value":{"amount":"+0.9390596151351928","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":"Q3637193$8B89BDBD-BAA1-40AC-AC6D-01046265E99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9425ac4f2b0d553e23ac5338717734486a1b4b37","datavalue":{"value":{"entity-type":"item","numeric-id":3060978,"id":"Q3060978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3432bc46fae70e98958e44db494b88bdad20ad","datavalue":{"value":{"amount":"+0.7279858589172363","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":"Q3637193$FA348405-BAD6-4033-B3D7-9239FD2A5EF4","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":"6b5be9ef0417f43c37a32c6f465289614bd85d9c","datavalue":{"value":{"amount":"+0.7179190516471863","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":"Q3637193$603A4FC5-D831-4DB0-9532-85AF4D5E9356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf486bf731fc37030a4d73f0350c7b17f44097f0","datavalue":{"value":{"entity-type":"item","numeric-id":4508300,"id":"Q4508300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c958aaa74be4ee4ac64f4f17d888526fe1be87","datavalue":{"value":{"amount":"+0.7134659290313721","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":"Q3637193$BC7C6F7A-CA1D-48FE-AEC6-1AB03EF49D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09dcfc29a679f1edee160689ef72e73458c00e75","datavalue":{"value":{"entity-type":"item","numeric-id":4246948,"id":"Q4246948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5f2b4a97826d0954bd14f52d50cb3fe5632187","datavalue":{"value":{"amount":"+0.704656720161438","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":"Q3637193$BA30DCE3-28CF-4543-B868-5F9F42B74986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637193"}}}}}