{"entities":{"Q5277974":{"pageid":7307549,"ns":120,"title":"Item:Q5277974","lastrevid":92161175,"modified":"2026-06-05T01:01:27Z","type":"item","id":"Q5277974","labels":{"en":{"language":"en","value":"The general universal property of the propositional truncation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744288"}},"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":"Q5277974$A9EB2F83-AF41-4898-89A1-E634C2034722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"998f91cdf44942f4c515f01804a44fab96cee351","datavalue":{"value":"1434.03150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$7E15FB1F-8256-4A3B-997C-6E227C7B7325","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":"Q5277974$DFCBB9F7-1BC5-4C10-BC50-51FC9513F296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277974$EC467C08-F5A9-421B-8ECD-52E3ED3C493B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eb07cf7d022d459059281a72f32985359751a79","datavalue":{"value":"https://arxiv.org/abs/1411.2682","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277974$FD63AEB4-52BC-4926-A8EF-1C6A7ED039A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$B11BD702-A6F1-4AC1-8C3B-F27EF39C14A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$85820760-B790-463B-B5FE-0F0EF6B953F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$5CE504BE-8195-4788-8448-FFEB465E9ADA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f68238a2a1c6b027c5fd5805b93c89270c26aa6c","datavalue":{"value":"6744288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$D5F1DD31-D131-45F2-8C1E-DF6900173822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3e07d04737088833026aeaa29ce1233c0657ba","datavalue":{"value":"coherence conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277974$75E49753-E189-4968-AAA5-26071F343F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba2136b4a455a5da1a8185b5559136744a75a6c","datavalue":{"value":"propositional truncation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277974$738935F9-16E0-40FB-B57D-3917B4802045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"131d8686870002d551e61c8a07945d2784c4bbae","datavalue":{"value":"Reedy limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277974$4069FAA6-52BE-4210-B95C-7F2CAA6A9CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90df594a2608f1c2559ed5546db17de9cec69d9","datavalue":{"value":"universal property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277974$F419F805-9F16-450A-AC54-98196139B0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2dcaae775aaf9ed6ba6817b62cc1e1a189491f0","datavalue":{"value":"well-behaved constancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277974$8780529B-11E1-465F-A504-5133581EFEF3","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":"Q5277974$8EA280CC-C07F-46E2-916B-E8D4B48C4B09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b761e311fc4b191305ae48535dac68cee880345","datavalue":{"value":"10.4230/LIPICS.TYPES.2014.111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277974$E50732BB-7D54-4640-A175-2CD7B526BFA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b91fefa22a190b1184ff9d7b60e82b557a389e9","datavalue":{"value":{"entity-type":"item","numeric-id":5351968,"id":"Q5351968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2b9aa9666c5ab61f358aace8c0217529312363","datavalue":{"value":{"amount":"+0.75284743309021","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":"Q5277974$13F9F38A-0159-441E-81D7-F1C05EC19678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94984346d9b1f2e5180ed0b503527a817f9d4771","datavalue":{"value":{"amount":"+0.6751049160957336","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":"Q5277974$64536FE4-03AE-45B8-BA5B-2A0F19EF9889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40128ae02f3139cea7e9c0e92b048dc1f467b01a","datavalue":{"value":{"entity-type":"item","numeric-id":4635920,"id":"Q4635920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16deb6c053ad73b15733f3ee77a92b1da7f33d91","datavalue":{"value":{"amount":"+0.6674303412437439","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":"Q5277974$9DEAB5E6-CC82-46D5-9FBB-F49E66A3D1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03cdfb400b819a8f34af382fa6e1e0f0778dd69","datavalue":{"value":{"entity-type":"item","numeric-id":1987219,"id":"Q1987219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519118f3b251bbbe702d2f93384f08b56171a39c","datavalue":{"value":{"amount":"+0.6626068949699402","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":"Q5277974$51CE1167-774D-4013-8554-C4D4BB3BE10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a42b478ce3b79ea5fc5be5cf0b55cb50e8490","datavalue":{"value":{"entity-type":"item","numeric-id":2957700,"id":"Q2957700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c2fe169ac3925a039502032a1e9b2cfddf85b3","datavalue":{"value":{"amount":"+0.6563805341720581","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":"Q5277974$BC2BB514-ED8B-4640-8A4D-BD17179C601E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The general universal property of the propositional truncation","badges":[]}}}}}