{"entities":{"Q6654472":{"pageid":14265629,"ns":120,"title":"Item:Q6654472","lastrevid":55813636,"modified":"2026-02-17T23:15:16Z","type":"item","id":"Q6654472","labels":{"en":{"language":"en","value":"Path spaces of higher inductive types in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959679"}},"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":"Q6654472$950D12FC-27FF-4CCB-A5A0-66FB4DD92889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64101f98e09a0ae3ae44441d3ff188679967628","datavalue":{"value":{"text":"Path spaces of higher inductive types in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654472$368B22CA-67DD-413C-BC41-9E49B4674EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b328b1b724949ebd3e1b18311ea279ada671873e","datavalue":{"value":"10.5555/3470152.3470159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$92DEF279-BBE7-477F-A222-F9E149036BE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654472$08F8D2E2-AD25-4E40-BE13-9F02792203C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed91f18c49a16f542aacf01077ba8073712fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1687768,"id":"Q1687768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654472$78295367-9956-4AA3-9FBD-C787708793D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654472$9FD82926-9B20-42DA-AC3D-EC97B769C19B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$35D2BA5D-C624-455E-B045-9888797B3159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$E3A171FD-1320-41D4-8B01-4CD4D6E7DBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$57A4526E-1AFA-4246-8A77-9F620887D107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$749EFFC2-6FA0-427D-9959-F2589A5328C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44c371b886c1a5ff013dc61493cecaa52c09f875","datavalue":{"value":"7959679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654472$1CDDDC60-384A-41DE-869C-0C252FB43625","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":"Q6654472$EF7D4046-6854-4921-9D8E-991682D39A04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acf841d26e9ea58aed4646059df1014d3f65d19","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c2b7a1476184b1d30ae6d096fc75233ae9cb95","datavalue":{"value":{"amount":"+0.785218358039856","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":"Q6654472$E7A9E34D-7F64-49BC-BC9F-58715038AD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00569249ce842f3fc26a234598fd808f2224e396","datavalue":{"value":{"entity-type":"item","numeric-id":5278408,"id":"Q5278408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bd8ab6d2a6e3a04a0e16d4cc263e2b7acceb91","datavalue":{"value":{"amount":"+0.7563221454620361","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":"Q6654472$7A2D2077-1362-44E5-8CF3-F7F4046D79F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611ae37cd77e81d821a59e1af5afe2303c597fc","datavalue":{"value":{"entity-type":"item","numeric-id":1687770,"id":"Q1687770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad312eb6aa8f489b687f26c3db7cf1200bb307d4","datavalue":{"value":{"amount":"+0.742656946182251","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":"Q6654472$4082DB73-3C0E-4AB6-8B5E-55596F730E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f90e95ae8fe8402c104eb37cbbc779f4f50ff60","datavalue":{"value":{"entity-type":"item","numeric-id":5278189,"id":"Q5278189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf518e6afa7f34a6c6873bd44c17091c75efd1b5","datavalue":{"value":{"amount":"+0.7397564649581909","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":"Q6654472$4F107032-05B0-4343-8531-17ECCCAC4DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eceaac39afb5b5bf6071ca0d9d41e6a0697cba8e","datavalue":{"value":{"entity-type":"item","numeric-id":2986785,"id":"Q2986785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eba43c4d1c19a6ccd9907c5498c57ae50d49ed8","datavalue":{"value":{"amount":"+0.7353284358978271","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":"Q6654472$42F75FCC-280A-4DA3-9B58-5AE8076201BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654472"}}}}}