{"entities":{"Q3363696":{"pageid":3374401,"ns":120,"title":"Item:Q3363696","lastrevid":80334191,"modified":"2026-05-06T15:57:36Z","type":"item","id":"Q3363696","labels":{"en":{"language":"en","value":"Correlation of some notions of constructive model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4216494"}},"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":"Q3363696$384A62F2-D82E-41E3-8224-B89915069A29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a9935d1746832f17d1694a247a8234e166553f","datavalue":{"value":"0744.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363696$2A4AABFB-C1A5-4F90-A729-86B2E529B20F","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":"Q3363696$39BAEB3B-ACAB-4F6A-9109-81484EC753C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3363696$2B26C4EA-DA47-4D55-AB67-2432ACC248E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363696$F6764F1C-432D-4DA1-837C-37D4DDCF3EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363696$34EF762B-F91D-4DC7-A21D-B32268801ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363696$CE3BC029-266D-4BD9-86B9-33561B1C4186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc3832fa071f87b05a57c2f26a73ca680eefcaa","datavalue":{"value":"4216494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363696$C74368FE-D142-4C98-AB8A-C01A8676109A","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":"Q3363696$F546559A-C446-4B1B-98FF-1FDEC74976D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0ae25fc9f9933f300fe2061f67a944caa0c68f","datavalue":{"value":"generalized \\(\\sigma\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363696$12E84788-9113-4AD6-8837-4072AAB2C6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27c707be7dc56e14a1b8aefe444b67a9b5a5d36","datavalue":{"value":"enumerated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363696$17272245-C0F7-4B51-8A51-5FCC7EDDE343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a698c902b0b302313f39d985bb7e7d01e1f795","datavalue":{"value":"constructive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363696$30BB7069-E813-490B-B16A-F6C1457376D5","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":"Q3363696$C6EF7132-BC70-4622-AC4E-E1B625EFF4D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bb6bfc66e315fd0958644aecdae3f8cc93e52e","datavalue":{"value":{"entity-type":"item","numeric-id":4815986,"id":"Q4815986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a890d8e462e8ff9a24117540b710229c59eb26","datavalue":{"value":{"amount":"+0.8167400360107422","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":"Q3363696$F9E49BE2-DB1F-4DBC-95B8-C33D319F837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e4020bfb0888cff859f0b3a6ca06af5614dea1","datavalue":{"value":{"entity-type":"item","numeric-id":3812244,"id":"Q3812244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226d2f22d9d7a4ec3b0ec0ec7d8adfee9572eaf9","datavalue":{"value":{"amount":"+0.7797064781188965","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":"Q3363696$DB686F67-C7C1-4146-9E2E-CBC343EFBCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1441ddcd38c4948253de1c29128ef26c2de37994","datavalue":{"value":{"entity-type":"item","numeric-id":3820599,"id":"Q3820599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533fe7de31a57ac694c72e32ad388758daaa786d","datavalue":{"value":{"amount":"+0.765276312828064","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":"Q3363696$A08DC1B2-B6B3-43A8-A022-DF167DB358AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33be1299b40ea7fa4cd516442512d42d4e22fec","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2ab7a52b39ec8883f324dace11ddc92ce29a46","datavalue":{"value":{"amount":"+0.7446011304855347","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":"Q3363696$C147C0BD-3C39-499A-AFA8-B3BAE5A5E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d411468f3154276b47944f6883c3b24023519d","datavalue":{"value":{"entity-type":"item","numeric-id":4005058,"id":"Q4005058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2ab7a52b39ec8883f324dace11ddc92ce29a46","datavalue":{"value":{"amount":"+0.7446011304855347","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":"Q3363696$A191E261-1467-4630-9FBB-A92A46D9F6C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correlation of some notions of constructive model theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correlation_of_some_notions_of_constructive_model_theory"}}}}}