{"entities":{"Q1295415":{"pageid":1306165,"ns":120,"title":"Item:Q1295415","lastrevid":68393331,"modified":"2026-04-12T23:24:48Z","type":"item","id":"Q1295415","labels":{"en":{"language":"en","value":"A general model completeness result for expansions of the real ordered field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308094"}},"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":"Q1295415$2315CC9D-E66B-4F53-B85A-CB80D34B7E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d07c588fb04c1e1bffba6a88a506273abcebab4","datavalue":{"value":{"text":"A general model completeness result for expansions of the real ordered field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295415$022B7DED-A43E-4B0B-A246-0B666E497981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdb4a98f4e6b348908b3da37e3d1029e0afb68af","datavalue":{"value":"0972.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$B1984338-F7B3-4239-9095-33E41F15EAD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa7ff34c33f377ec6d26f3db221414bee44df1c","datavalue":{"value":"10.1016/S0168-0072(98)00012-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$FBC456E0-D872-4FBE-AF50-95B1D17CFF73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba44956a71e7012194b7e5b8c902ec5a78ed70a7","datavalue":{"value":{"entity-type":"item","numeric-id":1295414,"id":"Q1295414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$DBA8E67C-32DD-46D0-A15F-2F00286D9468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$3B5F45B7-028E-488C-9F7D-8BCF9E07F640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b50c483751cd86cb210b1ff9c02447be3fef6e","datavalue":{"value":{"time":"+1999-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295415$DDDDFA56-34BD-403D-8465-5DA14057B3FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$61E92E3B-8B43-42A4-89FD-0FFC1D547641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$98A24494-9B6F-4F1D-8ECA-095986C8A364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$4AE9188A-B053-423A-8171-7C7FB4880A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$B74C99FA-95E2-488A-8AA7-F89B2DEA0A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab501a49dec58a53ce8b6bb9f756c65ea353a670","datavalue":{"value":"1308094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295415$524C8BDD-8FB1-4EC4-B82A-DAA367534CEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295415$5057FB30-171B-4337-B5A1-98D55E1AB29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f39e986a58e58e26cb3631a0b8437a69fdc4df1","datavalue":{"value":"o-minimal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295415$B541F2F9-5881-4240-B327-25DAF16DEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044b78ac1ff5d8a6366b2ae83cc48b6674b43f47","datavalue":{"value":"tame systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295415$F359B2F1-9550-43BA-ACA5-0AF321D33DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3f7b2f6b7d6ddebcbd600b7ba8cc25f783dc0b","datavalue":{"value":"o-minimal expansion of the real ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295415$286174C2-F23E-49D1-8F9A-FB9CE16328DC","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":"Q1295415$88AFABA9-E26C-43A5-9B12-BB9431C9F803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9014f17efcf391e1345a12e82e95d99dc4129","datavalue":{"value":{"entity-type":"item","numeric-id":1190720,"id":"Q1190720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$CD9E22F0-5D39-415C-A264-6BA029018EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc93e1ef5ba62b8f3c9a7ecea0b18931afd8821","datavalue":{"value":{"entity-type":"item","numeric-id":3837729,"id":"Q3837729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$85DE7005-5770-4303-8FA4-1A3A2A10C7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6073ced0719d866016455d739b76040d85b235","datavalue":{"value":{"entity-type":"item","numeric-id":1914830,"id":"Q1914830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$AF216341-CF9E-4F94-BB02-051402B4F6BA","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":"Q1295415$BA93D4FC-DC83-4CBE-B0DF-DF5FE31B726D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$E9792B52-1C97-4829-9FEF-54CB3C781CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b86b2e54b45c9bcaa36685917114010aa9819","datavalue":{"value":{"entity-type":"item","numeric-id":1971497,"id":"Q1971497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295415$05E17C52-EFA6-4CAC-B861-B3B503055622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec72aaa45e41da3d6820777a307a90ca2fbcc79","datavalue":{"value":{"entity-type":"item","numeric-id":2473015,"id":"Q2473015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2055570bce58fa918ce223f04c60538aa750d48f","datavalue":{"value":{"amount":"+0.814540445804596","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":"Q1295415$03631BCE-310D-4926-AEEB-F85EF6596B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9083fa99d6f4dd04787026fc200960f15c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4211151,"id":"Q4211151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52da57e3e219eddca130a2c1a088fc4a712df334","datavalue":{"value":{"amount":"+0.8033820390701294","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":"Q1295415$1591A991-CD65-4AF0-ABAD-210537ED73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59589dd190390fbce73d2a9c1c1dadad176e8971","datavalue":{"value":{"entity-type":"item","numeric-id":1320026,"id":"Q1320026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180f9db60bdc0dc91c493bbe998cc76d7ced13a9","datavalue":{"value":{"amount":"+0.7969648241996765","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":"Q1295415$7D46FBAC-7A9E-4484-A193-B6D45F205F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6efd8941ff8733969e62616254e457f026d8a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2430112,"id":"Q2430112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4ff6cb278db93e9b55c184200221b7d71249fe","datavalue":{"value":{"amount":"+0.796199381351471","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":"Q1295415$C05A1152-1D7C-481B-81AA-9DD929404960","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general model completeness result for expansions of the real ordered field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_model_completeness_result_for_expansions_of_the_real_ordered_field"}}}}}