{"entities":{"Q2219382":{"pageid":2230125,"ns":120,"title":"Item:Q2219382","lastrevid":78337091,"modified":"2026-05-06T11:21:09Z","type":"item","id":"Q2219382","labels":{"en":{"language":"en","value":"Adding an abstraction barrier to ZF set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298558"}},"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":"Q2219382$5CDE47A1-B813-448B-BA58-E4CCADE56A5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92bd32f1a27b669f55e6b215d4adac11fb68d48e","datavalue":{"value":{"text":"Adding an abstraction barrier to ZF set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219382$958F0380-36DB-4A02-8781-255337FF61C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb801db7b7eb80a04c5d0448a5e3f80e07617101","datavalue":{"value":"1455.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$8857C9C8-58F1-48FB-904E-C191F4E97164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"442355221a4a268156bc3f53215cbe7eb7e412cc","datavalue":{"value":"10.1007/978-3-030-53518-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$F35908E0-B7CE-4E2B-A2C8-CC87132BAA26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22fe043416cd7144150906705659ae614b064e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2128828,"id":"Q2128828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219382$28A7007F-3125-4AF9-A10D-123DEC6170C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219382$8EB6DDF6-4276-4164-8EE6-8E9F0C96D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219382$2C0C99DA-CF88-42DC-A103-9ED09F3417BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-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":"Q2219382$0D8ED8CC-1454-4840-A257-81F82ABF9FD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69c3974755d8102eb5aa439517a97953d3490156","datavalue":{"value":"https://arxiv.org/abs/2005.13954","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219382$92470FE7-CA3F-4010-AEF1-CE86A5B2F390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$DAC48D90-BE51-413C-8132-C6031332F790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$2232F0E3-F5E0-493A-B88B-3205D3B64B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd333e5672b02314b6878a84561c0c1a404d9e02","datavalue":{"value":"7298558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$138BCE69-5410-42A0-B528-83211B34AFDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219382$30F5FF18-2444-4DE4-B072-EE4AF3CEEF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c180ee2d56162da3a93e683315dfd57d39ecfb","datavalue":{"value":"formalisation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219382$74C7D15E-3669-4EF4-9591-4E9273726808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219382$47683BE8-97AC-4D40-B5BD-D0980A8884EF","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":"Q2219382$C9560BA3-F01B-4FB9-B772-0A6486F61134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1f3ef2fb4478cafa1c3eb17cfb57dd58372b72","datavalue":{"value":"W3042721577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219382$E9DE304B-AE42-4F0B-9F5E-0F5190367BF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f051d0c728631cd9142091125ae392fee918070","datavalue":{"value":{"entity-type":"item","numeric-id":286796,"id":"Q286796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2266c0f277c3095bea50297d4f014fc67d8f522","datavalue":{"value":{"amount":"+0.7860015630722046","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":"Q2219382$A309B42C-92DD-435E-AF30-18F5567E0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5939ae4061629952b618db9156ad89b9c203d2","datavalue":{"value":{"amount":"+0.7827162742614746","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":"Q2219382$1CDEC13F-3C90-43A5-A0DD-DC7A1CB11251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae643676bad69ec84d69ca0de86188f3e8348e2","datavalue":{"value":{"entity-type":"item","numeric-id":3590906,"id":"Q3590906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b92478b6d7e8fddf25b82db643477b60eb6ea3","datavalue":{"value":{"amount":"+0.7226347327232361","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":"Q2219382$49979AF2-2BB9-4AB1-9597-01F46E654CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192339a8e85b2c1008bfe0c5389600bd3bd66642","datavalue":{"value":{"entity-type":"item","numeric-id":3612443,"id":"Q3612443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafa5e1018055d2a5d93618f95076881636b96b9","datavalue":{"value":{"amount":"+0.7104147672653198","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":"Q2219382$4B8D95AB-A532-46D2-BAE8-7C1A562D378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e0e74574b043e8294c16982712efe5af07a209","datavalue":{"value":{"entity-type":"item","numeric-id":5897610,"id":"Q5897610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac293e9e45a107b5ae7609312381311eb1dbd3de","datavalue":{"value":{"amount":"+0.7083072662353516","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":"Q2219382$559FC1D0-13BD-421B-B3C3-BA8703AB0A4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adding an abstraction barrier to ZF set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adding_an_abstraction_barrier_to_ZF_set_theory"}}}}}