{"entities":{"Q1765103":{"pageid":1775845,"ns":120,"title":"Item:Q1765103","lastrevid":73615350,"modified":"2026-04-14T16:39:51Z","type":"item","id":"Q1765103","labels":{"en":{"language":"en","value":"Axiomatization of local-global principles for pp-formulas in spaces of orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137164"}},"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":"Q1765103$F843975D-4A5A-4167-A5AE-FB919511A43C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8055872564f9cee9c769eff5d61079fe1b9b7d","datavalue":{"value":{"text":"Axiomatization of local-global principles for pp-formulas in spaces of orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765103$FCA527B5-AC24-4E31-80F4-FD7FBF6E4ADE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a8ef05e86d63f48a551945e48356f433f862798","datavalue":{"value":"1099.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$00A7F5D9-75C7-429C-BB88-AA7600E68C19","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":"Q1765103$BB3882F9-4D12-4060-B64B-9FA7A760504F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765103$C607FF17-A95C-4C6C-9EA1-F166359682F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$6DE09D23-97C3-49D5-9DA1-161433766D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$09067BFA-3498-451C-976B-1F8DE22B5637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0305678d8e14d0483bc91362f7c057f1f9132e42","datavalue":{"value":"2137164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$89B969C6-9F40-4E7E-A637-1F8F35458993","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ed7795d312ecc08abe9e4406c53d325c47871","datavalue":{"value":"Spaces of orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$76A92785-0315-4F21-877E-BEEDBB310D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086cbcd4faa05bacba2d0f2aa03c06567ef3dc63","datavalue":{"value":"Model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$CC6488B1-0CC1-4197-A89E-024584F38577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c6c0637b01cb4d62665b5e4977f6e904388e52","datavalue":{"value":"Special groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$77489087-8597-472B-A6D3-90E78690F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2aff0b587bd2dbd84ae83fbd5e46d3e6fd26816","datavalue":{"value":"Positive-primitive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$520818C5-3266-4C15-991F-EAED4618FDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0dee56ebdfe7fef40e3c4ff29795814095aadf8","datavalue":{"value":"Local-global principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$DC6CF54E-021E-4E15-BF1E-060305E2095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed86a0de13ccf49ffd33d1e8945d3d9013947735","datavalue":{"value":"Quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$B7E2CE0C-5B57-415E-8EDA-205956E7DDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b682a33dd9b389acb86f09aca553db9ffc13d64c","datavalue":{"value":"Isotropy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765103$6794D973-53AE-4BA9-ADD6-21B77C06E97D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d326eb193d4f64e03a622adfa869ac91246d440","datavalue":{"value":{"entity-type":"item","numeric-id":232536,"id":"Q232536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$5A57F133-946E-43DD-9816-8D6C1BE49818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6fc3f4d4a807d8491ed5e63b6d0fe5e5ed4820","datavalue":{"value":{"entity-type":"item","numeric-id":439221,"id":"Q439221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$4E15641B-BA37-4512-90DA-30EBBFF54A4C","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":"Q1765103$E5C71797-0B90-4CCE-8361-D7AC5DED4470","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9473c2f4ef892fe3bbf0cc4e87878f8a8d1cb6cb","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0236-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765103$789434E6-F8B3-46DE-A972-9816D9E64DC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75761baeccdd02847c46ddaa083c1948e7411110","datavalue":{"value":"W1997486010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$ADBC2E1F-E7F9-4FB0-B7AD-416EFCC1ECB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"702832e58a6ba14f0b2ffa2078f684057f3cd9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4889879,"id":"Q4889879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$5F5550A6-725C-4C32-980C-1019BC0BB4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e6f0e6f9b856d3fe309ea267eabb558f459932","datavalue":{"value":{"entity-type":"item","numeric-id":4489359,"id":"Q4489359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$B99CF30C-8298-4800-B437-D02FCB10BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4d6d4df77f850f8d1e626e32de6aed5ae217c","datavalue":{"value":{"entity-type":"item","numeric-id":5896270,"id":"Q5896270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$71DB4D6A-4A02-41E6-97C7-DA3CB8D6523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72d35ca9f65a3486af41131d3dcd0480ae3be5e","datavalue":{"value":{"entity-type":"item","numeric-id":3870960,"id":"Q3870960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$61E55995-98EA-4D79-8876-F5D3A7BED00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a0565c8e363c652fb0a11d24c48f608b9944e9","datavalue":{"value":{"entity-type":"item","numeric-id":1815562,"id":"Q1815562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$E8E66DC7-6286-481B-8C25-72B969F88382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff1e24dcb4a75f3a1c9cb0cb686d943a90d718","datavalue":{"value":{"entity-type":"item","numeric-id":4532619,"id":"Q4532619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765103$1AA7C5E3-44B0-498E-B23B-F2B71805690E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df13af45ef40a905022f793a856e4c6d7617a991","datavalue":{"value":"10.1007/S00153-004-0236-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765103$F0B74283-BD7C-4692-9CBC-98422E8C3B73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29fda7bcf208e87c4b1d787bdfcdf7f7cc6e39e1","datavalue":{"value":{"entity-type":"item","numeric-id":3416104,"id":"Q3416104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5829e7cda189c011483585dfb2f15b60c206b961","datavalue":{"value":{"amount":"+0.9266792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$CEC16628-0BFD-4987-8A4A-86F18E66534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa86a7bdb51495daa8664e1c4adc90d6aa0f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5201908,"id":"Q5201908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93498cb4f5f3c1235f3377d70ca94cd311b121ff","datavalue":{"value":{"amount":"+0.8587073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$5422968E-97C0-408B-8ABF-150108F54073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0604a904f3074a58acc10f411215b5795dbed355","datavalue":{"value":{"entity-type":"item","numeric-id":5738900,"id":"Q5738900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317f8fed41e57ae82759d48c763bf637194e689a","datavalue":{"value":{"amount":"+0.8533578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$C40C1741-F0A9-4D28-B986-1719AEF90B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ff63867f02f8bbcec6ea1606af654f464f4977","datavalue":{"value":{"entity-type":"item","numeric-id":4218118,"id":"Q4218118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317f8fed41e57ae82759d48c763bf637194e689a","datavalue":{"value":{"amount":"+0.8533578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$A488E273-702A-424E-8719-FF3F4A37A98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10d0f1cccfe85286139f3a2012def79cc7e9bb6","datavalue":{"value":{"entity-type":"item","numeric-id":419040,"id":"Q419040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e0518badcab1ff8fbc572f5b26a5e53ccd8d1b","datavalue":{"value":{"amount":"+0.84744996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$F4F79DBB-AC6C-4E01-B8FB-D27CFB941C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76d2af36863405011dd7965a53f421a08de8f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5446292,"id":"Q5446292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dab6fb89a6d5bcacc4d5b8af680240f265928b0","datavalue":{"value":{"amount":"+0.84453756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$A09E06DE-7BAE-4DAD-89F2-A743ABEC3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ef0062ec0ac514ec239da152b33f97a96028e7","datavalue":{"value":{"entity-type":"item","numeric-id":945888,"id":"Q945888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c6141b91860d4905ccf8ccea900c34d2f0812f","datavalue":{"value":{"amount":"+0.84129965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$97EE35C8-1EDF-403D-A058-AA6F284895C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02f91eac5e929f9761d917f653b3321e72e8968","datavalue":{"value":{"entity-type":"item","numeric-id":2849490,"id":"Q2849490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b3c67dc574000c35685839366dfa136b59a895","datavalue":{"value":{"amount":"+0.84039026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$5383CDE1-824D-403C-AA9D-AFF03E8B16C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bd15ed9f675c92b427f75d702d37ea95538fc9","datavalue":{"value":{"entity-type":"item","numeric-id":1970934,"id":"Q1970934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78f515307fecc3db7c676ec8dd8f00396109968","datavalue":{"value":{"amount":"+0.8394925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$F1117981-F2E2-49B6-B970-224B209FE72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907545100b75a636a15521f8824909621ec27356","datavalue":{"value":{"entity-type":"item","numeric-id":5111496,"id":"Q5111496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb7c47d5b5da55e808863149e85e9635ad1778c","datavalue":{"value":{"amount":"+0.838523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765103$B7802D1B-3F26-4C06-B8A7-FE16BF0D8341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of local-global principles for pp-formulas in spaces of orderings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_of_local-global_principles_for_pp-formulas_in_spaces_of_orderings"}}}}}