{"entities":{"Q5049004":{"pageid":7078581,"ns":120,"title":"Item:Q5049004","lastrevid":40874737,"modified":"2025-04-12T05:35:50Z","type":"item","id":"Q5049004","labels":{"en":{"language":"en","value":"Formalization of Forcing in Isabelle/ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614672"}},"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":"Q5049004$FFD78B74-399E-4F3F-BC56-C5AB71BB8F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f680ffa51bc31657066a25aa6ea94af95000e6df","datavalue":{"value":{"text":"Formalization of Forcing in Isabelle/ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049004$D02C1DC4-02EE-45C8-984C-3DBA466BE4E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f92b1203da3476e5267b3433a29d606cb10e3cf","datavalue":{"value":"10.1007/978-3-030-51054-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049004$3B7510DF-D767-4DFB-93C4-04C2240036C9","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":"Q5049004$23C99480-4F41-4BAF-8505-EA1CF2E53C56","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":"Q5049004$79880CB2-C333-4204-ACFD-44424424E2AD","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":"Q5049004$BF9BC6C7-9015-4914-B147-3CB813640725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$2824196D-B601-41CF-A81E-D461F4FC0D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049004$A4ED7647-E721-4097-9368-B46DFEFE38D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60861e3b869140c38b21b59f153a212fb87b3e6c","datavalue":{"value":"https://arxiv.org/abs/2001.09715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049004$9A6F962C-F1D1-4749-A17E-C5A397DF3738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049004$EA808FAD-76D6-4FA8-9665-1B27FBF696E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0390eadec38e89d6031fb1ea555371874bb1a0c0","datavalue":{"value":"7614672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049004$D5626649-0578-46AC-AD46-B3A7004C3BFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$041CA1C9-677A-4320-BC2C-A8997B57044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716c4b637014218c75203d204b1885f1646f0224","datavalue":{"value":"Isabelle/ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$439CAD6E-7247-499E-B012-165CE12FF59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a64cc230017734553373c8ac2d498d670f6a05","datavalue":{"value":"countable transitive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$78D973EE-1840-4DEF-A58C-44B79025502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cec7c0388f75bec51a46458ebcdffe4d835567b5","datavalue":{"value":"absoluteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$43506F1F-7157-49DF-8447-D2613FC4D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$C66CC4D4-84E3-4EF3-8E74-73D6255A85E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049004$FAE1F0F8-D90C-4924-A792-06A1F8E8290B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$6591AD7A-B176-4235-849A-E409726D716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$33B9EE25-550D-43D0-8E02-952D8093149B","rank":"normal"},{"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":"Q5049004$EA7D1DA5-290F-4290-BF1A-C078984B56C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$4D4ACE67-FF2F-4202-8E8B-17EFBB40F77D","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":"Q5049004$85931F19-B947-421D-894A-7BD5449FE464","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9fbb1bd3a973e4dc777ba6e2c85c690f4ad52db","datavalue":{"value":"W3037999932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049004$EB9A1BA3-D2B2-40A9-952F-AC06450D592E","rank":"normal"}],"P223":[{"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":"Q5049004$B9E87C65-5D0B-4218-B732-6EC02C2008BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5bf133f24682eadb30cba47d623064046c8dc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2333671,"id":"Q2333671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$490C21FF-6F12-438A-B718-AD4D12DC6580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5f63a9a35b8899e3cd99b40329ad4c5d24a55c","datavalue":{"value":{"entity-type":"item","numeric-id":5875427,"id":"Q5875427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$6D403541-5B1B-425D-81A4-FEB6C08E6032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$723057B0-6AC7-42C4-97D5-241B3820E4BF","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":"Q5049004$65F5A8E7-C904-4DAE-A062-A22EB21D99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$FD1D339D-6841-4EAA-9060-78D7F06D5F2F","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":"Q5049004$2F5931AB-9DA9-45FB-A2C7-6BC3AED2DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$70323134-193B-4F74-98C7-0BAD7B5B822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$FD5575DA-94A7-48AA-B6BF-3E25C88CB89C","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":"Q5049004$F7DB20BD-6443-42E3-B3CF-AC13674EF4E0","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":"Q5049004$99879BD3-623B-4E79-B9E5-353B40DDE775","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":"Q5049004$F2F8308D-770F-46A7-904E-C1CC301684B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049004$B6487858-ADE0-4C88-8BC8-7FFD1F694D25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049004"}}}}}