{"entities":{"Q688725":{"pageid":690574,"ns":120,"title":"Item:Q688725","lastrevid":63634491,"modified":"2026-04-11T14:30:08Z","type":"item","id":"Q688725","labels":{"en":{"language":"en","value":"The paradox of trees in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438464"}},"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":"Q688725$70BA437C-ED7A-4260-993A-69A94B457B51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce8272a2c9b7c94819a41ef9470b8c0c97f5360c","datavalue":{"value":{"text":"The paradox of trees in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688725$6D2073D1-E90B-45FB-936E-7C08ACB3EA70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a237e829a396376053f741bafbb278ee96c9d224","datavalue":{"value":"0787.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688725$41767B8F-8516-4516-9D3C-EBA1A207DDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83746d57af1f8bbde8090bc3fb5a509214f2f4d0","datavalue":{"value":"10.1007/BF01995104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688725$390557E6-EB6E-4D86-B96C-334E8BC2D0E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688725$913249EC-8AC1-4DCD-B62E-1665156AAB7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688725$2E16808A-10C9-455C-BC6B-A91A37880B0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a56fa44f05f9c865c2049cda281119f7946a004","datavalue":{"value":{"time":"+1993-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688725$A67FCE89-C930-4036-AA5E-B19A175B3CE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688725$92041769-0198-4B6C-95FE-577505FA6649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"472f6700d10d0b9c9b596cccf985d74374d1c9ab","datavalue":{"value":"438464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688725$CE414BE1-CCC2-4993-B3A0-B7E0B2F62073","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0158e8972d9977079003b7c77d5a29192ae13f0","datavalue":{"value":"paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q688725$5E41A44A-66ED-47F2-9AA3-6345CE796070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6a098a5c056777de4f070557a780c025a854df","datavalue":{"value":"type theory with \\(W\\)-types and a type of all types","type":"string"},"datatype":"string"},"type":"statement","id":"Q688725$1B532ECF-97C6-44FF-98A4-5CB60BF778B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q688725$DABDCEB8-5634-41A0-8C75-14C9C3837B5D","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":"Q688725$891AF4A3-245B-4A49-B4CA-7EF3434E4856","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd18b7ebbad26d45014287bed107f43325c0e66","datavalue":{"value":{"entity-type":"item","numeric-id":3985097,"id":"Q3985097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688725$73931504-2197-4F07-8636-E047F933BDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688725$C2047105-985E-4226-AB51-CB328AA661E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688725$5C686A5A-9253-4EB5-AFFE-FA79387976D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4086028ce12c888ded6c91a09820411d0f1685ca","datavalue":{"value":{"entity-type":"item","numeric-id":1204111,"id":"Q1204111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17cb1a9d5a7ae3facda63758c60b75b7b7abb5b","datavalue":{"value":{"amount":"+0.7929945588111877","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":"Q688725$34BF1871-4FE7-49DA-80BF-AC5BE40A4127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1265517539030e1ff254b1583ca26ef687c1b9cc","datavalue":{"value":{"amount":"+0.792194664478302","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":"Q688725$A499942B-BA89-444F-8823-FD117330A42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee3cff1fc6ec74dfeef40448ee214591f4deb84","datavalue":{"value":{"entity-type":"item","numeric-id":3024841,"id":"Q3024841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac783acdad0b2801bc87c7b6820e41507dda2b8","datavalue":{"value":{"amount":"+0.7358074188232422","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":"Q688725$CB25BA1C-4052-4CAD-8F91-1AC07CE33CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bcb9fcff6e5c863181081abdeb8d612a994e9e","datavalue":{"value":{"entity-type":"item","numeric-id":914668,"id":"Q914668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9652c0998587623f4821c8c6c3003f08b00006","datavalue":{"value":{"amount":"+0.734600841999054","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":"Q688725$79D35FD7-2900-4532-B4D5-05D21513B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef02c4464ce96fa86ff5e42b80c0b6bbface31cd","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8849b857c24a1b58b42cd436ea9f585c09e30d","datavalue":{"value":{"amount":"+0.731889009475708","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":"Q688725$596C6ECC-6D98-49F5-9B59-9400A66D6BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The paradox of trees in type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_paradox_of_trees_in_type_theory"}}}}}