{"entities":{"Q1938396":{"pageid":1949138,"ns":120,"title":"Item:Q1938396","lastrevid":51648977,"modified":"2026-01-19T06:20:36Z","type":"item","id":"Q1938396","labels":{"en":{"language":"en","value":"Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6134293"}},"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":"Q1938396$23A6C435-058A-4FC2-8CAA-272B6D981187","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c19edb26a6b3654b5f366e689c60ba8be933daa1","datavalue":{"value":{"text":"Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1938396$3CEC6B32-FF5A-4B41-A0D3-706B481329FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d497a9272bd0112445edc87ab27d8021dcc01b4f","datavalue":{"value":"1270.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$98330569-C8A7-4979-9F98-38188A1C280F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"261437bfa7bbb2f01161df74112f6246ec3fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1634516,"id":"Q1634516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$2BA315D6-8DF9-442A-AD6F-24AB9198B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$6E328466-3D99-4E67-8B0C-9FCEFFAF70CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$7D02FAB7-70C7-45F6-9E23-E58834435C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3303370592b590ea2daf77b34dbd2db9a539c4a2","datavalue":{"value":{"time":"+2013-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1938396$C9CB6A2E-10DB-4F10-B52C-23E2741EDC96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$0D8A9CF9-9169-4BD7-88A5-2191196DF89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$9312F46C-D97A-4643-9F97-4ED1296CA988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$934E634F-CACC-422D-B20D-CAA6BB2498B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$461B8C7F-269D-44A7-8DAC-A72BC050DFBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78341b364cf6ba4cb2958e7fe8dce967401fe6d5","datavalue":{"value":"6134293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$DD8DCB64-6FB4-4F3C-8B9C-AFC82E31EE37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938396$55556492-5C4D-4E4F-ACB9-8EF04CA85EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404db4bd7d4be9536441144aaf534940d1cad0d6","datavalue":{"value":"Lifschitz realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938396$18C12098-9BEE-42B6-A6F0-2B2FC47070D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938396$7A721319-97F8-4C5A-A844-8F237EA0B82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b0e7cde67f843ecdfbcdc40dc995878dd6f881","datavalue":{"value":"countable axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938396$207D4EAB-C489-4E66-923E-A2AA0E494382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5673f8f6c166084c076641f159b63d6a6dd9db64","datavalue":{"value":"lesser limited principle of omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938396$7BB7416C-0B16-4299-96AB-7D2DD207D72D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d10e0c46f4ee454fda1ebb7c5947f3927d15f50","datavalue":{"value":"Q59902290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$F4E6E954-A1E7-45FB-B129-90321B194D06","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":"Q1938396$4A3A48A0-E73A-47FA-848E-B5193444C0FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1df5542f03314699e89656a121a1bd37908cb6a","datavalue":{"value":"https://doi.org/10.1007/s00153-012-0299-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1938396$F2AB31AF-0881-413B-B184-E473F16BA503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baa615401c42c63305605b302b46623b5d4d67c3","datavalue":{"value":"W2048994267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$A289F0DC-A07B-4050-8C63-7B6756D964D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$DD5186B1-F705-489B-9EF6-E3FE71698783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc94bf2f79788b303de4c0b01e828977dca54a3","datavalue":{"value":{"entity-type":"item","numeric-id":3866108,"id":"Q3866108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$7AA46EAA-C638-48D4-ADD2-AAF31A1BDFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0181b6f38e4706e84c751511e0729994771b","datavalue":{"value":{"entity-type":"item","numeric-id":3898494,"id":"Q3898494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$8B6FCB0A-2989-4F92-B8C9-9444943B3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$468829F5-B5EC-44FB-A6AB-33C5E30D9696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$361DC12B-BE2D-41D7-8033-4690A4EBB84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$EDD1FF58-EE4C-4121-B339-39F4A2923F1D","rank":"normal"},{"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":"Q1938396$A092B03A-A830-4D4A-AF7E-F37700177555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734d4af33f667cea025b56cec577e0b8e49f6644","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$F8A34194-D834-4243-886C-6E67569EEAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$004E9D83-0E4B-4B8D-826F-C866096EE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$DD777CFB-FAC3-45EE-86F4-8C252FDC743B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$A34597C0-BC36-446B-9D4F-0F5C20DA4833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71c41b1989a3cb589e0a8d45862475cab8eac5e","datavalue":{"value":{"entity-type":"item","numeric-id":4159363,"id":"Q4159363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$9758C974-4B8F-4A3A-AA1D-2AF256656270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$E7CD43C9-2FF2-495F-B4AF-90B23E5DC240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$ED9F68DC-1378-42F4-99E5-6DCED16AB9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$8452496C-25FE-4A86-92B6-57010C4226EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3a7eafe52e56bd4d106cc98c2bef8a475cab39","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$7938AFD1-7D99-4389-A0EF-2EDDDD93C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$373AFE1A-39D0-4665-93F1-DF441831D00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dcdb50dceb87c6e4a446f14bd5897f85c83507","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$AB2D8D81-17D4-4E3A-B4FB-B8DA21C75DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa848dc2bb406b5d47884bb00980c162595a43ca","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$0BB89C7B-DC3E-46B7-B9A2-57B55A49B4E0","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":"Q1938396$7760B124-34A1-481F-8383-71996AC8DB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61814df227c6a1b4510597561733a0e4b2ad60e","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$224CDF76-CDC7-42FB-BC72-491D69DEF5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524fcac44424c63cd17ad9e208583b30a011d253","datavalue":{"value":{"entity-type":"item","numeric-id":3985093,"id":"Q3985093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938396$594B12FA-387C-4E19-9AB5-D6CBE0303651","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea96022a484aebe70f8cff2c25aeaf51296587ee","datavalue":{"value":"10.1007/S00153-012-0299-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938396$03DDF759-DB86-48DA-B966-8FAC2FD4A546","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4067ae2d880ffb4902c82352ef360606ffb0321","datavalue":{"value":{"entity-type":"item","numeric-id":5858930,"id":"Q5858930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d67f1d092263d2d7b390b643c7e58b96b92506e","datavalue":{"value":{"amount":"+0.8545520901679993","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":"Q1938396$8BB108B9-C430-48E0-8D68-DEF5F08C3701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69a855436570f8e5759a1a9b92de40acc94f0d","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65f784fd26c729c1d2990b8bdf5c0d4cf3a09ae","datavalue":{"value":{"amount":"+0.851406991481781","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":"Q1938396$67FB2D6A-CED0-4E6C-B663-8DE9D18BE631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d38cb7748524855889913d52d29af69ef5f807","datavalue":{"value":{"entity-type":"item","numeric-id":3985093,"id":"Q3985093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f273953f91ac51e86c3f433b44b0c3864770a03","datavalue":{"value":{"amount":"+0.8025305271148682","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":"Q1938396$41387219-C256-4C57-B091-DB31095CAAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d6fa5197778ad69ea5ac68aaf6afb81977c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4879901,"id":"Q4879901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e5a5915f4b159cf8172bc8242676abcb67fec6","datavalue":{"value":{"amount":"+0.8018850684165955","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":"Q1938396$42CA769C-D73A-4B70-A344-00C4A79DAF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef7ea52f73b9da4b1c104d639ddbaab6352b115","datavalue":{"value":{"entity-type":"item","numeric-id":5396961,"id":"Q5396961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c318170fcc38290c169cefb8d4db1c96fd5894c3","datavalue":{"value":{"amount":"+0.7630281448364258","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":"Q1938396$5DE89492-630E-4D9A-BCC4-14A72ACF8334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1938396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1938396"}}}}}