{"entities":{"Q2333671":{"pageid":2344414,"ns":120,"title":"Item:Q2333671","lastrevid":57854373,"modified":"2026-04-02T19:49:37Z","type":"item","id":"Q2333671","labels":{"en":{"language":"en","value":"First steps towards a formalization of forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129341"}},"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":"Q2333671$851F810E-DD7E-451A-95F4-B6C8006431F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fca7daba3f795c8e16245f2e53753cb6cdab343b","datavalue":{"value":{"text":"First steps towards a formalization of forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333671$C9734DAF-D708-4159-992B-FDD888802C91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c72564ce2cf913f388ee04d95c83a23cc7393641","datavalue":{"value":"1434.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$2748A96F-C644-4DB7-A1B7-F778E8DD83EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"352e58e2c56f4ce94f212d36f5b3e137785644f0","datavalue":{"value":{"entity-type":"item","numeric-id":2333320,"id":"Q2333320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$9E0A3DE8-EB3E-47B1-BBDB-C4C920AF397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09573ab70c9d986235750625015542077d5f5980","datavalue":{"value":{"entity-type":"item","numeric-id":1744421,"id":"Q1744421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$40CD8F1E-27F2-4F34-BB94-BE13BAAC77EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94fed2ec79d6708f1f566072f11e83579901c053","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$4A3ED945-07E9-48C7-A201-0D319B189114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333671$CD35E5D5-25E1-4B3B-9258-790EF5C2744B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05a3405591a91ffe60a0007c0b4db69095c5a9f8","datavalue":{"value":"https://arxiv.org/abs/1807.05174","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333671$DAE5F49E-6051-4746-8E79-31C5E0D2211F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$E397F871-A833-4F44-9672-A4BFFE08D6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$8D2A37DD-CE8C-4A8B-BAD2-D622086DBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$E53F0B6F-F644-409A-A839-13C2312DA394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d59c2c25104f2e0eb752f8c2eb19ae06b126c618","datavalue":{"value":"7129341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$D7369966-1544-4C65-94D6-555B06081F82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716c4b637014218c75203d204b1885f1646f0224","datavalue":{"value":"Isabelle/ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$90B0851C-19F0-403E-8D21-C5D4B86C3CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$7E8D7FDE-E301-4986-A21A-077197B0E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a37b386d748b4b140888546d0a8080eb2909c7","datavalue":{"value":"preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$64E14252-0853-4634-A920-9F014FA9D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02519616945d3aa19594e3b0fc500eba47800946","datavalue":{"value":"Rasiowa-Sikorski lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$9296BB65-5B25-4F32-9D3C-E708929E45BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527015b819629f50d5bdba50abd49fc7ff5c544a","datavalue":{"value":"names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$A86B0E24-8C4A-4AB7-82C6-1B12BDF2D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333671$9218EF4F-6E3D-4E8E-99A7-22037D57C6A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$4C99A2C8-7B91-41C1-A948-5732EC2C0BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$E2941A8A-2EAE-4124-9A9A-4FED4193CF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$8563F20F-5BC8-41B0-8EB0-CB7DEA0A17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$01BFD14E-C22D-45FA-9824-C21351F91055","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":"Q2333671$B11C9F38-7AC9-4705-816C-4299BDE008E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"074d1f4a917b5711e627e1147fccf539324ec827","datavalue":{"value":"W2969850793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$D287668C-9F00-40C3-ACA0-916D8F54942B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a3e5e6fb01f6655674570abb90e087d9511d435","datavalue":{"value":"Q113317457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$4ACFEF6B-B81F-4433-AEC2-647B8183CE86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$D531E7FC-4CFF-4629-9302-58B1863EA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58408ebe2fe345e1f57abaff5f1bf53e4bceefb3","datavalue":{"value":{"entity-type":"item","numeric-id":2879247,"id":"Q2879247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$3F95FCEE-735B-4886-89CA-DA187A42753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$D066DC32-F8CE-4030-87F0-D4A949D209E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$E720077A-2F81-4B20-9BF3-F5D49D1FC0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$3B0A88D0-4D27-4FDF-A363-7BBC5264D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$4CEED235-40F2-490D-AF31-3B2E6E92B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$F7B0987B-1EE9-4748-ADD1-B3753D03805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27fd0652aa615adddf9fa61717d2cab486e8f31","datavalue":{"value":{"entity-type":"item","numeric-id":4286718,"id":"Q4286718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$24EEFBBC-66B2-4EEE-AA06-242E63DC2F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$F60B9159-0550-4365-B5A5-87CB51541F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$41AC704C-64C8-4267-810A-87DA84B18324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$C8A3BA02-2CA7-4AAB-BF45-432853ED7683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$D2C033F5-9610-4CB4-BECC-DFA4CA5A49CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376391ab6b394f7893094fcbfc13d81f395664f","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$0B1719BA-6C07-40AA-91EB-EED6F7114568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae36cf3ec702071748ee3693c68abe49d3bcf5f","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$495AFA76-6D1F-406F-AF0E-AB83E2CDFD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$63EC48D7-F616-43B0-BAAA-A7374B1908A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81087b834bd0f0342fd52d99726619dd5c97caec","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$788440EA-2CA2-4775-8346-7E7EE086EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bcd33943731bfa2ecd0fbea7c90d9866badb75","datavalue":{"value":{"entity-type":"item","numeric-id":1819255,"id":"Q1819255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333671$BFFB5E8F-B302-413D-9C59-5CD0FADBD2C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13fec2dfe7a287ba1051a8a9f927d8a2db807a3c","datavalue":{"value":"10.1016/J.ENTCS.2019.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333671$CB03E938-1A4E-4944-B642-FDB9FEA58D94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6af8e1f20d2f15d99218c5e456caf23f050fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a57f1df4cf170f72c17d95b18f59b0c9af5ee15","datavalue":{"value":{"amount":"+0.7813093662261963","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":"Q2333671$90171414-CBD2-4DFA-88DD-4663B49B96B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626702b8fd35a0a6cac6a0f60eb770e12e0f5e49","datavalue":{"value":{"entity-type":"item","numeric-id":2209009,"id":"Q2209009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914b48db411c8a61cec8d8d8d52d9a1e9814b748","datavalue":{"value":{"amount":"+0.7660641074180603","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":"Q2333671$FA4F32F0-0F61-4AFD-B92E-6C50EA5918D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64430f2f2bf07ae789d0daa263a5ae4a6c7776cb","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a01c097b8c487c84518cf21ec46e7383b0c85e","datavalue":{"value":{"amount":"+0.7629266977310181","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":"Q2333671$26E9668B-E176-4D44-97AF-036CC4878C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1728eef47089bd9bad665e36ca728cc73b33a77f","datavalue":{"value":{"entity-type":"item","numeric-id":1414982,"id":"Q1414982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8e802a4903355ab26b81ecbba337a434c0d1e6","datavalue":{"value":{"amount":"+0.7579519748687744","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":"Q2333671$3EABABB4-0302-4F0D-B330-C220D859E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4107fe284d2692d37a43263cb46c4a4e02f45a2","datavalue":{"value":{"entity-type":"item","numeric-id":3620813,"id":"Q3620813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef5a1d04f817d8796a877a3c77d20e7bb0e22e8","datavalue":{"value":{"amount":"+0.7517951726913452","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":"Q2333671$B8D9DDC1-F20B-40E5-A436-AC5768CB303C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2333671"}}}}}