{"entities":{"Q1652877":{"pageid":1663618,"ns":120,"title":"Item:Q1652877","lastrevid":68061528,"modified":"2026-04-12T21:10:41Z","type":"item","id":"Q1652877","labels":{"en":{"language":"en","value":"On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904426"}},"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":"Q1652877$85848A8F-B681-48E3-A711-D2F0EE5E9311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89b1aa644b29fb5f634ee4ef8df8baac2fd29e20","datavalue":{"value":{"text":"On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652877$884946C2-BC74-4812-8972-662AD39AD74A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$B643AD87-DBE6-4BC5-A7A4-D0005763554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$35C3367F-0F1A-42F3-80DF-61AD30615E9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$CB5FA2F7-E3BB-411E-B857-5443BF5B221F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05ab478c1b3d983a6bbb2903fa84c4982a8bb3dd","datavalue":{"value":{"time":"+2018-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652877$94C1E517-5FA4-4242-90C9-105A5143BF8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$8F232E7D-F97C-4A02-8264-E3D1C13C79AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$2B59976A-0F6B-4466-B947-A33B122C0411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$137A3B05-F2B7-48B8-BE5C-D01CC717F228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5194609daf2108b7024c6f37e3aa808e40d20c04","datavalue":{"value":"6904426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$9F80E170-9988-430E-AB6E-306DDD776CEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e502a1c8c74cef4c0480ec69d37b3a347c8debc","datavalue":{"value":"dual Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652877$849D3871-147B-49C0-A467-3F7E819AC7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652877$B8456238-A560-44D7-B595-122ED7CC4058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e424fe1efe006e44476cdf59c496676a8c7ceb","datavalue":{"value":"algebraic characterization theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652877$BB64F3F2-8CA6-41C9-8C5D-2A71D791DEFE","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":"Q1652877$DFE22B23-B241-42F8-B109-48D90A684B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15d57c61cf9ed0fcbeee9da4ec02a834e26d1944","datavalue":{"value":"https://doi.org/10.1007/s00012-018-0522-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652877$C371961A-2246-4FFC-A58C-183B59D44242","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2370b9a2672a9e41d300a48ee849493a794626be","datavalue":{"value":"W2802119461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$AA70BF44-BCBA-4792-A9D3-0C3FA0D2BC2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092db5f3da0798c085d4f199e4366d23d6bda62d","datavalue":{"value":{"entity-type":"item","numeric-id":5611033,"id":"Q5611033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$C6AD7936-D82E-4266-B243-DD36FDE53496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$FD603D60-3B2E-4D59-BDB1-AFA4BB0ED08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1bdbc7bd30eecdd8509ee080c7638776182573","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$82EF6331-FC99-4811-9855-F6DDCD07E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8541fe9c38d3e64e35a91a87455e8787302155c","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$905E70CA-A254-4558-A23A-BD0F8FDDF90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$F6BBDC30-3CA3-4DCF-8C4A-E8C54A700EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414b76e853b38ebaf385b32920ec322faad2bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4934034,"id":"Q4934034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$FC706CF1-7930-4058-9C88-7035459BE0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d712c0fa0731f7c2d858c2c6bb6f85b218e185","datavalue":{"value":{"entity-type":"item","numeric-id":5620596,"id":"Q5620596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$28C759CF-8160-475C-B26C-D7A3653FE4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$E34D4892-FFC0-4742-B337-2E43B2C1EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9489690914ad43fe691c5192f6eb9bd4916705d9","datavalue":{"value":{"entity-type":"item","numeric-id":4517143,"id":"Q4517143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$49B3C1B3-2830-49C4-922A-D69C39522D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9926857b36af538f4e6e94723932db7a23924c03","datavalue":{"value":{"entity-type":"item","numeric-id":1771858,"id":"Q1771858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$9B10237F-4377-47B8-8D75-DC98CAEC0733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9ec6f7e7bc9a6fd238d1c174134259f9defd82","datavalue":{"value":{"entity-type":"item","numeric-id":1680516,"id":"Q1680516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$8283D1AC-C5ED-4374-9B6E-2ADB3714B1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$4736AC14-602A-49DE-82AE-9B457A72D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9702e059171542ac63012de656767a7955e1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4675497,"id":"Q4675497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$712FD937-EB4A-498F-8FF7-C997D33C0A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3d63947cf7a8a7175ec2e00cd76505ef8b0435","datavalue":{"value":{"entity-type":"item","numeric-id":1301839,"id":"Q1301839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$1F473A71-86FE-4C16-9F30-4F5B99C2B9FA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8857a4c757ad6847e089d1e9237d3b2ef6df8df1","datavalue":{"value":"Q129862115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$A11433C9-9E6D-4F79-B753-F110CB78B1A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e13ec707e8cd7fc07b366ca93b91fe775e6f9f65","datavalue":{"value":"10.1007/S00012-018-0522-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652877$E295E7DB-2F7E-4BE7-B8C1-64594E000B93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960214e635bc75567d91e2c7072fba71ae7fdadd","datavalue":{"value":{"entity-type":"item","numeric-id":2707243,"id":"Q2707243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01e1f09f3c4d87e6d4d3b29e7a38f78e2402037","datavalue":{"value":{"amount":"+0.776584804058075","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":"Q1652877$5BF1FDDE-FE25-45DA-ABC6-834FE76577DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349253d7c9b07808c884e4ba23c0da0b23ca02b7","datavalue":{"value":{"entity-type":"item","numeric-id":541986,"id":"Q541986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01e1f09f3c4d87e6d4d3b29e7a38f78e2402037","datavalue":{"value":{"amount":"+0.776584804058075","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":"Q1652877$9B3A9F4C-620A-4AF6-A777-765E0FDA0CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c22c90b13038ee49c8c8e433fe117500e4836","datavalue":{"value":{"entity-type":"item","numeric-id":4335229,"id":"Q4335229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8110641874228ac58402d6d49fee0e68fd1c3f1b","datavalue":{"value":{"amount":"+0.7662510871887207","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":"Q1652877$F82BA4BF-C6B9-4717-9CD1-24BE1358EC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b80b20018704050a5e5e47089f0adc1607dfa4b","datavalue":{"value":{"entity-type":"item","numeric-id":5402011,"id":"Q5402011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8110641874228ac58402d6d49fee0e68fd1c3f1b","datavalue":{"value":{"amount":"+0.7662510871887207","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":"Q1652877$367FA60F-8C33-42F9-9467-721F85B1C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af17f65172ee64e4f9bb0a6dd97cc80ea77299f2","datavalue":{"value":{"entity-type":"item","numeric-id":1652858,"id":"Q1652858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66305226840c29ee9d4a28107772514360d4b1e3","datavalue":{"value":{"amount":"+0.7495474815368652","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":"Q1652877$96566833-F1AC-4E6E-9005-7AD5B914931D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652877$CE8A8942-F8D4-4D8E-AABB-E2742D365494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_classes_of_structures_axiomatizable_by_universal_d-Horn_sentences_and_universal_positive_disjunctions"}}}}}