{"entities":{"Q1155098":{"pageid":1165847,"ns":120,"title":"Item:Q1155098","lastrevid":66268509,"modified":"2026-04-12T08:38:46Z","type":"item","id":"Q1155098","labels":{"en":{"language":"en","value":"Decidable theories of preordered fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3730275"}},"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":"Q1155098$262E3FB6-4E07-4702-9916-DBF46EF51F22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c18e14ff048cf81553a33dc5609e4f1e2296dca","datavalue":{"value":{"text":"Decidable theories of preordered fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155098$DE54B20C-0F71-46DE-AF5D-CB04001AB8A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"708349e0eb5250ce9e438d12f8f0cc73ae2c61a0","datavalue":{"value":"0466.12019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$AAD8F435-F9EC-43D5-8D9D-35B8DB721921","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f75ef4288faed894f71b935dfcbab752e4613e7d","datavalue":{"value":"10.1007/BF01453981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$B07AC190-6A80-4A95-8246-324B172C63E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$CDC46B55-F803-47E9-8061-06CBFC0DC7D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1155098$FFE11DC7-CED4-4542-B4E7-ABDE055288F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b97f5793c534248ecb213b6defe90152a9d85543","datavalue":{"value":"https://eudml.org/doc/163613","type":"string"},"datatype":"url"},"type":"statement","id":"Q1155098$7E0EA2E3-596E-451F-A259-FDDD1650EA20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$26711961-CC98-482F-9BC7-158FB944326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$3194F7F2-0C18-44DA-989F-CA535C391621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$3EB2F9A3-B0CC-4036-A4C7-B1998BE842CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$4272CB88-E0D2-48E9-AFA6-C8159554AEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9394b8903a4eec39c4ffc363a11fa92bf794f3a","datavalue":{"value":"3730275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155098$47E98C0A-6B32-48DA-998A-E27BF872FE9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c39d257d76836738f474ae2ad0baf553ea77ac3","datavalue":{"value":"preordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155098$5651BDDF-82B4-45A9-8B91-DCB794A3FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155098$E044AF46-0E83-4275-AA23-C9F6090287E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155098$F61A4E0A-E10A-4E78-9AD8-0F82EFF72F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155098$F667C588-4DEF-4EF6-9EB8-FD4E9DA0C669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02cb65e749db03889c98b08c69bfa0c4bcb1a840","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$66513A6F-508E-4292-8522-224B59443CFE","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":"Q1155098$59E9BE04-BC40-4E34-B356-05ECB9F0E8E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ae802aa19de6d3f47854350d39316c7f3b4853","datavalue":{"value":{"entity-type":"item","numeric-id":1241541,"id":"Q1241541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$5F3C0469-69BF-43B4-9FC1-403CABA25906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9d8c64de613f86cc571b6bcb753d6c4939d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1227612,"id":"Q1227612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$1FA43AC7-69A5-4781-A7A2-277484BDD039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7f5167f143778d48e0c0798b7cf80c6178773","datavalue":{"value":{"entity-type":"item","numeric-id":4182814,"id":"Q4182814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$8A4748BA-1FBD-4858-B20E-43D7EE8191E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5807af91b76a1e07c0b35ea888b8225dd65f5f","datavalue":{"value":{"entity-type":"item","numeric-id":3884218,"id":"Q3884218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$DFEE0D7E-E030-4643-94EA-3AB1F1E0761F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7c0c39385c53fed90551bea7d43ffa08fc8e3","datavalue":{"value":{"entity-type":"item","numeric-id":799734,"id":"Q799734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$F72458CD-F2E9-4F11-BF2B-C182F1DDA5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$B82B695B-163A-4DF2-86E8-8F35AC8BED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea0899ce8851e6f24a944697d44c53b7f5309da","datavalue":{"value":{"entity-type":"item","numeric-id":4075557,"id":"Q4075557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155098$1A496FAC-71E2-45E6-9798-B8C11E5D4542","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":"Q1155098$92960198-3A87-458F-94EB-BA2BF5DF4BF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable theories of preordered fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_theories_of_preordered_fields"}}}}}