{"entities":{"Q5418516":{"pageid":7448090,"ns":120,"title":"Item:Q5418516","lastrevid":92439302,"modified":"2026-06-05T01:43:21Z","type":"item","id":"Q5418516","labels":{"en":{"language":"en","value":"The problem of Horn and Tarski"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300526"}},"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":"Q5418516$23016811-29D0-47E2-B157-5586EC77DDF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5c2193918b24306825d09599613a74c503ac8e6","datavalue":{"value":{"text":"The problem of Horn and Tarski","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5418516$7002EEF6-AE56-4683-AF20-8374FF8DC9DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21504a58ddb98c6b737ddb9233d9287a5b967b01","datavalue":{"value":"1323.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418516$F42C57B2-1363-4DC6-93B6-0E8D1D91520E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"571070f39f6882a8b969310e7fd468fd91bf47c4","datavalue":{"value":"10.1090/S0002-9939-2014-11965-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418516$87BA51AB-9C67-4330-BD48-AF2805757B5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f367c8c0aab7131b4d28c3fd2191be7701e590f","datavalue":{"value":{"entity-type":"item","numeric-id":1175238,"id":"Q1175238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418516$A906082A-CBE7-4752-A89A-AC9B9E9030FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418516$4F68BE8A-9BC1-4740-9E38-8E5E599ABB99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fddd97b3c6b0df70ec750ef42d1239f50e1e71b","datavalue":{"value":{"time":"+2014-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5418516$CFF099D5-88DD-48B8-BC2A-2026DF59DCB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc4657574f9851e3eb8257043944899441d4e22f","datavalue":{"value":"https://arxiv.org/abs/1206.3920","type":"string"},"datatype":"url"},"type":"statement","id":"Q5418516$B981B6A0-2AA2-46EE-B1AF-73DA6CE2BA72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418516$00228D2C-D37C-4E3D-89A0-611A0365DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418516$B05083B1-7F32-4090-99F2-F350A1239A4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82bf30d0cbbf1998dae9815950c6054bf8eca346","datavalue":{"value":"6300526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418516$8A5B5D7C-088F-4689-8FF7-B6B1F9B0D618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418516$F62C7747-5513-4E46-AF8B-7D43AE0CCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76d4865e448ad8090d3938f344ff72123cee9cb","datavalue":{"value":"chain conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418516$62B488E0-0ED9-4DE6-83C4-5B1A184D1BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c042bd1869e881bbc1e9afa7682a4ddfa4f6a8b","datavalue":{"value":"omega-chain conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418516$A0CC1E5A-864B-4208-9AD7-95D10DCFDAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418516$F4F6DD6A-7D0E-4A53-BACE-5F48FDC9F67B","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":"Q5418516$6D4CECB8-1DE2-4129-8FBC-572F22246A30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418516$EC7FE891-D239-42D7-B0EB-3589C766FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b0894816ac7a6ae10cd19acfb75fe340ffd45e","datavalue":{"value":{"entity-type":"item","numeric-id":5919974,"id":"Q5919974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418516$CE915B5D-60D4-4227-8FFA-8C52FFB7B4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f69f5f12e4b6cfaba1635aed074a8889a7eb27","datavalue":{"value":{"entity-type":"item","numeric-id":3348903,"id":"Q3348903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418516$C0DDCDF5-3470-40D1-989B-9C6282307C4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f634d779ba6bf8edeab296847a80657a8c37794b","datavalue":{"value":{"entity-type":"item","numeric-id":5131525,"id":"Q5131525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3280b5214cfb2c5d19c92e7c3bdffd45b12adf","datavalue":{"value":{"amount":"+0.8121922","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":"Q5418516$2DD12AC2-45BC-472C-ADCE-09F394FEF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90a84b0348f94cadb29b77fe509e7691c7a072d","datavalue":{"value":{"amount":"+0.80925834","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":"Q5418516$8F33039A-3213-4FAB-A93E-DCACC9E80552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9671da2ace0d3eac481c7b09bdd1ba55db0362f5","datavalue":{"value":{"entity-type":"item","numeric-id":3798649,"id":"Q3798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90a84b0348f94cadb29b77fe509e7691c7a072d","datavalue":{"value":{"amount":"+0.80925834","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":"Q5418516$D368AF8C-931D-4553-8B9E-A94FCE3D29A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85d204ba140de2ba0bcf39f4c004cfccbcbe62","datavalue":{"value":{"entity-type":"item","numeric-id":757095,"id":"Q757095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90a84b0348f94cadb29b77fe509e7691c7a072d","datavalue":{"value":{"amount":"+0.80925834","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":"Q5418516$E1C4DBFC-76D6-4817-A3AE-E6552CEBFD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8e7e5be1a08d5f56b27841b4909607d8d4fbaf","datavalue":{"value":{"amount":"+0.80441606","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":"Q5418516$2AFF088A-FF31-4598-B838-D8F61C9DC54E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of Horn and Tarski","badges":[]}}}}}