{"entities":{"Q3734377":{"pageid":5764283,"ns":120,"title":"Item:Q3734377","lastrevid":50868602,"modified":"2026-01-15T12:20:33Z","type":"item","id":"Q3734377","labels":{"en":{"language":"en","value":"Model companions for finitely generated universal Horn classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966043"}},"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":"Q3734377$6D98A9E7-821C-459F-8940-88D27E22E117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9254f1a6205dff15182311a423c2083db69ecaac","datavalue":{"value":{"text":"Model companions for finitely generated universal Horn classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734377$8F7464C5-8381-4D74-8819-10B55EC9DBC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7c6795617beb66d1d708f9790945eb7ebfd3271","datavalue":{"value":"0599.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$3615F5CE-6BDB-446C-A825-ED9554264BFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53c049092120629b787db3f21f7c98c1628a9fed","datavalue":{"value":"10.2307/2274092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$B4496708-B754-46FC-94B6-03BE1E5EBBA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734377$710815CF-92EB-4587-80A9-15F0B20A70EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3734377$87881915-9253-4DAE-A6B2-424BACF54DA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$C54C791A-779E-45F5-93BC-91DC973A0A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$F5ED2FAB-AFE4-4C58-B145-B06E6FD6D219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$9CAAD4A3-985A-4A87-89DF-491A6621C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$48595FB5-98F4-4A43-BD99-6BFA1E2D4986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01817ead9369371b083403a3f58b02795f6839de","datavalue":{"value":"3966043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$4422ADBA-4AE3-4ED8-B46E-350AEDFED76B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b10950a3aa0ca46349e9b103b3cbc0eb4b71484f","datavalue":{"value":"primitive recursive quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734377$D881B892-7C5E-4F08-A320-83BF01625DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101281a38af85c6c02ac5ae8cf7dce9bab8e104a","datavalue":{"value":"model companion of a universal Horn class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734377$100273D8-A014-491D-9440-70E28FE3A33A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734377$B82A2070-6673-447B-8A9B-6710911BB00E","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":"Q3734377$7A9E68DF-730B-453D-85DE-0F0D3A041A98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af75b9c5af41e964fb1ddfc1cb4a6821ef014e8f","datavalue":{"value":"https://doi.org/10.2307/2274092","type":"string"},"datatype":"url"},"type":"statement","id":"Q3734377$894E168D-F634-4D64-BD97-74851568C641","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2604d9f2006f446789a2751c58c0d9653b4c9f1","datavalue":{"value":"W2005764387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734377$EBC37C28-CFC4-46C1-AE1A-ED464B5DC939","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec3b52bd5ba240f95bf54607a9682aea0cc84d7","datavalue":{"value":{"entity-type":"item","numeric-id":1219314,"id":"Q1219314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734377$32FA9C6B-CE5E-47B4-A658-9CA58EBFFBC3","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":"Q3734377$871788AC-A814-4F25-893D-068C62829B11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90302168c81d10b9562140a0e52f735bffb6bde5","datavalue":{"value":{"entity-type":"item","numeric-id":800351,"id":"Q800351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a30c32e76a639ccef37f5d5fc96099b0f99f75","datavalue":{"value":{"amount":"+0.7890008687973022","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":"Q3734377$FABA819D-136C-4136-B0F3-9D85B076DDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018cbfecb9e2e318922efc6c458564ab1a1424f5","datavalue":{"value":{"entity-type":"item","numeric-id":4240493,"id":"Q4240493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2ea2891b8ca3946461988cde5aa0310713a3e2","datavalue":{"value":{"amount":"+0.7586483955383301","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":"Q3734377$D1877909-A644-4434-94DB-F6E359562CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a75d10c00964a64709a5be095e8d0d7ddd1de6","datavalue":{"value":{"entity-type":"item","numeric-id":1267599,"id":"Q1267599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2ea2891b8ca3946461988cde5aa0310713a3e2","datavalue":{"value":{"amount":"+0.7586483955383301","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":"Q3734377$03B26EDA-DCC4-4253-A48D-6CB7AFF4488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb761733d743b506e93c8ef5be30c6652b122e7","datavalue":{"value":{"entity-type":"item","numeric-id":5258486,"id":"Q5258486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09c95805e83c92d668dde3a26a2e3f32baf6915","datavalue":{"value":{"amount":"+0.7561158537864685","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":"Q3734377$7969D485-DED3-4A4D-8C76-6F27BE691FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3058fb6b03d32d81a9d4ba234d68d3af95fab80a","datavalue":{"value":{"entity-type":"item","numeric-id":3698783,"id":"Q3698783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adcac13ac8a2604f97ed92dcf016fa2a32f1f463","datavalue":{"value":{"amount":"+0.7534793615341187","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":"Q3734377$A562BB55-1247-475D-A7E3-CE43F27078C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734377"}}}}}