{"entities":{"Q1065794":{"pageid":1076546,"ns":120,"title":"Item:Q1065794","lastrevid":69551115,"modified":"2026-04-13T07:46:49Z","type":"item","id":"Q1065794","labels":{"en":{"language":"en","value":"A step semantic system for set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922643"}},"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":"Q1065794$9648CD4E-0F0D-4088-9012-423C3289E235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"690fe363a62e5b878935c725dd500dfad314c6ed","datavalue":{"value":{"text":"A step semantic system for set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065794$466DE3A0-BEC0-492E-9A9C-9827767997BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddf34347ca8d49493fea94fdfe9cd0613e3edcd4","datavalue":{"value":"0577.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$63B56F83-567E-4116-A04D-A7477AA067BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b4e6000cba5c8c0765cd393b7d034d184f174a4","datavalue":{"value":"10.1007/BF01139949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$9409A8D3-E91D-402B-8D09-2E89322426DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4eeec9c514bbb06b09411028e52e095503970b8","datavalue":{"value":{"entity-type":"item","numeric-id":1065793,"id":"Q1065793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065794$4AE32443-9F27-46EF-9D9C-7ABD8D97642B","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":"Q1065794$BF42D787-EF2A-4C8B-ABDF-1AD50EF3D2AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1065794$AD42A81E-0CF2-4BDA-BDDB-4F653E782B77","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9ab2aa0976128056fd234317a2a4cb5235ff2fc","datavalue":{"value":"A hierarchy of languages \\(M_ n\\), for every natural n is constructed, where \\(M_ 0\\) is the language \\(\\text{Russian{Ya}}_{\\omega}\\) of \\textit{A. A. Markov} [Dokl. Akad. Nauk. SSSR 214, 1262-1264 (1974; Zbl 0308.02037)]. The hierarchy culminates in a language \\(M_{\\omega}\\) of set theory in constructive mathematics. The truth of various formulas of \\(M_{\\omega}\\) is investigated and it is shown that the language \\(M_{\\omega}\\) is reasonably close to the language of set theory in classical predicate logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065794$41FB45D4-8B6C-4F02-8D54-70E9DED31592","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b39a071f220ede335b535a94dac9b2e05d71f72","datavalue":{"value":{"entity-type":"item","numeric-id":802552,"id":"Q802552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065794$FDEE5A88-944A-4084-99AB-13123FB96C2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$724C6A20-90F4-4DD4-AABE-D274A4056452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$95EB8C6D-D557-4AEA-B4F3-26BA804F3A77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ef0a2371878e0ac58183a6cdd8b67802bb027a7","datavalue":{"value":"3922643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$970F5436-7AA2-4532-9F71-825A82EBA94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48d3f74530d40f88de2150a166e0c463ad8f70f1","datavalue":{"value":"languages for constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065794$8885AF4E-5120-4091-AA23-F327D977303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065794$3B9EB70B-21C2-4134-83B2-6B740FA9BF55","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":"Q1065794$3E1F8C70-EDAB-4E87-A2F6-1632DFEB434B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148bc18acce0cbcc3c500426b4771e82cfd58e0a","datavalue":{"value":"https://doi.org/10.1007/bf01139949","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065794$09E5AE02-B397-45B2-940E-FFD94F6608F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e87db8f3366f4c71a20421ca8c154ea7929d7dde","datavalue":{"value":"W2063668606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065794$7685A34D-5301-4CAD-BD2A-17D6B12A548D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57785ee6fbd9bf681c66c98f0e7d195d105be001","datavalue":{"value":{"entity-type":"item","numeric-id":5892409,"id":"Q5892409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591957ca0f0dcdb9b7b933cd63c5e6a0ceb7bcfa","datavalue":{"value":{"amount":"+0.8800012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$33E02842-364D-4639-95A2-88F856399F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764cdb2d73143e9be8d9f430414780a905db7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2817908,"id":"Q2817908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5f643b148d43b34419bc141d7147baa28e5f48","datavalue":{"value":{"amount":"+0.87580657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$6939D3D5-C552-4A48-8CBA-7C00AD1BA16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bd43191682e284a627ffa95856dfafbe461ea5","datavalue":{"value":{"entity-type":"item","numeric-id":5858673,"id":"Q5858673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206989e80677bfab69a18088d2332e49de517feb","datavalue":{"value":{"amount":"+0.87563276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$668C3B2F-FC5F-46DE-9DE1-C5DA51B06613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d591499170e7e58e08e897a328bc5d234ad7f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":2339008,"id":"Q2339008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d619b1c2f9f78770180b30974f0683eced4d33","datavalue":{"value":{"amount":"+0.87500286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$A487B624-BCAC-45A9-9BBC-0B284D8D0BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03eb646ac2cbda9f719a9039a2351a13f060650","datavalue":{"value":{"entity-type":"item","numeric-id":791329,"id":"Q791329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392b530aa3d97c94786b76c8b7cc8eeadb058e4a","datavalue":{"value":{"amount":"+0.8648845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$14EF94E3-DF77-40F8-A910-B92A17713B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83f85bf64f671fdc2917692e10d5903b06f8eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5452175,"id":"Q5452175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97736b03ce442a67e78454c77c305bd6d10fca14","datavalue":{"value":{"amount":"+0.864022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$C23D9035-1704-428B-A87B-F8F91F123146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e5bc667ca5c2397da47a77025ac96c4f1641ca","datavalue":{"value":{"entity-type":"item","numeric-id":1825191,"id":"Q1825191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f51024bd88e27ae04b14b0fda34e24298c306ef","datavalue":{"value":{"amount":"+0.8610999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$F9700431-8201-4D77-825E-91A9AC275EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dc450973876ea82dd2c1c27102dbfadc18ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":5692814,"id":"Q5692814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f02d2f4cdaafe7f2248369febed714d602daa6d","datavalue":{"value":{"amount":"+0.85691726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$F5AE6DCE-7687-4826-9FF2-0CB9D5C567D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2238764e65e7df643c92c1ac1ec363a4f968a61","datavalue":{"value":{"entity-type":"item","numeric-id":4696862,"id":"Q4696862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc8b7dee1a49416cdcd7c617ec39a47a245a49e","datavalue":{"value":{"amount":"+0.8564221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065794$5EAD04A2-429C-4433-88C4-61702F914617","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A step semantic system for set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_step_semantic_system_for_set_theory"}}}}}