{"entities":{"Q1942037":{"pageid":1952779,"ns":120,"title":"Item:Q1942037","lastrevid":69357315,"modified":"2026-04-13T06:27:32Z","type":"item","id":"Q1942037","labels":{"en":{"language":"en","value":"Rudimentary and arithmetical constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145434"}},"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":"Q1942037$C60F3C53-2CF8-4688-9AF3-15D0B393D818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f4ea585ab1d63b5327a9dcf2ecf81f0ed652653","datavalue":{"value":{"text":"Rudimentary and arithmetical constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1942037$5195CB82-14D3-4D29-B355-A182FDE18B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cddbff5fe9acd3d20dfda5c8eff81109f02e15e","datavalue":{"value":"1270.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$3830ADEE-8A65-43F9-9487-FA7EC805C9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828127614e1e8bf8a1bb479b3284a4822ec68a2f","datavalue":{"value":{"entity-type":"item","numeric-id":636294,"id":"Q636294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942037$90A181E4-0941-42D8-8456-D55BD2A716C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942037$36A2EA50-4804-483C-A6DD-75246D6431B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14be7dfb95801698ab830a4fcc0da1dba576734e","datavalue":{"value":{"time":"+2013-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1942037$F16295C3-81DB-46CF-9827-F23DA1919E50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$F1168048-8D14-409E-A70C-BB0411C9545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$431A32F1-9199-4820-9EFB-DCA4102DDE39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da805cfbd3af3b125f6a5254c83b3dc405a752b1","datavalue":{"value":"6145434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$5C9AF36B-8074-4C31-84C0-624D6A7F635E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$120D4C4C-44A7-45C1-B3DC-77A60252D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39277bc97d29df9f38399f29b6281759d9beca41","datavalue":{"value":"rudimentary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$7B707AEE-C196-40EC-B95D-91A5998FF20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$9758F311-35F6-40E3-B7F6-BDEA0E764F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac582e1e382ed27a2522e68295a57bb6f765947","datavalue":{"value":"weak axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$68355597-8DAC-4E23-BC7F-DCA47A41D739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d918d8a2be9699c2b1a5b7b6925019e6f055a8","datavalue":{"value":"von Neumann natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$BF0061D2-EB8F-4416-A35C-9B06C820AA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942037$FB9D6861-280D-4E40-9752-7B6E4BF2117D","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":"Q1942037$5FE2FB0A-C6BA-4CE2-9324-123490281B1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"941818c74d6b296cae360d858740f2ead610f952","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1942037$A90B55C0-56A3-4B64-BA6C-F4AD4293899F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca1d587631f8df696506ea325e27f2c3c66c9a31","datavalue":{"value":"W2081305521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$7D669891-246D-4C44-BD18-E9FB83C96E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28802be13d3c36efcb123288abd4c7ba263aec64","datavalue":{"value":"10.1016/J.APAL.2012.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942037$10A8CC5D-04D6-4464-B141-133D4461B54C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28754ebc57557818b32252433e59ee140f0a8a09","datavalue":{"value":{"entity-type":"item","numeric-id":5448619,"id":"Q5448619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114ba6a5647f68b8c69d8280be4741bdfa0d43cd","datavalue":{"value":{"amount":"+0.7892982959747314","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":"Q1942037$4549D150-37B5-4A3C-B2AF-48C8167097AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7e095cba79d1583f5ec4f2234ea50875b315e6","datavalue":{"value":{"amount":"+0.7879220247268677","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":"Q1942037$721047D2-4DBE-4B1F-8E84-878A947FB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c95c6f7cdf33bcaa864b15aeb194779f6c94d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95f66cfa34793c10d298e072327c8ff5fb9b865","datavalue":{"value":{"amount":"+0.7570018172264099","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":"Q1942037$171CF143-A656-4D95-AC83-69931387F15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab86b167b258cff61ef64d74c4ddd82b12963b93","datavalue":{"value":{"entity-type":"item","numeric-id":5260991,"id":"Q5260991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e4d83bf40d81780f99aab65d505a8aa9f92821","datavalue":{"value":{"amount":"+0.756776750087738","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":"Q1942037$D13CF8F5-E769-448C-849D-75D865AA99D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3200ca7f606bf550f45e1bfa39c1c79e3e6bd413","datavalue":{"value":{"entity-type":"item","numeric-id":3425062,"id":"Q3425062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26049b3e0ed99fc0fcb9551bfc71d3b2adbe46a","datavalue":{"value":{"amount":"+0.7497276067733765","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":"Q1942037$4037FDA5-36FF-4CE7-92F4-59E368932E3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rudimentary and arithmetical constructive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rudimentary_and_arithmetical_constructive_set_theory"}}}}}