{"entities":{"Q3638256":{"pageid":5668162,"ns":120,"title":"Item:Q3638256","lastrevid":50699900,"modified":"2026-01-14T20:43:18Z","type":"item","id":"Q3638256","labels":{"en":{"language":"en","value":"Manifest Fields and Module Mechanisms in Intensional Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574320"}},"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":"Q3638256$2257345A-42FB-43EF-A9BE-8FCEB41C2419","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d526e81aa9f77d825905cf5cfcad7944a5b45018","datavalue":{"value":{"text":"Manifest Fields and Module Mechanisms in Intensional Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638256$82719C59-AA9D-4353-8B5B-B9EE7C340303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d1c3c96b228051d4e6b85a04306d64164dafccc","datavalue":{"value":"1246.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$349D5C61-18F8-4647-AB75-BB1015A14DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc97c88538b0dba54cdd04ca78dfcf163123c3d8","datavalue":{"value":"10.1007/978-3-642-02444-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$3C6B0EF8-5EF0-4085-81DD-DA74C7F5D0D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$E6CDBD4C-10DA-483F-8601-3021A3748591","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":"Q3638256$CE7DD90E-D98E-4CD0-913E-5B3C385DC0A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-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":"Q3638256$97CAC4CB-01B5-4644-A6BD-8E1287FA8C79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$592C2EF9-146A-44D7-9656-72F177B2E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$C2ECFB32-E878-4C26-904A-D3D22E6AC485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed446f1fdfdf9273f6565ddb1d943c369ddf00bb","datavalue":{"value":"5574320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$22C09EEB-3687-462C-9D6C-B27D4C6EFB73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$8E86A59E-CE5C-40C9-8DCB-88A943EC8197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$F56B9DF5-3EC4-495A-AEBB-5F30098C30A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$7D32E4EE-2298-46B5-B723-9811C10F94A7","rank":"normal"},{"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":"Q3638256$342AB867-C746-44B8-BCA5-A57DE39E4336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$5EA0DC3D-9D91-492D-96F4-BC7BAF647725","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":"Q3638256$CC364FFA-F0E1-4351-A662-69F1E13C1357","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e0b730a65fdf281030e31d420ee67571c7a4c9e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638256$E22D9AF2-BE47-47A5-9BBE-BDB0D0EADA0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b2de94881a1b5dcdc7b48c66d708082da04bb80","datavalue":{"value":"W1555972076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638256$45106A30-61FB-4547-821B-0F04FFC347F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$71B013C5-966A-4E42-8C74-D048E67DD230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33bf517641d12fc4df4d7fdbda832f3ef440e8b","datavalue":{"value":{"entity-type":"item","numeric-id":865639,"id":"Q865639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$658AB77C-F440-4E21-BD66-7D650ECF9E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff1fd92245df38d7ffeae1e590de1b0d5007c30","datavalue":{"value":{"entity-type":"item","numeric-id":4474826,"id":"Q4474826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$C3D81498-02EC-42F8-9EBB-DE794F4B1FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ea79cf49ca1e8040f64397f57e799e6b059a9","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$DD2AF1EF-FBB1-412A-8629-95FCF681B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e661423e2ee77c1207d85b676f78b6f5c2d3066b","datavalue":{"value":{"entity-type":"item","numeric-id":3345748,"id":"Q3345748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$B2FB1D5B-9CB2-480B-B6AB-2F88E518DC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3247948db76f97fed8d70bdc01ad427c970bc38","datavalue":{"value":{"entity-type":"item","numeric-id":5951521,"id":"Q5951521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$11C84A67-5E00-40B5-B172-6D4C38D22E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc25ef35000b85581ab9716e52891652f9090de9","datavalue":{"value":{"entity-type":"item","numeric-id":2752048,"id":"Q2752048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$467FA7B4-613F-4038-A3FD-AE29DCDE2626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3715e78f290cd3087a3394a679a7aadcb0ddba8","datavalue":{"value":{"entity-type":"item","numeric-id":4681364,"id":"Q4681364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$424B71F6-2E6B-4F65-A2BA-E173CCFBAE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfba4ac132116d209506069ad2d1e3b24c873805","datavalue":{"value":{"entity-type":"item","numeric-id":1322477,"id":"Q1322477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$AA89A455-C981-4D2C-8332-9320FA1070BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae46d0a0bd58b96aa9d6a447fa758a54a7c4df","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$48984F2F-F028-49AC-B071-550AFE353FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5371379ff0e1d14c8d0ac444ae3a4db9e3b4d88","datavalue":{"value":{"entity-type":"item","numeric-id":1776403,"id":"Q1776403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$98EC82D0-BE58-4CE5-840D-49851B447541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd3b8732001a65e8422e49da191945e9664f035","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$DA3FA73C-D1D6-4019-B595-626F2D70FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$730F7C3B-A81F-4140-858E-9E2E253CF2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafffdd0b071666063f891cfea9298aacdb7897a","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$72AB9A55-C388-40D8-8633-29BD16E46372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$B891BA38-4E2B-44FD-B26C-60B7F677B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6ff8cb85f2ab1733764c193d27ec19dfb3b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":3520150,"id":"Q3520150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$EA3B3E15-36F3-47A5-8402-7A313121F733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbe36cc3529ec6011a76b9168e1be862b0bbe5f","datavalue":{"value":{"entity-type":"item","numeric-id":3535679,"id":"Q3535679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$E045C9E6-F6F6-483B-9AE2-AABC5DF516BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$3613A2F0-D2FC-4690-8E37-D1521340984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$A811206C-7E0F-453E-82EF-FE1E5B53BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$CAD8E4A1-9D6B-46E0-913F-80D2A1162903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55620229a723772a6f28df349b35435b565020f","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$F6D6FD30-1764-4FE3-9E95-F5A22993505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29209482615350601b1ac00dbba8b8d6f75d6148","datavalue":{"value":{"entity-type":"item","numeric-id":3499757,"id":"Q3499757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$F21F7D5F-7289-47FB-900C-5530480B75DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca108e06577dae44ac6d51cf5d326577fc6b756","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638256$FDAE3927-EE07-4D52-884F-4C24DB7FEAB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305d21128e3f418c733821180d8cc1ef5de78466","datavalue":{"value":{"amount":"+0.6874241232872009","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":"Q3638256$E9BA6BE7-946B-4B69-BE4F-D7BC1C87B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b8a8fa2c66bdffdc4f4627cbac691634a6136","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed5c67c6f1d1d28efb8b509a62ede1774f80ebc","datavalue":{"value":{"amount":"+0.6792394518852234","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":"Q3638256$9CBE47E8-9165-4B82-9528-D84DD9674B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed5c67c6f1d1d28efb8b509a62ede1774f80ebc","datavalue":{"value":{"amount":"+0.6792394518852234","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":"Q3638256$42CFFB1A-8CD8-4454-9A43-C521681232D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ed4c1f61058fed5110c382475359ea917addef","datavalue":{"value":{"amount":"+0.6718379855155945","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":"Q3638256$E1F0DE4D-E7CC-4818-B95F-DCB97C951466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bcc8aeb44460893848e59e91008ebee928816a","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ed4c1f61058fed5110c382475359ea917addef","datavalue":{"value":{"amount":"+0.6718379855155945","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":"Q3638256$7FDAB484-5EAF-45A1-AFE4-A80AE2D2370B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638256"}}}}}