{"entities":{"Q494649":{"pageid":496416,"ns":120,"title":"Item:Q494649","lastrevid":62266284,"modified":"2026-04-11T04:54:37Z","type":"item","id":"Q494649","labels":{"en":{"language":"en","value":"Positive primitive formulae of modules over rings of semi-algebraic functions on a curve"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477392"}},"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":"Q494649$06A441C1-6601-49E4-B6EA-33EAB85EE20A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec45149a5a101a0197ee8f5769823a968a1c884e","datavalue":{"value":{"text":"Positive primitive formulae of modules over rings of semi-algebraic functions on a curve","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494649$8F91B251-67F3-4612-BA2E-1BF866487D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d39ae26e491e752135494cedf0bbfd98c7256eb","datavalue":{"value":"1360.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$EF255233-FA1E-4B90-8B03-A11DBC2F898D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9031e5dce442ed7f606b11251d014584c58b3e1f","datavalue":{"value":{"entity-type":"item","numeric-id":494648,"id":"Q494648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$F8479036-92F1-489C-811F-FF81ADEDF5CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$9D453E91-F241-433E-9F35-5D9C74B10B70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6161adf15c0b81dd0975f5a646569a2bbc70a567","datavalue":{"value":{"time":"+2015-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494649$0238CA4E-2863-471F-ADE4-11B0E170E08F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d38cdc458608c579e4b5c0350f537bf98428dcfb","datavalue":{"value":"The paper concerns the study of the model theory for modules over rings of continuous semi-algebraic functions. The main result of the paper is a criterion for membership of positive primitive subgroups of a free module over the ring of continuous semi-algebraic functions. In addition, the author gives some generalizations of this result to arbitrary modules over the ring. At last, the author presents a quantifier elimination result to the level of positive primitive formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$017D8B78-D39D-48B4-A4D0-7ED4C89D6110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$BE59C0D3-ABA8-4137-A9E8-C7F1B09AC4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$123F37A8-8277-4ABF-B148-E6F6224F4A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$2ED6101F-70DF-43FD-AD38-A2A0DD8E7F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$CB5F9884-AD90-44B1-88A4-035A3C061AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"310437e9ee55d0b4912c318f1249fa17f39c3afa","datavalue":{"value":"6477392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$C7BC02A5-6D61-4141-939E-74B50E80B5B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cacf3339cebf74ba580a80b836230142fce337f6","datavalue":{"value":"module over a ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$8952E297-8660-4ACB-8FB2-586553A9D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8e6c9f0430d1faa154392ecdbd9125257df3a1","datavalue":{"value":"semi-algebraic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$321E4736-CC95-42CC-A64E-C6FC9E90BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1a8d4c768689c8c98afe407bbe7a217ad65b4b","datavalue":{"value":"positive primitive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$223BECCE-2B4C-489E-BFD1-B897514D3380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0adc39aba54313b427995f8c4f39c945947398","datavalue":{"value":"positive primitive subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$E0D8BBFA-F3FF-4590-9AD8-78274856B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97db04939894ba315290a5f4a6f60cff1852ac9e","datavalue":{"value":"semi-algebraic vector bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q494649$F38D5394-A1A3-4AF3-B648-514E3FA827B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"74af1034ba40f97f0aa7e6bf880e4876f3ac1bfa","datavalue":{"value":{"entity-type":"item","numeric-id":331051,"id":"Q331051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$542EEAA2-3D53-4AF2-A6C1-0A98C6CEEE9D","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":"Q494649$70E18B7D-5CB7-4CA6-94E0-BAD72C5D5E98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a2aac4078b6ecf1f969be9b1125cc0473dcdeef","datavalue":{"value":"https://doi.org/10.1007/s00153-015-0429-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q494649$8FAC0382-A264-4FE1-95E0-0C1DFAFBC40A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2286c2a9dde55fb44a006f9e7aa7c38ab6d8ca68","datavalue":{"value":"W1976076094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$EF733C9B-ACAB-40FE-9DE5-AC9A659DE7AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9183303fdd2a2c983c2b169deecfeb5850da20","datavalue":{"value":{"entity-type":"item","numeric-id":1236527,"id":"Q1236527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$59FD7B04-9809-46FB-BF31-D44CC9810C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$F60CA7D7-F542-4816-83F4-D6799295A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a7712a0383b39dc5c45f4e8460f35343375825","datavalue":{"value":{"entity-type":"item","numeric-id":4774036,"id":"Q4774036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$7533A69F-A05E-48CE-B32E-36DC5E479F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$F234C65F-2B89-47AF-8411-BE8F27E28FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a50bd2d8390e0bd97239e2a60c195b5c83cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":3879219,"id":"Q3879219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$C9032931-2958-4F81-924A-57CD648E9A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6225d7a287d80e4400c8d85ac403c9d69017a7","datavalue":{"value":{"entity-type":"item","numeric-id":5808415,"id":"Q5808415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$1EDB917C-529B-4A38-8AEF-0BD0EBE1BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85a483128ebfb668392379c60946a967955df36","datavalue":{"value":{"entity-type":"item","numeric-id":5956886,"id":"Q5956886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$82C0AA65-D7E1-4181-BFC6-ED02740968ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$933B265D-A9B1-4CCC-BAC0-2969F9F90A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$82B108DE-8BCC-454B-8970-5EC62C89719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$949ADE48-97FF-4CAD-930C-CFC6B4DF3347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$C8BD883B-BADC-42D1-8D1B-42F9D4AAE73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7616634aca219cbbc097bb228d1d5a9ac2d6d079","datavalue":{"value":{"entity-type":"item","numeric-id":3487323,"id":"Q3487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$23346E16-2B5B-4BA0-ACA3-B18051FC62F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c844ee5125b77c2616ce91cb7ac431a1afc191d","datavalue":{"value":{"entity-type":"item","numeric-id":3632824,"id":"Q3632824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$E4E2DD1E-0040-4495-BB29-6A9CCD673B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a27ea1adfeef0cc7b3b35c2fae7d00d40296d9","datavalue":{"value":{"entity-type":"item","numeric-id":3474758,"id":"Q3474758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$AEE083EB-D834-4785-920A-B07D77D3EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85373d399801519a550d380b12926e7f53b76871","datavalue":{"value":{"entity-type":"item","numeric-id":3847961,"id":"Q3847961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$096312F8-D460-4301-943D-6FB466196697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ec50ed00a372a4737e593b1329b2c393c50375","datavalue":{"value":{"entity-type":"item","numeric-id":3441434,"id":"Q3441434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$D0357BE7-1C64-4C57-BDA6-6209C4F52E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$1C9E3D46-89D5-4474-A2C0-8C6EACCC73FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b393bc737aa7b261523890de5d9bdacc3770e2","datavalue":{"value":{"entity-type":"item","numeric-id":4836044,"id":"Q4836044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494649$C355057F-7612-46DE-95D0-0334A0009F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdbc8b97b6a0f1b1166233defe14808b0b31051","datavalue":{"value":"10.1007/S00153-015-0429-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494649$46B50AB7-9DE3-453E-AE9E-C93E2AD0AE7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd258d66f51e5740e4b16267ff009e4da000f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3128008,"id":"Q3128008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90628bb7f7a623a60aa9aedca2d9631ca4a59375","datavalue":{"value":{"amount":"+0.7219520211219788","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":"Q494649$DFA6B323-AAD6-45E1-B2F3-1EBA83FC3E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ed784d9cd5bbf1b2b408107fc130d53b4adc98","datavalue":{"value":{"entity-type":"item","numeric-id":1814113,"id":"Q1814113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90628bb7f7a623a60aa9aedca2d9631ca4a59375","datavalue":{"value":{"amount":"+0.7219520211219788","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":"Q494649$F9DA6DBE-0C2B-4AB4-8224-642AE79DD465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0bb6c933d6bc14fe5df59eb43ac969ea76100c","datavalue":{"value":{"entity-type":"item","numeric-id":1842127,"id":"Q1842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0218612e03aff4a7687c9c993db3aa88939a08fa","datavalue":{"value":{"amount":"+0.7156410813331604","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":"Q494649$32B34669-3CAF-45FC-BAA3-0720964EC248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d1d5dad2a115051e8e44a7c09345cc3193ec5","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ab284ed052cc323c116d8626c42f3aa6153489","datavalue":{"value":{"amount":"+0.7154900431632996","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":"Q494649$10510C31-C0A1-43C6-94F3-DAB77D9A4E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646e2637900064dcc23453788294e42cfe7f617d","datavalue":{"value":{"entity-type":"item","numeric-id":3134672,"id":"Q3134672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0517266695d79a27f1cb4e8a271eef14a65179","datavalue":{"value":{"amount":"+0.7149520516395569","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":"Q494649$77EB8D44-97B4-4E82-AA15-2C17C013862C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive primitive formulae of modules over rings of semi-algebraic functions on a curve","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_primitive_formulae_of_modules_over_rings_of_semi-algebraic_functions_on_a_curve"}}}}}