{"entities":{"Q2318170":{"pageid":2328913,"ns":120,"title":"Item:Q2318170","lastrevid":57845148,"modified":"2026-04-02T18:54:56Z","type":"item","id":"Q2318170","labels":{"en":{"language":"en","value":"On decidability and axiomatizability of some ordered structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7093993"}},"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":"Q2318170$12DDE232-78F3-4F9F-8D82-805B90B61D6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c9ac31ddbc3b3e81238a8e3bff1649e465584e9","datavalue":{"value":{"text":"On decidability and axiomatizability of some ordered structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2318170$16234078-8468-460B-9CC2-B8B8465B3A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ea1d8777efa0dcb4a53f4bb51e73dbcb47a735c","datavalue":{"value":"1418.03171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$A0DA05A8-DAA2-444A-92AD-153FAA322855","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba48627cf6a921f05070a4c79f2b81408be1c332","datavalue":{"value":{"entity-type":"item","numeric-id":2318169,"id":"Q2318169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$6B49AE20-EAFC-4E4A-BC38-680EA1D44FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1c83971d160faa3e32e3b0606692b817762b53","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$9C368FA5-9E54-40FC-99AB-32487BFC706C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$E375C658-3478-44E6-8DAB-6CDB9C68FA26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3bd4fd2836f62a47c63b356f58d39447dba30be","datavalue":{"value":{"time":"+2019-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2318170$17BB0137-6A38-4E97-81B7-3B0E2B336EE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f7d99e386dfa86a16c781869bee6b4acfda5697","datavalue":{"value":"https://arxiv.org/abs/1709.05157","type":"string"},"datatype":"url"},"type":"statement","id":"Q2318170$72D924E6-95C2-4E6B-9759-18E5A558BB87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$A1B0B2D7-FE3F-43EA-B470-973529457667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$67E8E0CF-059E-4DDD-BC4C-2D6D9234B050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$DB975ECE-C9D7-4770-9811-099B4E470DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f991f0e5fce9ec0e14624202ea8148a7e3345766","datavalue":{"value":"7093993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$53408B14-2BAA-42D0-94DD-B203A8B72B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$C8DB7BE7-586F-42B1-9737-D9FBBC9EA986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$267081A3-CC17-4A6F-8225-EAFB2F494970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$04BC8EAF-C754-4C57-97B0-F4117695996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$B91EF0ED-FE68-4284-B954-F35CB9A8468D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$8CEF8C12-1B9A-4F26-9128-6EDD68A2322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$8FE43F46-E84B-474B-B0A0-48693F99F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75594ac136f9b33a56ba5453f9c36aa75387b338","datavalue":{"value":"ordered structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318170$44CA4B06-BC4F-4BF9-97BB-BAB1331A6C67","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":"Q2318170$4CE9DF73-02F4-4E0A-B892-E1B6718CE92E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e877d28f6e741664f7719b8bda199d6fc2e9e97","datavalue":{"value":"W3099601755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$CE4D891E-B64F-4BB2-911C-6ED86ABA213A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2754e38d484fb089747029c45fdb6dd617e7aeb3","datavalue":{"value":"Q57533014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$8DC6BD5F-498A-42FB-8169-A609509D318F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$DBBCE20F-F27A-4894-837D-0D2D10E840AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$7C6CB5A7-A9FB-42F7-B876-0CEDEDC0CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a646b355718940050e4445ea6abdb4e4724ff1b","datavalue":{"value":{"entity-type":"item","numeric-id":5725757,"id":"Q5725757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$E26AA35E-1C34-4ADE-A83F-121254E56F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$89AA686C-955D-446E-BFE7-F6D65C9683C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5585e50b3b2de9757175a3f0e2687ada403adc","datavalue":{"value":{"entity-type":"item","numeric-id":5623682,"id":"Q5623682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$275DF3F9-54DC-4086-9625-B949B4D7D027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$6325A965-15C1-4289-9CA2-B233F7F4AB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$44180524-C6A9-4619-9248-48FEBC1230A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$6196B069-8B4D-4CEA-AA99-5126EEE8C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2675cf44034874304ad7715a25efcbf4bf6a7da8","datavalue":{"value":{"entity-type":"item","numeric-id":5816768,"id":"Q5816768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$B67E1FE1-C173-48F2-825A-1D91E94E2EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703ca62ff94d83a5967998840c0e88086a530788","datavalue":{"value":{"entity-type":"item","numeric-id":4724592,"id":"Q4724592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$469AF141-3B1B-42D8-85B0-20513AC6016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4906babe5efa1a516339732c738708446580bf","datavalue":{"value":{"entity-type":"item","numeric-id":636396,"id":"Q636396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$6518EBBE-79E5-4DE4-8A94-B4ECB1AEF211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$4C0A4BFB-4CBA-40E9-9B02-CE05C795A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc04418faff4043e9fa45ad372a3c5c8cc2262","datavalue":{"value":{"entity-type":"item","numeric-id":3274978,"id":"Q3274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$DF3F7065-BBAB-49F6-9CC7-F86ECF47E9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9563ab7391038e76c92264949b858703f36761d0","datavalue":{"value":{"entity-type":"item","numeric-id":4643213,"id":"Q4643213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$1D6B2693-C839-440C-B227-B39DE28A4005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$0EE68FAF-E210-4D14-8BA1-2C9FF0ADE620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832861d947fc9267026378b37863c756abe02825","datavalue":{"value":{"entity-type":"item","numeric-id":5792042,"id":"Q5792042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$D8D391A6-72A2-4CB0-A12D-B720E814BEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$FCB1959E-2DC6-4DF4-9789-05C73A4BF861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111a8f97398bf0e05a2f4a2219778fb9a69b9969","datavalue":{"value":{"entity-type":"item","numeric-id":1699730,"id":"Q1699730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318170$22C41C74-CEE6-4753-81A4-DC8E374FF10E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730eb1a3efae64f826fe83a6ec25c30a94956946","datavalue":{"value":"10.1007/S00500-018-3247-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318170$DDC39E69-F672-4578-B8C5-C805A6AE4821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ca21efd5c3cb8bd1f8c7645e64c46fe014d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4643213,"id":"Q4643213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9325af1672fe452b33cdf68011e8e20f45ee689a","datavalue":{"value":{"amount":"+0.8327727913856506","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":"Q2318170$C998274C-611A-4A7F-A8C2-2807AB5DE353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8812e20eca43529bbaba889dfc3b75a8addc88","datavalue":{"value":{"entity-type":"item","numeric-id":2311210,"id":"Q2311210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d606c807749a43b93109e279530e05db80f8bc","datavalue":{"value":{"amount":"+0.770869255065918","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":"Q2318170$59512EF6-5A58-43D8-B79B-1C81CA3E856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77d5ca37f4a8b34d9789fa88b53247eb4270105","datavalue":{"value":{"entity-type":"item","numeric-id":5928309,"id":"Q5928309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a469110aae53f31b05b3ca74f33d1a6349dd6d","datavalue":{"value":{"amount":"+0.7595095038414001","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":"Q2318170$2AC2815D-22D5-4184-9AF8-106E3C270493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72475bb3e82309a8b46df6f3aa754936fdbb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":2976377,"id":"Q2976377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b44648571dbc3a93c09c730350dcea0fad3943","datavalue":{"value":{"amount":"+0.7546310424804688","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":"Q2318170$9E21CD83-6CB7-436D-9F13-B3249BB6758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb28761b6e386ab8e80cf524fda41a69e91db307","datavalue":{"value":{"entity-type":"item","numeric-id":4351924,"id":"Q4351924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe260da53816da0b727e4f29de23a321f221700","datavalue":{"value":{"amount":"+0.745172381401062","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":"Q2318170$B3ABFCAE-0E90-4CBF-B3D1-83BA8FA6B081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2318170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2318170"}}}}}