{"entities":{"Q5741554":{"pageid":7771105,"ns":120,"title":"Item:Q5741554","lastrevid":92865083,"modified":"2026-06-05T02:57:18Z","type":"item","id":"Q5741554","labels":{"en":{"language":"en","value":"Selected papers from dependently typed programming 2010 -- overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607270"}},"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":"Q5741554$6D6BDFE1-DF12-46DC-AAFF-8A5EA2ACB345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f2c0e2af03586fd07773c3d01d6d0e80fe13fb4","datavalue":{"value":{"text":"Selected papers from Dependently Typed Programming 2010 \u2013 Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741554$889C97DD-373B-4481-88C6-23A8A71DBE34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e82824fc76b64d4ec5d6830f0ff8097336570b","datavalue":{"value":"1362.00031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$DC763117-E78E-40CB-B199-FFA342984B04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d3fe8f5923c3ff5967ba522fc36366b41887098","datavalue":{"value":"10.1017/S0960129514000097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$8F55F732-1A6E-4E65-AC0F-CCB2A1FA887F","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":"Q5741554$828514C1-0F88-4934-AA79-E007C08F354A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741554$50F5FFD8-4295-40B2-9DBF-873B01FD0C38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$62AFC9F0-E113-48FC-A3EB-E5FF805DDB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$9AF872D4-302F-4F60-9146-1D080E4BA7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$C8005DFB-837F-433D-AD99-1DE6DAF7C6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$7EB627D8-9E4E-4770-B294-12C86B61ED35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"883f1b1992d645805e28b61db8efb2202c27e122","datavalue":{"value":"6607270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$B401E351-DC19-40D3-B355-DDE90AA341E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff0d5f7c82353654b1172e17a41caa944adba95b","datavalue":{"value":"Q61583687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$C8F38ECA-8248-4991-845E-264C6B94E4F0","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":"Q5741554$858158C7-D33C-496F-B026-473CCC368F55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3019849dc7e804957260aaf080c918ea7775333","datavalue":{"value":"https://doi.org/10.1017/s0960129514000097","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741554$356A7E55-D735-4488-965A-188F7E7E01D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea30a54b44a6a4de1987bff4ee8e8d7a17131465","datavalue":{"value":"W2022520897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741554$47A22B32-E57F-44ED-9980-2CDE4403FA98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c73f87956493c5aae68a023e5f4d6b6aed8c39","datavalue":{"value":{"entity-type":"item","numeric-id":5398326,"id":"Q5398326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b972fad48f5a1542a1e297c64a38e64928d026","datavalue":{"value":{"amount":"+0.7390647530555725","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":"Q5741554$29795DE8-0D6B-4F16-8844-9C81CAD10E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef52d51345febc8002a3819e9f1b87f6fe4edcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5372011,"id":"Q5372011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f827328d52f8304313d4d5896e709bb6a472b4","datavalue":{"value":{"amount":"+0.737511932849884","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":"Q5741554$3B75CAA6-5808-405D-98A2-0EF3CCB6898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c4504305cd95d4772ed821356b26cdd5b7c4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5371977,"id":"Q5371977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af749fbe9ceab668e79f6cb8600f75d7ac39df3f","datavalue":{"value":{"amount":"+0.7351586818695068","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":"Q5741554$898EDDCA-B0AC-4E51-AEB9-4C725C17608A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcbcda730900a8e54233398cc7adc457478d011","datavalue":{"value":{"entity-type":"item","numeric-id":5965538,"id":"Q5965538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed771ec84e7cd4d749e210dc5d2c3a6b314d02f1","datavalue":{"value":{"amount":"+0.7258744835853577","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":"Q5741554$3A38736E-ECCC-4C7B-8604-5653050D1671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281cea73762bf40ad38c8d166d5862fbf4d6bc7e","datavalue":{"value":{"entity-type":"item","numeric-id":4968487,"id":"Q4968487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e910f58b1ca0c59d490df421d22dc0e13d97e88","datavalue":{"value":{"amount":"+0.7247047424316406","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":"Q5741554$0CD8234F-F777-4680-9E2B-8947664A246E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Selected papers from dependently typed programming 2010 -- overview","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Selected_papers_from_dependently_typed_programming_2010_--_overview"}}}}}