{"entities":{"Q5145367":{"pageid":7174938,"ns":120,"title":"Item:Q5145367","lastrevid":58456674,"modified":"2026-04-05T07:30:40Z","type":"item","id":"Q5145367","labels":{"en":{"language":"en","value":"Guarded computational type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298813"}},"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":"Q5145367$8B71BB45-5F1E-4FD1-937E-DA46B8F0ED29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02f5c9e8d7ad6814d6424d2a119bfb3782148f07","datavalue":{"value":{"text":"Guarded Computational Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145367$8B596D88-8254-498C-9A28-66C210291E60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c649c28ba5470d5cfc96f492bb1be433785f3d","datavalue":{"value":"1453.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$ACD8B2B5-B825-485C-BB67-8A4492E4739A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573c693d1dc4f7c78069a5394d551bd8833e4d3a","datavalue":{"value":"10.1145/3209108.3209153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$63F7F1B2-059B-4E50-932E-211FEED4CF0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145367$F3F9A4B7-DFF9-49AF-96C0-D619874DBAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145367$470891D8-55E2-4727-8B84-37EF6E95DD92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145367$87F4E69C-2848-4E46-AEA7-BB545CAF94D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145367$06FC49AE-000E-4729-AC87-2F00CB8B8052","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7cfbb771a666393145448766355f39b5482cd48","datavalue":{"value":"https://arxiv.org/abs/1804.09098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145367$4B3C4A22-95EB-457D-99D4-EA3B3B33E6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$F728BDF8-850C-4A4E-ACD3-AEE2B6CABAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$6BDCF727-C952-4638-BA88-49C99E195C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$7854C38D-094F-4E8F-B6A0-C6897E3E1AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$3B06CFB7-D471-4B30-9DC5-0B6391D9FE81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"486a02ccdb287cc74965d5b0f482fc37bed4ff52","datavalue":{"value":"7298813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$342F72B8-1CB3-4366-A2D3-BE56B01C3752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe090c7a2055866c46bdecd203cc1f49cb0636b","datavalue":{"value":"clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145367$EAB87897-16AE-4106-AC1A-D0158A968F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145367$B780DA5A-D3D0-4D1E-BDC1-B60B9C80608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145367$FE887618-126D-4A88-95C9-B4311A404D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145367$FDA09AD2-90B2-4884-8B43-3078B4053B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145367$7CDED727-22F6-4293-BAC9-0BB3421C41C9","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":"Q5145367$B8E50869-FEB9-4534-A326-661186B409A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"743002ae1184fd63c41c0580ef9de893071c9653","datavalue":{"value":"W2964121680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145367$7DD284AC-C266-4061-B450-1AD670D8E5D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccc45498fcc1bdca35cb97d04eaa4ebed81ef68","datavalue":{"value":{"amount":"+0.8693425059318542","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":"Q5145367$42617241-9EDE-4AA1-8EA4-0BDAE94B4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c04daf50d152f019affb8312f2ad175ff77b88f","datavalue":{"value":{"amount":"+0.8397632837295532","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":"Q5145367$CC9F8B11-7582-42B4-981B-8EE815DB857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c9b4e47b945e8831f4bae2b9851d4dcf58d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5145323,"id":"Q5145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50acf31f98a05aed27214eb32cecd925d1f5ad35","datavalue":{"value":{"amount":"+0.8234551548957825","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":"Q5145367$6901A2E2-A38D-40A7-ABD9-00845AE984CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362327958411638df37dd07f0ae975e373c355ee","datavalue":{"value":{"amount":"+0.8066736459732056","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":"Q5145367$7BC3612A-91A2-4640-B6A2-34943B89441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e691b540aff59dddc761b99e49777d978e5ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671ede90530edd7526483823bf1d858980ad6e4f","datavalue":{"value":{"amount":"+0.7893694639205933","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":"Q5145367$89C6EAC0-1938-435F-AE52-E902BC0669A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145367"}}}}}