{"entities":{"Q3065010":{"pageid":3075726,"ns":120,"title":"Item:Q3065010","lastrevid":51155648,"modified":"2026-01-16T23:33:15Z","type":"item","id":"Q3065010","labels":{"en":{"language":"en","value":"A note on forcing and type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5831887"}},"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":"Q3065010$96314E1D-8F2A-4199-A067-A1D5C9796447","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bb5736268105a73b2ee3a6e0bb8fb4f12a71ac1","datavalue":{"value":{"text":"A Note on Forcing and Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3065010$09BB0AB3-7750-4BEB-881D-298D3CE53CBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5634ff118a6b682247a0fa52d71713bb730aa17d","datavalue":{"value":"1239.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$E9C11C69-FF25-4C54-B02C-0C9A07F288FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3cfa5389973dd0bb873215b38c3bdf5a804fef5","datavalue":{"value":"10.3233/FI-2010-262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$989A3605-86B6-471C-A6E8-9FC4C535B5F4","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":"Q3065010$891B1570-D002-46D7-A38E-418EAFAB5105","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":"Q3065010$CFE2919B-62CD-485C-8FB5-3437B17A71B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3065010$BF967AFD-4591-4023-939F-73FF16983212","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c2d3c72cfe71d37d0ec412655d40e813991301a","datavalue":{"value":{"time":"+2011-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3065010$247282BD-4F82-4C72-9743-CF29FD5F39A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$D2754F38-6AF6-4D96-9737-093F17A0CD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$023286E4-736A-4E04-A4EF-4A2F5635236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$3A514DD8-80F7-4725-BA35-D1F788D43422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88046dad543e941d1b61506989661766914cb52d","datavalue":{"value":"5831887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3065010$B9AA5D7F-2FE1-43A0-A26A-0FB6AF648334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065010$73F2B603-7457-4AC0-AD71-DD52E1DD2875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065010$F43F9A5A-DAFE-4FF8-96A7-CB4CCB2652DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cafe2030157cb175c26e27ccb71d536c94a33aaf","datavalue":{"value":"intuitionistic type theory, dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065010$A3E055EC-EBA7-4E19-B2E3-CBC59531E938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065010$2B21825E-B5C5-499B-A02E-346E69F60698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3065010$B8711997-2AB5-4FD9-93EC-945DE1CC7C89","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":"Q3065010$5F12BDF3-410A-4DC0-B35E-559E4672CEF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ae5b64b5cb783f35831634a9381a944e7d1697","datavalue":{"value":{"entity-type":"item","numeric-id":5253929,"id":"Q5253929"},"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":"Q3065010$ADF4069A-85A4-417D-886A-D40D244ADE48","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":"a02b0e8efd8c280276e242a2252b84b62ecbd93f","datavalue":{"value":{"amount":"+0.8066712617874146","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":"Q3065010$C7528A50-A4F0-4C79-9FC7-4FD6FFF4C314","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":"5fe986106bcb72c1f6df92e92d1ec07b00f60a07","datavalue":{"value":{"amount":"+0.7634941935539246","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":"Q3065010$E7E513E8-C9D2-4EB6-8353-371127D1E58A","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":"5ae5176e09040ba67f079fc1056e7e1a8bda4829","datavalue":{"value":{"amount":"+0.7495607733726501","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":"Q3065010$91EC5D33-84FA-4BFD-825A-40C0F188B491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a1078123755d670f9603d32fe70f9482c75576","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0221fc348effda9716e8e1cb0471e711d77457cb","datavalue":{"value":{"amount":"+0.7390725016593933","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":"Q3065010$9E3923DE-B294-4E55-9952-8B38DFDC4D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3065010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3065010"}}}}}