{"entities":{"Q5884258":{"pageid":7913810,"ns":120,"title":"Item:Q5884258","lastrevid":93326600,"modified":"2026-06-05T04:12:57Z","type":"item","id":"Q5884258","labels":{"en":{"language":"en","value":"ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7665540"}},"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":"Q5884258$8D925484-C428-4DC4-8DE6-ACEA3947233D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0ca3e5010295e81a893ca2523baabbd41df8e1","datavalue":{"value":{"text":"ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5884258$271B4BE6-2D45-4188-9F23-E9E237BE96C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d414abd8e2d34ffd0c6dc748c57aeeb940d4481","datavalue":{"value":{"entity-type":"item","numeric-id":2662894,"id":"Q2662894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$40CFB0B6-585C-49BC-8872-51C2982DBEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cd314af78cef97a8f4636bddc6599698c06b2b","datavalue":{"value":{"entity-type":"item","numeric-id":5884257,"id":"Q5884257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$36884D42-4DDC-4330-AD59-793D4158F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d23b2180155c71943e5e8c6505b4c69f4c0f6fab","datavalue":{"value":{"entity-type":"item","numeric-id":2144610,"id":"Q2144610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$B87908F7-303A-40D9-9F43-554151504ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$BC1A6BC2-7D69-4E9F-B399-FDCE072C8C9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6f899d4c7bf101307e9ed859fa217eb5616ba0","datavalue":{"value":{"time":"+2023-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884258$C313426A-97E3-4340-8BDA-214A3FCB1A52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af89ad08ad3203925fdf3c707c977c77515f1ff","datavalue":{"value":"https://arxiv.org/abs/1908.02708","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884258$95604A0C-40B9-40C5-9C1C-BBA0151F3B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$70A82802-1FB0-49D2-8B58-8506BB4EDA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$4D276B4F-232F-45ED-8259-4B8680629AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$14A57CD6-198E-43D9-AA0A-4398D5990C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$E26D2E59-0914-4942-B9BC-101B1CADE53D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7702cd87249fbb00520fd4c5399114cedd19ba8","datavalue":{"value":"7665540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$95F069B1-FE63-4C4E-AD14-105362BA6E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18072a5e7ed22bf0bee95e273f96e54e5389ebf","datavalue":{"value":"Anti-Foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$E2978E67-EF8A-4C54-AD4D-66E527F9A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d19f0b8f241dc9680340aa3511e6913ae798af2","datavalue":{"value":"double-membership graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$B6599C55-A3E4-479C-B2A2-BEF503B83C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4785cdfa845e5855de8570c79a2d4ccaa0cfccb","datavalue":{"value":"Gaifman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$379870ED-F92A-4F42-9E89-12098425B3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1705dc6948d45cd990d62b87943daa551cdad72b","datavalue":{"value":"Hanf's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$A7FBA522-8E0D-47A5-88D1-F225459E6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864d322c9c17338b063c5fa0b9755c100bb620d9","datavalue":{"value":"membership graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$A1EADE92-4CBA-4A22-8CD7-43E360087C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$5D8B1FF4-28EF-4D5F-9785-5B87CC7E597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7cfbb2d4e2d25e33aa8aeaa14648b5bc13849af","datavalue":{"value":"reducts of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884258$1C317379-D6F1-4AC0-82F4-FFB5B968C46D","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":"Q5884258$3E8B14A3-D9DC-4A96-A168-7A173FB47FBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9772e407e7eb64c453ac339a23c06f32c9b4542d","datavalue":{"value":"W2965658085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$7B889DB4-6D00-4C80-AB03-2FF388EAC1AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$D8201109-B6DB-483B-A454-85A993EF500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9409c9fa92db14620be349b588d98302cd74489e","datavalue":{"value":{"entity-type":"item","numeric-id":2662895,"id":"Q2662895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$B09C511A-7281-469A-9940-7BEA59FA914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$4D564757-FE53-40B7-AA31-16944DD84583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$00B9CD6F-309E-4A0D-B8BB-6B0FBCF976B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$78A4850D-E1D8-40F1-A1AC-427E99F048DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd331f6e11003ded84ab6d0953c496441927a32c","datavalue":{"value":{"entity-type":"item","numeric-id":3117780,"id":"Q3117780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$DB3CCE19-B06E-48E6-BE4C-BC3B7F42FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be4c2fb6f3d3b8a4e1b9da6a3ded34baf63c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5668477,"id":"Q5668477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$C3072109-466E-4151-9C1E-CD2155E8268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76477425fa779ef9d92f72720735da571551d798","datavalue":{"value":{"entity-type":"item","numeric-id":3328538,"id":"Q3328538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$17DC82D0-A0D8-4922-87F5-190852568BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$DB451719-7383-445D-B43E-5EDE25D550BE","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":"Q5884258$2FE3B6D6-D5CC-4D2D-BA76-976AD28B6EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b40f7ad846b1097e264b1fe9032a95d92799f3","datavalue":{"value":{"entity-type":"item","numeric-id":3264229,"id":"Q3264229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$EFF00C31-2D95-4F70-9E89-E54B1F28E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$9D778087-0A67-4B9F-A0FB-FF719425F8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4717083790fafb47c5b260ea98ea720e6f88b95c","datavalue":{"value":{"entity-type":"item","numeric-id":4458705,"id":"Q4458705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$EDA63494-D14E-4A77-96F3-F2BAC9938107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1ea509a17be94d43222b9bfa1d85879a3d42a4","datavalue":{"value":"10.1017/BSL.2022.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884258$3D391C04-14E1-4E0C-AF6F-A9533BB535C5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884258$E88C5ACC-13EB-4E02-AE0E-192044EBE095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ON_DOUBLE-MEMBERSHIP_GRAPHS_OF_MODELS_OF_ANTI-FOUNDATION"}}}}}