{"entities":{"Q4899111":{"pageid":6928690,"ns":120,"title":"Item:Q4899111","lastrevid":51625928,"modified":"2026-01-19T03:26:07Z","type":"item","id":"Q4899111","labels":{"en":{"language":"en","value":"Linear dependent types and relative completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122239"}},"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":"Q4899111$53BBD159-1665-4892-A014-A0A39FD9F829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"509f173f2d52fa9d61806c00a4eaa26a6c13c72e","datavalue":{"value":{"text":"Linear Dependent Types and Relative Completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899111$667735D3-4E9C-4C9B-9172-3854C6D3CB56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3230f1aa915709d1c7564e4a83128444f13248d9","datavalue":{"value":"1261.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$43399F80-2728-4E00-B842-8CEEA88E6548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b1d251157796bc6256d2ce3482ab69f6a92f652","datavalue":{"value":"10.2168/LMCS-8(4:11)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$476AE11D-D621-43A0-AAA2-4DA1BD5B78A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899111$7241D80D-E4FD-4D3B-82E7-44A43AAA25B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899111$5252E1AF-81E7-4FD7-91CC-6AEDB22014D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899111$47933DB4-8592-4290-959D-F2095625A5DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-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":"Q4899111$A1131F36-559C-44F6-BFB4-C5054D5CA71B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$D6E500AF-7AAC-46B7-84B8-055011E506DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$91AAC4C0-B53F-4736-9BCE-BB9EFE2EBE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$DD2FB3C2-2A29-4C6D-B973-270C2CD8B4C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d59f1ec58b1c0280ecf85dc8dc9fd3431424dc93","datavalue":{"value":"6122239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$B7B33B71-E610-4FE2-9B11-81764D04D5E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3b235a572024293dd8d24ca352c1013b454db8","datavalue":{"value":"resource consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899111$ACE1005E-E235-4F58-BA90-1E69B48BA1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899111$120CC8FB-0733-4E02-89DC-7B7ED980103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899111$78837E53-B87B-4777-A6E8-D3E21A5CEDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899111$562CF15E-6CDF-41B0-B3C3-AB18264C8DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899111$A60CB003-0856-401C-8CD0-FF693A864030","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":"Q4899111$4391A842-D824-43F8-8954-AB8F744C793E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc5388c1b8251deb8bd67fbd010439f5d63dbe2","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(4:11)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899111$76AEB5E3-440D-49FF-8891-F8728670554D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2466403e2b1ff770ed3cfe996d698f8ecbbf0298","datavalue":{"value":"W2095867533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899111$87E5DC39-DF50-457F-A9F7-9B21D1D1175C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00f8788cccb611caa614447bcd18a89289dd38c","datavalue":{"value":{"entity-type":"item","numeric-id":2441513,"id":"Q2441513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c9e66969e2b1636c933564be42b9a866deed6d","datavalue":{"value":{"amount":"+0.8579599261283875","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":"Q4899111$58F369E2-782B-4080-9119-945D76193C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39238720ff4f39d3855034f3da6482020c3e6af","datavalue":{"value":{"entity-type":"item","numeric-id":2346992,"id":"Q2346992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf12cc61f38ffef154ae6e5fc949feeaebebcb5","datavalue":{"value":{"amount":"+0.8081732988357544","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":"Q4899111$033A7A91-191F-47DD-8E49-0A61B203B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd83cdfa40450f607570c76ec9c8278d44d6b39","datavalue":{"value":{"entity-type":"item","numeric-id":556821,"id":"Q556821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958e117c2672080431a4518e4ac090523523f1e4","datavalue":{"value":{"amount":"+0.7357996106147766","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":"Q4899111$60CF6415-168B-43E6-9C7C-CB11A9D995D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a814fa50b420de47a39e568ca5af84ad9af0113","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1ac64a077078080072343293ab65817c0c6f0f","datavalue":{"value":{"amount":"+0.7352690100669861","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":"Q4899111$24585477-E58D-4BA7-B8DA-B32260FBA4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1e17c710c612b89641d55dcd9b983dbc0d7399","datavalue":{"value":{"entity-type":"item","numeric-id":2819785,"id":"Q2819785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bf34b463fd556263bac8827203aec87c1734f2","datavalue":{"value":{"amount":"+0.7282543182373047","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":"Q4899111$0F44A213-2456-494F-B7FD-446BF0244FC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899111"}}}}}