{"entities":{"Q722147":{"pageid":723996,"ns":120,"title":"Item:Q722147","lastrevid":53150444,"modified":"2026-01-24T08:07:32Z","type":"item","id":"Q722147","labels":{"en":{"language":"en","value":"Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6909347"}},"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":"Q722147$9D784874-3A42-46DB-B16B-DD697CFE3D62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"448c47b96e6dca16650ce960d660c1127621d76a","datavalue":{"value":{"text":"Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q722147$F48E6034-3A4A-4DF3-894B-F35884B6D179","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c51cd73b0133cefbb78adf39a785a7a42978975","datavalue":{"value":"10.1134/S0001434618030057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722147$E2BC2B6C-F1EF-4B85-9488-48D4CB069B9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0810fdd2acb888e796e6393fe73000d87a3c4c","datavalue":{"value":{"entity-type":"item","numeric-id":650476,"id":"Q650476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$DEFEA1DE-8433-4814-82F2-C5D5ACB22D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$DBE87EBE-862B-414A-BFFB-8BE590339572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc8ead1e0a28b70e88525b0ff5541d1c12dd7ebc","datavalue":{"value":{"time":"+2018-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q722147$3EEC98E8-3497-4682-8B61-4EC4F8C9A7AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722147$626B692C-6422-4DAF-A913-34D7E3089BA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d01bbb9b0fc81c2f41b78afda54a612c32f70a85","datavalue":{"value":"6909347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722147$B0F60B23-BA71-4F39-80F7-CB2CB8C5198F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q722147$59FCF0C1-7D12-4DF1-B934-741C2692E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c87b6950438c33d75e1c211a74b9bc4eda11a8d6","datavalue":{"value":"Zermelo-Fraenkel axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q722147$62C6B41D-7FCC-451E-B562-559B2A3AD5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q722147$E826273A-B5C1-46A0-BC7C-1BDCDF590288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc69d0521f0be6c639e519b48339bd7290ba7b","datavalue":{"value":"recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q722147$5F35479D-C03D-45B2-B9F5-D1CE1521DCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf2f0ce374e7b202d2b15ad821d10be490ffedf7","datavalue":{"value":"partial conservativeness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q722147$6FBDB609-FBE7-4D4E-A2C1-A1A60CBD6A25","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":"Q722147$A07C5786-9371-44C0-A164-2AA4DC6CD332","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$8053F4B7-FCB8-4773-A18D-DF533F01C1B3","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":"Q722147$87FF40B3-3974-445E-9B22-DA1DCB25393B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$5A55F44C-F6EA-491D-ACB4-820544BDE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$BC0C3BEB-69DB-49E5-8413-466A4C4A3ADA","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":"Q722147$24510B80-0EB8-4E13-A0C2-7E9CE2532047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$3789DCBD-4A73-4136-BE6F-A7D6A176E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$20962291-A84C-4667-9E72-FA26AAAE3FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3886c5614596357c084c42f50524f4f96e947113","datavalue":{"value":{"entity-type":"item","numeric-id":4369484,"id":"Q4369484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$89D6B3AC-3F27-497A-A695-A1C54AF11275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$DD02F5DD-AB41-447A-B83D-0C9DC8A73919","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":"Q722147$3FF81944-F837-4A28-ACA1-7E0625FABB36","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":"Q722147$7730B6B5-62E8-4912-ADB8-A9A36BDE645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0200472ae7701090652a966ed75c5ce35a759865","datavalue":{"value":{"entity-type":"item","numeric-id":5396961,"id":"Q5396961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$29E7222C-DEFD-4CE1-B8E7-3C4DA2EA5A04","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":"Q722147$C6D7F4F0-25B1-44D8-B186-3304DDD518FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68385b1eaabd2832666bcf105ab5622f71a821f6","datavalue":{"value":{"entity-type":"item","numeric-id":650477,"id":"Q650477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$EBA444EB-9379-416D-9BD0-CDAECB96D7C7","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":"Q722147$41B11263-29AC-4879-9C1A-7E0357D30D6F","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":"Q722147$52693A25-DCE8-4F26-8A84-C83FCC29EA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cc8ebf956d1ae34080a282593f78ea4e6feae3","datavalue":{"value":{"entity-type":"item","numeric-id":5494237,"id":"Q5494237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$C1EC7F4D-B7CA-4E3C-A0EA-F44C01DB0D1D","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":"Q722147$12B17C7C-321D-49A2-A9D9-7DA362DBD431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c1e7f412077a39914e6866fe154378a7118612","datavalue":{"value":{"entity-type":"item","numeric-id":3797179,"id":"Q3797179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722147$ACA98DA7-2256-4E28-A0DB-FEC729ED3CD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38b3cfe7baa55cc491daaa51a578100efb4ecbb2","datavalue":{"value":"https://doi.org/10.1134/s0001434618030057","type":"string"},"datatype":"url"},"type":"statement","id":"Q722147$9AD15416-D445-4EF5-8CD5-5325FACC7369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15484a3dcad307339ae23e55897d154e2e3d3991","datavalue":{"value":"W2799794780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722147$FBBEB618-351E-47EF-BE20-4F5D23EE19AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b39608a55a738ebdfcf980f222696e3d2fbb1ba","datavalue":{"value":"Q129975279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722147$E54E9B61-C893-441A-9E89-FDDBCAAA7AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39a8b5c396522f2dbd37c4d17007eeb173c8ad","datavalue":{"value":{"entity-type":"item","numeric-id":1902734,"id":"Q1902734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e000ad4c6b833f0077f4c06b191b12e3479145","datavalue":{"value":{"amount":"+0.8265091180801392","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":"Q722147$341B73DF-5A96-445E-A1EA-5E119B67F678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b521332400a161165720ab790a62bb796c441d","datavalue":{"value":{"entity-type":"item","numeric-id":796524,"id":"Q796524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99843693dc69df109a9d11ef3aa04637ac376a6a","datavalue":{"value":{"amount":"+0.825049877166748","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":"Q722147$28246836-FEB7-42EC-929E-47CD8665453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c955910df1e90339be147d08c85627d286bf298","datavalue":{"value":{"entity-type":"item","numeric-id":4268417,"id":"Q4268417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24f1dc3fef4e46d95f6a57b36a6d4966651bfcb","datavalue":{"value":{"amount":"+0.8186809420585632","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":"Q722147$F521E1A8-819B-4C99-891C-A1A5E5DD51F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32bf7ba0e3c2dc900409072052fcfc16181055","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24f1dc3fef4e46d95f6a57b36a6d4966651bfcb","datavalue":{"value":{"amount":"+0.8186809420585632","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":"Q722147$ECC8591B-F3B9-4E59-BD74-F22AFBE49739","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":"148e2176c6b8cb8c13560920325463fb5328a6d1","datavalue":{"value":{"amount":"+0.8057432770729065","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":"Q722147$9BEBCAF0-E54E-4F28-A8B8-9766A181D87C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:722147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:722147"}}}}}