{"entities":{"Q1904385":{"pageid":1915127,"ns":120,"title":"Item:Q1904385","lastrevid":47378248,"modified":"2026-01-01T13:51:30Z","type":"item","id":"Q1904385","labels":{"en":{"language":"en","value":"Back-and-forth for systems of antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828180"}},"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":"Q1904385$0CF93647-B1C4-44F6-A472-AAB3BF01DB55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"989271d43aac6ca64a527f6d357fb05eb3843f19","datavalue":{"value":{"text":"Back-and-forth for systems of antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904385$29F35BD7-BA34-40B9-BCFA-A1A401F598B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0d13f04a2583f2d5f401d7a1c4efd5ddd1aef09","datavalue":{"value":"0838.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$EA3AE27D-273D-4392-860A-0E9D72B497F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0d782d0697781b27b0a4c97131f6174acca9c06","datavalue":{"value":"10.1007/BF01111742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$D704069D-7EBA-4AF4-8E14-176023242E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$00DE2B25-8CDE-41B7-8785-E660FC438ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6a4059c7dcb0f47b5fff19f8c6a086d332c3ac5","datavalue":{"value":{"time":"+1995-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904385$DD6C28BD-1FC4-4B4F-AE06-E1933834CB76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6a70b705ea07e713b13684c13034d36130a1a70","datavalue":{"value":"The author deals with root systems, that means with partially ordered sets such that the final section of any element is totally ordered. He considers the distributive lattice of all antichains. It is shown that the first-order theory of this distributive lattice is completely determined by the first-order theory of the root system. This is shown by describing a suitable back-and-forth system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$23D92C48-2699-4973-8A6E-FE35033FD942","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$9C4A6235-E0AB-413C-B671-7670B084CD31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$0AADD0D3-1480-4EB8-9B5E-0B9771A3930D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$E50FF664-C0EB-48EF-89B8-DFF871DED2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$08335B72-767A-40B8-AF19-30A24B892D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$498A3357-DA84-4907-9016-E81C256F0E6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f863c1918918a68ad389aab887f0f9471340212","datavalue":{"value":"828180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904385$4901E953-635D-46E2-8B92-5A7D6C9BB70D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$E8C278EE-C24D-4173-87D3-CC29C37C2420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a81cdf753a88fa2deb2875214c32bbf4567496e","datavalue":{"value":"root systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$E2C055A6-FFFF-4256-8B97-EC960D79DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$48E0E2A0-FA85-498A-BFBF-9448CF47694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$F5809E2B-0B63-4A21-8394-206B6586BADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$C0910A97-D950-48AA-9970-E53A2427E5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c75bd2eb08debb8b81662d9788b7dd1507a2142","datavalue":{"value":"back-and-forth system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904385$7D559B7C-783F-4969-93E8-77C9CC558176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9f253c9bd97a65ef24ecc0b5f7393848028ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1205167,"id":"Q1205167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$1574E14C-36F9-4FC8-9111-A6B6598FBAE6","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":"Q1904385$CB41D6AC-9BBB-466C-A8B0-B0DCBC5F6AA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a783b340982e209220ab58d0d2ae8ddb4c998e1","datavalue":{"value":{"entity-type":"item","numeric-id":5537698,"id":"Q5537698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$BD59673C-CF25-44C1-BA39-C2F5B1841EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55ade248c576bcbf7f3ddbdb94d9130c61169fc","datavalue":{"value":{"entity-type":"item","numeric-id":5332633,"id":"Q5332633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$AC37A64E-B32E-4DE6-A3F6-86FA70FE7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$A82D517A-EB45-49F1-9020-D165F2A3E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7770f3dd4471fe76559509802a0ad120518eff26","datavalue":{"value":{"entity-type":"item","numeric-id":3674629,"id":"Q3674629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$BF3CE910-6E75-4B17-9A55-984359DB654E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3b37533e3ca9b334bfbd48ec2608d1056a9ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1911755,"id":"Q1911755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$23EFB9F8-A8B0-4F7B-9EF2-F3D29C6FA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d49a30f7d1bde5c824848afc90791899be9d096","datavalue":{"value":{"entity-type":"item","numeric-id":3931369,"id":"Q3931369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$553E3640-20EC-43FA-8470-B6472030C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904385$B2CB7076-BF82-4487-B377-99D78617DF92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f68a8fdf1f984700a67c834d6ef9c8967be546","datavalue":{"value":{"entity-type":"item","numeric-id":4680312,"id":"Q4680312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fedd4a8a08b7d697d053b7261c4f404e2c760a3","datavalue":{"value":{"amount":"+0.7458521127700806","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":"Q1904385$FFB2AEBB-B2A7-4EA1-A51D-BB8515128E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b642b8f23e2275817d849d5168677bde29d45ac","datavalue":{"value":{"entity-type":"item","numeric-id":3142965,"id":"Q3142965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c65376fe73f2610c18c8b47bedbb922226d180d","datavalue":{"value":{"amount":"+0.7344685196876526","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":"Q1904385$826F893D-2369-4AFF-8FDD-6F711F2F0D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c44b0b2dbd0a30648581b9959e56c00b92ecd1","datavalue":{"value":{"entity-type":"item","numeric-id":3135965,"id":"Q3135965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798c117dbc0dcd29306ded6d897c1522b073df52","datavalue":{"value":{"amount":"+0.7253263592720032","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":"Q1904385$C8CFFB55-F441-45EA-99CC-AF60528A38A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe991687d7c44ae30136a92b7ba0347a04e8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1047091,"id":"Q1047091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798c117dbc0dcd29306ded6d897c1522b073df52","datavalue":{"value":{"amount":"+0.7253263592720032","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":"Q1904385$1066060E-604D-4C7F-AD12-492CECBF4E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b1cb4682d1a1883708492cd9539c83d384c246","datavalue":{"value":{"entity-type":"item","numeric-id":807647,"id":"Q807647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87045f757be9e4af25abf925ab1398c7b024a914","datavalue":{"value":{"amount":"+0.7163902521133423","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":"Q1904385$9F7D4768-AE0D-448D-B0BD-E0625F49059D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1904385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1904385"}}}}}