{"entities":{"Q5253929":{"pageid":7283497,"ns":120,"title":"Item:Q5253929","lastrevid":52275776,"modified":"2026-01-21T08:18:36Z","type":"item","id":"Q5253929","labels":{"en":{"language":"en","value":"A computational interpretation of forcing in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6443424"}},"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":"Q5253929$B792E50E-BCE6-465F-95BF-748E2635A510","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75448918fe8eb040b19b81db8a8bb41cc7eb57f9","datavalue":{"value":{"text":"A Computational Interpretation of Forcing in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5253929$46D6AEDF-6D93-4F84-BD21-AA21A12B258E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b8cf85107899152ca40f56529644d544485352e","datavalue":{"value":"1312.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$41269570-7C75-4AA5-B546-B17F3DDE07B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbc59211b9ec199be4fe29d52ff2e4bbd65e5dd","datavalue":{"value":"10.1007/978-94-007-4435-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$89993165-A114-4646-B336-730DFEC22B74","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":"Q5253929$B5B0F3A9-D78F-49BA-809D-632F0A011AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$6CB5CE64-7D67-4F3A-A0D4-0D0DDD322EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2405f57cb954de9306e5c2dcba02fe8e816b9126","datavalue":{"value":{"entity-type":"item","numeric-id":5253920,"id":"Q5253920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$38528BD1-D421-4003-AE3A-067382BB9FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c176087e456b486d26961b0d7afafd57333d8e76","datavalue":{"value":{"time":"+2015-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5253929$CE4943B7-AFC9-48EC-9A7B-BF7919FEA462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"998805301815eab1f762d245f1904f19cd9c1075","datavalue":{"value":"https://halshs.archives-ouvertes.fr/halshs-00775352/file/KantAndRealNumbers-separatum.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5253929$086ED924-4391-45C6-8E17-30C88FEC54C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$A6852018-0E12-4089-A28B-A9FB9A3357D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$E7B45589-2226-4CD8-B878-F5F10CB372B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$D07E1A4C-8C42-46FD-8D72-C464197BF00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$72352ABC-071E-4459-B722-4C3C4361B9ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b460ca3de145750eb08b9cdd61af48a45d7d4cb","datavalue":{"value":"6443424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$DA095006-C163-490C-8DF5-60915DD89690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5253929$FE29D80E-EFC2-42F3-8785-A07B4E7E2544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e61bc408932c058348e16cb76737b6a9d1febf0d","datavalue":{"value":"computational interpretation of forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5253929$0B05160F-6D60-4402-94CF-62B03797B377","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":"Q5253929$8AB832AC-86FB-4A2C-9EDF-1E3E676644A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c5c0ab9390184455839ab00a5ed942249c9f673","datavalue":{"value":"W139012711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253929$21DB4181-FBF1-4F6B-9317-A58003C50F27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c032a0999a4d84d7a90b52b2c1615d79ce059e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$606530A9-9033-4C32-8351-43B4BE120887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$B68EBA44-3EF9-4B80-BE53-3847D684C1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f6a6893359ffbe91108962b27d4ad64b47707","datavalue":{"value":{"entity-type":"item","numeric-id":5604461,"id":"Q5604461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$014F46FC-C5A0-41D2-A775-A8CF5D409C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5af66d6ab040f522be78dfb2c1e202c016bda8d","datavalue":{"value":{"entity-type":"item","numeric-id":1414982,"id":"Q1414982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$25A86A28-B3A0-4E92-8364-4ED8A3876FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afc8fd7b4f2ac2ed8fe082c8cb6295a646ffff9","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$EF531C61-B758-40B9-BFE8-20BEE7A62E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580eb0e97c0840b142da1961ae82245c675f05c1","datavalue":{"value":{"entity-type":"item","numeric-id":1139043,"id":"Q1139043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$493BE48C-951D-4A38-91DD-EDC1C4B4085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$5675D6F4-9F79-4261-9C76-E089DCCF3A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dce76ee25c91750fc4facff390b915fd7015c35","datavalue":{"value":{"entity-type":"item","numeric-id":4218119,"id":"Q4218119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$71E40ED0-21EE-439B-A7F8-70BEAD646AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253929$4925089C-40B9-4A5C-BF60-B69274D5F45C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e91d888b20b1350fd2708476d5e3c86802fc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b626ba6096b4a55eb31af9875fde02e7f54636c","datavalue":{"value":{"amount":"+0.8761007785797119","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":"Q5253929$9A87238F-5FD7-4D2B-8731-1F8B27766165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a622eb97b0fbb091c3d81562e3fd66f3426336","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719a9466ffc6bdd55254b14b3819d4ba490b3e1d","datavalue":{"value":{"amount":"+0.7845712900161743","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":"Q5253929$C47C97F2-742A-4B6D-8A90-1A316968F27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d7b574c424b6743e9400f8e41c5ebf71d51db","datavalue":{"value":{"entity-type":"item","numeric-id":5300905,"id":"Q5300905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ae519ffe371bd0e6f7efaff429351eae620d33","datavalue":{"value":{"amount":"+0.7623037695884705","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":"Q5253929$74895B91-3860-42AE-83D9-69C3FFEDF18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2c89852dfb38de2253935d85fb077fe5fbae9","datavalue":{"value":{"entity-type":"item","numeric-id":2986815,"id":"Q2986815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b84b79136d94cb4c46b415340fb200629ac812","datavalue":{"value":{"amount":"+0.7618239521980286","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":"Q5253929$5F9C4961-4219-4C62-BCFE-2E03FEF215D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d35f3e6c719fc593f50449249454efac237c62","datavalue":{"value":{"entity-type":"item","numeric-id":4635893,"id":"Q4635893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2081cc72ba8273a841519273fa6bb36ba343bc","datavalue":{"value":{"amount":"+0.750278890132904","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":"Q5253929$1EEF6FDE-2D50-4345-8FFE-9D44A32D13E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5253929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5253929"}}}}}