{"entities":{"Q1803022":{"pageid":1813764,"ns":120,"title":"Item:Q1803022","lastrevid":72990771,"modified":"2026-04-14T09:14:14Z","type":"item","id":"Q1803022","labels":{"en":{"language":"en","value":"Elimination of quantifiers in Horn theories having a small number of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220174"}},"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":"Q1803022$51B50434-FA7C-478E-852C-F5E21EDC2A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aa6469dbb6c54773c2b10f425d6bec5cef02417","datavalue":{"value":{"text":"Elimination of quantifiers in Horn theories having a small number of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803022$E79F347D-8C9C-41D6-A116-B070390F9194","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ade42055678a41c57956cf7dfa9364889c345c","datavalue":{"value":"0774.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803022$9344683B-36BD-43E0-9376-5B6236F5DE36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3976d5162c1ab26084ddeb89aed80b9fe3255dc6","datavalue":{"value":"10.1007/BF01980247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803022$4C96B566-EA8B-41A0-BB2F-194493F341B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803022$5EF63813-DA42-47D7-83B7-65FA5C57F0EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803022$93E614A5-088F-4BA1-9056-DC4E05FF5B36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e3200e9f1ab6836e6931de44227466dd6f19b21","datavalue":{"value":"We strengthen all the main results derived by us in Algebra Logika 24, No. 5, 551-587 (1985; Zbl 0608.03008) by replacing the class of \\(h\\)- formulas in their statements with a smaller class of positively primitive formulas. We do not give alternate proofs to those cited in our earlier paper [loc. cit.], but rather continue them, using results derived there.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803022$8B9466FE-6188-4773-A7B1-F44C146860CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803022$C1EB3D71-254D-4DAB-ACAB-BB23ECC87B51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e28421848e2979b3f1b7b1a64e1447d96abaad","datavalue":{"value":"220174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803022$23D48A69-734A-4748-9062-B8A3DD070261","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9b48e0f63bd31aba7983c4b529381f34b00c34","datavalue":{"value":"Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803022$3589A247-0373-4CC9-84BA-F793A338E805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167b181cb55f816d5701364a4a1a661e07af02fa","datavalue":{"value":"positively primitive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803022$DD27DA1B-4DBA-4B30-9006-EF7A5DB80AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8735deae3225f716194dfca1cfe5307145d062","datavalue":{"value":{"entity-type":"item","numeric-id":1707926,"id":"Q1707926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803022$7FCA1A43-8AAE-4D4F-97E1-F7549FEDE0F0","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":"Q1803022$E5448729-C3F9-420D-BBE8-E8AD30D2D495","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df95d697e17e38a765e4fa67c4feba4524e413b9","datavalue":{"value":{"entity-type":"item","numeric-id":1086227,"id":"Q1086227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803022$24F7A088-D6BD-472B-9F76-F6175D8114DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234f3994287e40227091034d9767f1bc51a00d46","datavalue":{"value":{"amount":"+0.767410159111023","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":"Q1803022$068D7BF2-E690-499A-A4E9-33CB290ED9DD","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":"3a6c12e7000c2c5232a830638d0f8fb847b9b4ad","datavalue":{"value":{"amount":"+0.737772524356842","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":"Q1803022$5603BBD6-EA87-486C-AC9F-A485070041DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa04e1abdcff11c16e19bb03d7b93d9984dd5262","datavalue":{"value":{"entity-type":"item","numeric-id":5109215,"id":"Q5109215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b56d02b5da9831d3c10b56d73543df61c0e8c2","datavalue":{"value":{"amount":"+0.7330090999603271","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":"Q1803022$47A319A6-D38F-48FF-8741-E8638B61BCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a175933cce22d9035bdf3695254a19f744c84154","datavalue":{"value":{"entity-type":"item","numeric-id":4517146,"id":"Q4517146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67424449daab553f76122363fd746c5b0b6fc709","datavalue":{"value":{"amount":"+0.7256767153739929","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":"Q1803022$B56607F5-4878-439E-9C2A-334DAF576C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9784f94fba0d98e2bace4542a51122b76fec15","datavalue":{"value":{"entity-type":"item","numeric-id":3778728,"id":"Q3778728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07906e61f8a2108e2fd30ea3483104638ddac891","datavalue":{"value":{"amount":"+0.7250686287879944","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":"Q1803022$4CB42BF0-918C-4477-B355-A4D7BDF1B6CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of quantifiers in Horn theories having a small number of models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_quantifiers_in_Horn_theories_having_a_small_number_of_models"}}}}}