{"entities":{"Q3726114":{"pageid":5756020,"ns":120,"title":"Item:Q3726114","lastrevid":55855207,"modified":"2026-02-20T13:25:33Z","type":"item","id":"Q3726114","labels":{"en":{"language":"en","value":"Forcing in intuitionistic systems without power-set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957100"}},"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":"Q3726114$34AECFFE-2A6A-4E84-A067-EE3CB92D559D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d372a2d0a1932ce479dd74920c37725925939bed","datavalue":{"value":{"text":"Forcing in intuitionistic systems without power-set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3726114$D3FCBA65-168E-4698-98F8-C3043D29E7F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66aac60b80473179c4872b44728080d8beb1e9f1","datavalue":{"value":"0595.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$AF2F2286-D4F9-44C8-9483-825B13E01AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35013f24a10f837558746bf6791cb4dca10812a4","datavalue":{"value":"10.2307/2273459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$FA82E4B5-25D3-436B-B1E8-E9D7E7B987E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabf43463a7fd114a61edf0f79f576d00a16b770","datavalue":{"value":{"entity-type":"item","numeric-id":3322098,"id":"Q3322098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$3B8936FD-4F80-4C19-A89B-99FE25E9D49C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$5E16BD36-6BFC-4C7C-805E-4935788D25CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3726114$E42D1456-1CAA-4C7D-8C21-26865E044F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$B06395D1-DE4A-40D1-B569-2967136B7B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$26A53FD7-E9B6-4049-8EBE-83FFE9EEE4E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b885c61ad76a788d5c46853bc8cdc0cbdf076c97","datavalue":{"value":"3957100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$D455CA51-FB9B-449E-B955-8150D53A2028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e20270b72cd1afa9cfa0b2b16cf21d24e7473b","datavalue":{"value":"power sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$64683648-E3E2-477A-887B-DC4E5DB10C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a493c8cfa0ee9037b585821b27df0e2c288f0a","datavalue":{"value":"exponents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$8B586617-6E42-40FF-BA0C-440FE6C6FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07950cfad31c19011ab8a56f508a722cce69ce75","datavalue":{"value":"constructive higher order logic and set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$178F39E1-D39C-42D8-99BC-3F793325CAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd60327caa3383391a16e9cd9d397ba953e4e05","datavalue":{"value":"covering family","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$C5D8DE06-9300-4848-81B9-D97EB9680991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e12b9a066e2b2669caccce48714b1b759f787b7f","datavalue":{"value":"interpretation of the first order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$30CAE3C0-93B2-4B45-BD69-7DAE9F398DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4640f807ea60cbf00e8a925589252bf621de80","datavalue":{"value":"complete set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726114$C18A4889-EF24-4765-A06E-8331A360FCA8","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":"Q3726114$8D4B4F57-3227-4A65-9D9D-A8B20075F828","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b497cf352bcba448f9771b56d89638879ebe4df","datavalue":{"value":"https://doi.org/10.2307/2273459","type":"string"},"datatype":"url"},"type":"statement","id":"Q3726114$7442038E-7E28-4159-A807-5E2348498DD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dda2d612e29fd4ef087aaed99c08b67d43ca6253","datavalue":{"value":"W2058730231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726114$DE69017D-458C-435C-9F8F-418D9EFFECB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$4DDF6968-2E6E-4FED-92A2-135BBA583BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$411E4D38-B21D-405F-AD20-2657E0B4AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$94A61F10-5B0D-4659-8722-1A7D2ED1021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726114$D1076F96-BB81-4BB7-9BAF-155300BA4FC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0911deb8dfc220c1fa072f54145e697e3dc2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e9a9851b28c235761e33cf0aafce7705f5f79b","datavalue":{"value":{"amount":"+0.7153064608573914","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":"Q3726114$C0B9855E-3E71-4E69-BE06-0981D38CF68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da70d6fcc7fbdc8462b0c7707166d59fc3ed266","datavalue":{"value":{"entity-type":"item","numeric-id":4704657,"id":"Q4704657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028df512cff483337c187bcdffdb804991744d19","datavalue":{"value":{"amount":"+0.7146151065826416","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":"Q3726114$726A17B0-E583-47C7-BDEF-7147402FBB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5c8c1fe1ebdc7610b001bcc2e796829a70067","datavalue":{"value":{"entity-type":"item","numeric-id":4894722,"id":"Q4894722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b3ca2c3bf3d585595f09b688bbf5b7d7452fa5","datavalue":{"value":{"amount":"+0.7067328095436096","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":"Q3726114$4CB858C3-9D30-4CCB-850F-D772B8E7A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7713f1de1a58a39292e712074598b6652b9206","datavalue":{"value":{"entity-type":"item","numeric-id":4527918,"id":"Q4527918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b3ca2c3bf3d585595f09b688bbf5b7d7452fa5","datavalue":{"value":{"amount":"+0.7067328095436096","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":"Q3726114$DFEF916F-ECD5-4836-A30C-99130FE554E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3726114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3726114"}}}}}