{"entities":{"Q1179647":{"pageid":1190396,"ns":120,"title":"Item:Q1179647","lastrevid":69814968,"modified":"2026-04-13T09:34:34Z","type":"item","id":"Q1179647","labels":{"en":{"language":"en","value":"On correlation of some concepts in the constructive model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25047"}},"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":"Q1179647$BCB61D3A-0C40-4EE2-8680-F2CC9913108D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d6ddf3d0554fbb2fa03c9ca746bf53c1aea5801","datavalue":{"value":{"text":"On correlation of some concepts in the constructive model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179647$CF33AABC-666E-4107-A0BC-36CAB80634D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e91e00e900bd5176bf5a365e01d082acabcb63ac","datavalue":{"value":"0790.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179647$75F1B51D-D8C6-4D4A-ADAE-598B8CE36FDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179647$799A9F0A-7C91-4BA0-923F-D0CB45FC2957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179647$52A6681D-3E8D-414F-948E-175F7E6AEBC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f26e430c93cc744ec65759cfc27ead0d2f16ed53","datavalue":{"value":"See the review in Zbl 0744.03036.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179647$219E7A91-0DDB-4DB8-807D-1876B4186D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179647$ED34DCCF-E6C4-4DFC-9740-AB05D8D1E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179647$B9F05FA2-C942-4187-91BF-3F972CBEA722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179647$CCE09D61-2311-48CA-BB13-703E2E0DF65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c3ba1fafe001a7e273e868ac188b78df320abfb","datavalue":{"value":"25047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179647$61434A50-F02F-48E8-80F1-6505DFA67966","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e9c4541128908a5aef1cd7f37e4c404a539ff5","datavalue":{"value":"first-order predicate calculus with constructive logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179647$166CAA4B-E6CA-4BF5-830B-57123A513E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0ae25fc9f9933f300fe2061f67a944caa0c68f","datavalue":{"value":"generalized \\(\\sigma\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179647$38DAA993-B7BD-411A-9FF0-1047C6B4CEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27c707be7dc56e14a1b8aefe444b67a9b5a5d36","datavalue":{"value":"enumerated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179647$8FA89017-98FB-4209-836C-2AA20B60EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a698c902b0b302313f39d985bb7e7d01e1f795","datavalue":{"value":"constructive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179647$8B280A73-E9EB-4C3E-8190-03DB4B171845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074fca8e7eb97ff9031d44469e4dd227e8d0736a","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179647$DA5E6049-86EB-4DAC-9A7F-FFB8B9A12281","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":"Q1179647$32310F4F-BA38-4012-8E37-F5AA00D2A552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On correlation of some concepts in the constructive model theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_correlation_of_some_concepts_in_the_constructive_model_theory"}}}}}