{"entities":{"Q2784789":{"pageid":2795527,"ns":120,"title":"Item:Q2784789","lastrevid":47774737,"modified":"2026-01-02T16:06:29Z","type":"item","id":"Q2784789","labels":{"en":{"language":"en","value":"Linear set theory with strict comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1733005"}},"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":"Q2784789$83EB6B91-BA27-4A1C-94A1-3705B04A84F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"444a24b0ac73712635bb2ace388513e7d574179d","datavalue":{"value":"0990.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$68DB24AE-9A86-4149-8B82-7EA43EC49050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b3e92481db9db5cde50b697161a2a8a1a99356","datavalue":{"value":{"entity-type":"item","numeric-id":1919982,"id":"Q1919982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784789$AA4BF3ED-2179-4AF1-95E3-1CFD1A56065E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784789$D185C471-BEEE-44EB-A719-79B01DB27F34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$59ECBFF1-DAE2-4D55-A6BF-4DE864793944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$DEB5FC96-BBB6-45D7-B1F4-7FA061109257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$515B666E-E2C3-41AE-A3D1-ACC25596E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$ADA312CB-D5CB-4512-9D0C-F872B53A565A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be315470d2e5d90eac0fefaf88c844f8b3bfcf75","datavalue":{"value":"1733005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784789$EDA66314-5EE9-4146-9E2B-C8A6A30339E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7709a3ec77c876c282efe3584bf507e7994f864","datavalue":{"value":"extensionality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$FFDF5446-03C9-44BC-977F-83DEBC43BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70620d686aa5be0d8fdccf777b4e1ece763e5646","datavalue":{"value":"set theory with unrestricted comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$A0D46EF2-2DEF-4A98-8C62-FDDCF9A7D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$3F0D1FBB-9C3A-4D7F-8253-4C6338876835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e353bb7d56f824b4708b27f58c44e23367d90b1e","datavalue":{"value":"linear set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$A9405444-E6F2-4F8A-A799-4FFE391E84F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589748b87dd92142264cf9f58bb5da338c2f8207","datavalue":{"value":"strict comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$AE280EAA-4E33-470F-BD9E-2122E40BEF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$002AF57C-9F46-406A-93FA-9179626E3686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$C03B6D07-23A2-49C4-9BC0-3F613B765227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784789$67462CEF-C5B6-4638-B01F-821A4FBED603","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":"Q2784789$AE013757-69A8-4FA4-B0FC-BC779D53CDA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d9065a075f73ecad6b92d43c36f9aec8400296b","datavalue":{"value":{"text":"Linear set theory with strict comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784789$9CDA77C3-6676-4B92-9613-D79C66816AB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e29836f19406ee278c92436290a6f89ece997f7","datavalue":{"value":{"entity-type":"item","numeric-id":1919983,"id":"Q1919983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0b5d55cd56a5fc29848bb31080b88b048b1345","datavalue":{"value":{"amount":"+0.810927152633667","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":"Q2784789$B16CA23A-4CEE-4216-9CF0-173A1F7579A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c101a34670d59fabe60b0b0a1fba1af22632d93","datavalue":{"value":{"entity-type":"item","numeric-id":1582825,"id":"Q1582825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd134a35304cf96c1400018e2fc170746ae0083a","datavalue":{"value":{"amount":"+0.7623162865638733","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":"Q2784789$5EECC41D-DAD8-4FB1-8C80-9F33679ABE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000e2659fb730fe83ec7622c56932f752563ff47","datavalue":{"value":{"amount":"+0.753199577331543","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":"Q2784789$00DAD773-ADFA-494F-B220-C9BCEAABB6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5f75dce7242ac7578d7102d60c7d4fb5d16119","datavalue":{"value":{"amount":"+0.7523491978645325","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":"Q2784789$92ED4F3F-71F1-4F26-A4F6-42C5E8D1EE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8d27652616ec5ade388a8490f3448d34f65a23","datavalue":{"value":{"entity-type":"item","numeric-id":1402586,"id":"Q1402586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27b2a59a1a4ba19264e58b0b15d977ca7d4fb03","datavalue":{"value":{"amount":"+0.7383747100830078","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":"Q2784789$64514BF0-EC3E-429F-A3AC-3EA17A962058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2784789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2784789"}}}}}