{"entities":{"Q6544103":{"pageid":14155247,"ns":120,"title":"Item:Q6544103","lastrevid":55668511,"modified":"2026-02-17T20:43:00Z","type":"item","id":"Q6544103","labels":{"en":{"language":"en","value":"Division by two, in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853717"}},"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":"Q6544103$2BD57E4A-502B-4006-B1B5-68F86C067207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85b6c0366b290a5ade8fde6f4b5861c286843f0b","datavalue":{"value":{"text":"Division by two, in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544103$119BF803-C3BC-4F43-A65E-84727F949D76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d336d3892172faaa31e8a17f9e9ad8ba391d1df","datavalue":{"value":"1541.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$6C48150C-BCE3-4F6C-BCAE-437B8F170AD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544103$32C51384-C3E2-40B2-AA9A-BF42C3B85284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9e32931eecb6c835db755605d442f7a4870fb78","datavalue":{"value":{"entity-type":"item","numeric-id":6533424,"id":"Q6533424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544103$791854CC-4244-4DE9-B8B7-BD31159E7322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544103$9135950B-EB95-47E1-B87B-756BBA20DD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$C871599A-3049-47F0-999C-A7293775F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$D2006429-FFDB-428F-A7B8-0953EEB1361C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$7A9F639B-EC47-401C-987A-2E7C9CC611CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$32CA3E67-55A5-4D8C-8866-660AE8A0A95B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b632608f63671736194449122480e82a3dbf0b","datavalue":{"value":"7853717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$7F3C3B00-3DC1-4A44-8BD9-62FC520AE0D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335361f2d5472f7ca846e53db25ccb4027120f89","datavalue":{"value":"division","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544103$3349778F-F9C2-4290-911E-9343CBB6D1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544103$06026095-8F93-4EB3-9710-8E98CF87921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544103$70EA6B41-A391-4F2D-9BFE-0B6BA7E3F102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544103$298BDD49-A755-426E-A3BB-EB7DAE237258","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":"Q6544103$40F600ED-D336-42F0-9B54-5531E2072CD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"758a4f1d514636b2516204725a741520f959e948","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544103$0EF2B5D8-0948-47F1-A1AD-FABC76D3E322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc95a9db8503e1aedd8406828bf3b48bc83fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01c4cf81648576d9effbf70bb3283f43cc81b23","datavalue":{"value":{"amount":"+0.697719156742096","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":"Q6544103$301B0FB5-AB74-4634-9A9F-9AF8CDB84633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e518718e9c3a332c85307cad6876409e8cc52e0","datavalue":{"value":{"entity-type":"item","numeric-id":5145619,"id":"Q5145619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e07e4ec9a4c49b88da293ae2e7049ecacdf1d6","datavalue":{"value":{"amount":"+0.690755307674408","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":"Q6544103$7239FF78-8118-4C44-8B66-51A5CE676C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02283df95c0bdc182554c7f2b255a2d6e7490b3","datavalue":{"value":{"entity-type":"item","numeric-id":5089011,"id":"Q5089011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1bc41496e73dc97f262f1226f2e0a0bb0b7f30","datavalue":{"value":{"amount":"+0.682273805141449","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":"Q6544103$7FC7C755-F405-4134-9A96-9D945201808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a9e91db5969943d17a6593d9ecf53ff83fc291","datavalue":{"value":{"entity-type":"item","numeric-id":3582712,"id":"Q3582712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a82572de5093ea2a7f3b9e27373f0045c6f6a6d","datavalue":{"value":{"amount":"+0.6822689175605774","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":"Q6544103$348F6ED3-0DC4-43E4-A947-1AECF3B12D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd6a31033790feb804853ef802917b2dd1efe5","datavalue":{"value":{"entity-type":"item","numeric-id":4944857,"id":"Q4944857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e58c099f7db1f81cb0c22b849a62b131fc7563a","datavalue":{"value":{"amount":"+0.6710558533668518","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":"Q6544103$2FBEE17B-A605-47CE-9E6D-62A875A80A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544103"}}}}}