{"entities":{"Q1306706":{"pageid":1317456,"ns":120,"title":"Item:Q1306706","lastrevid":67121043,"modified":"2026-04-12T15:26:39Z","type":"item","id":"Q1306706","labels":{"en":{"language":"en","value":"Density theorems for the domains-with-totality semantics of dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347946"}},"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":"Q1306706$B02C43C7-9152-4F45-A81B-C97C2CADC577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948a5730e0a20d937dcb4cddd69f6e5210a09aaf","datavalue":{"value":{"text":"Density theorems for the domains-with-totality semantics of dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306706$4195E889-6310-4E7A-8B7F-99147EFC4D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b52aad1e22d13fb03ec41d46caac6c61350075","datavalue":{"value":"0933.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$73C5CCB6-B2AC-4DCA-AC7B-6DD9C29DC95D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e502eaa09d249dd1c3bdea0eb282891c5825d61","datavalue":{"value":"10.1023/A:1008632017116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$CF34A853-43DC-482B-A3A7-E3E7DB4FEEF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306706$385EF4EB-90DC-41C8-BD0C-1BCB237FBA37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306706$02394AB3-AE11-4E69-8B35-CB86D61A2320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306706$907DE359-1906-4EE9-B09A-B5951871205E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$A4319037-9876-4AE0-911A-CD7EEF77ADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$DF66788E-6A11-4772-A4F0-CE59A5E6923C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4ebba04f50e0f23590e54001450b3bfda4e529f","datavalue":{"value":"1347946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$D74363BC-8548-4B16-98FA-14B8AA6F9FB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$AEC16C7B-B049-46BE-9D4E-E3EA873CDC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$867286EF-20F6-497E-AE69-4CEBA4974836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428c1bea9777e329c39b0e3b74891825d07ae54b","datavalue":{"value":"universe operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$B25C04FC-F4D6-4718-8273-CF515F6044DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dadd595b5804d15baca01f64f87e8e6c36136d","datavalue":{"value":"parametrized domains with totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$8BB38FC9-B616-44D3-B85E-4DB232C88AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b906effcc0718e0ffc879c47f6d5fb0e5a35b1e1","datavalue":{"value":"density theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$CC097CC6-5ED6-4F6B-93E9-619E85A4F62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f3daf8e8ec671c2d12787f1264514c92ea524","datavalue":{"value":"continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306706$696D4891-8717-4888-8893-E52421AF84CC","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":"Q1306706$D62FF484-2A3C-4FC1-A691-CA996E7C41DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db9fd2635f526c4351f39883678a9e4c8fe91776","datavalue":{"value":"https://doi.org/10.1023/a:1008632017116","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306706$56DA4D0B-8868-4708-ACD5-0E8E9D2889CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8add0e436a283bdbe69ce9be61548623ba400635","datavalue":{"value":"W1503914388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306706$8AE161CF-6FF1-4DEF-988B-2C2DBC3D4347","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d815ed4f9fd81bd95af6d37d863489b3d605b369","datavalue":{"value":{"entity-type":"item","numeric-id":5687233,"id":"Q5687233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28068251143857523f536e4dd9274caf7bbacee","datavalue":{"value":{"amount":"+0.9355870485305786","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":"Q1306706$21D736DC-7A30-40F6-9225-EBD0D2E48408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a573f9b97c2cea8335731df50d3c7c35479a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4611200,"id":"Q4611200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be50591f56153f2e5e79087f9efaad648fa4075e","datavalue":{"value":{"amount":"+0.7944881319999695","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":"Q1306706$7B8C7227-46DC-47DB-87ED-3A1106D3CF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20add77e9ee835adb27f7fc2c4363bcf5c28c8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1283126,"id":"Q1283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a746159b8efe9c4bcbcf56485c54034ebd33c6","datavalue":{"value":{"amount":"+0.7928564548492432","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":"Q1306706$A3813E09-8F06-48BE-8298-16B1BFAD954B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Density theorems for the domains-with-totality semantics of dependent types","badges":[]}}}}}