{"entities":{"Q3128471":{"pageid":3139187,"ns":120,"title":"Item:Q3128471","lastrevid":46719717,"modified":"2025-12-25T11:26:03Z","type":"item","id":"Q3128471","labels":{"en":{"language":"en","value":"Some characterization theorems for infinitary universal Horn logic without equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000488"}},"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":"Q3128471$B08224AC-F47D-4EB9-80AD-AACC1DE05EAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f05108ceceeea9e4a1157a3cf1356f54ec258489","datavalue":{"value":{"text":"Some characterization theorems for infinitary universal Horn logic without equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128471$E600BAD2-6131-4AC7-915E-8A0119930226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6b7b7e51ed7154db9e23f1d2ef6aacb20e057fb","datavalue":{"value":"0871.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$D9D770CB-EA66-4451-9AFF-CE323C5B872F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"637d36ac287f4d175fb594dbd17de8fa1ae92dd9","datavalue":{"value":"10.2307/2275814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$A6FA0704-2478-4B46-923B-2DD5AB75EE5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$78E4DC35-C8FE-4224-A095-06571BE5E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8580f05770d3cedcc20752d465da7674298288e6","datavalue":{"value":{"entity-type":"item","numeric-id":1577360,"id":"Q1577360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$C617D4F7-FB87-4E8F-B0A3-261E1464D44A","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":"Q3128471$04DD415A-F585-4FF0-AB22-0FEB1D7DDB63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fdaf5d845476ec8fc4b1700c0b70a77df4d3598","datavalue":{"value":{"time":"+1997-04-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":"Q3128471$9FF214D8-D644-425D-82B0-5D9F312654D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$D8684FF4-E560-40A9-8A23-3FC58EF4E6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$B951F5B6-3375-4A82-BD06-1893DD70CDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$87F1847D-4B61-40DC-8C7D-D060C821609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$322D13D7-4D28-45B2-A5A6-1F90BF3958B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c9a9104a6872b0de73137a12b6c7c24ad472c64","datavalue":{"value":"1000488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$7F3060F4-A299-4726-B03B-319AB4FC4CEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"761ca1fd139ab2c67cbcfdee3c4f11c9fc981498","datavalue":{"value":"reduced Horn classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$E325E71A-5BD6-4F79-8991-4C12F70C5015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c098f20c3abfab10c3f7cf95d9c12b29a9e16dec","datavalue":{"value":"preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$5AB853BF-BD5B-4FA0-93A8-9318D9A277AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$76BA7F73-8DEC-4677-B54B-1B21DCFEEA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d00db2772b79264e2f8b35f0006527cbd1aaf4c6","datavalue":{"value":"universal Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$17B3228C-B446-4745-A342-DC507BEEEBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04bb053ae2315e7c19014a3ab5615d4b508e1d35","datavalue":{"value":"reduced models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$09434BF8-52CA-4036-9235-111061E91A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f38cb5b617c328d3e19c9fcc7e5a0302ef7738a","datavalue":{"value":"joint consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$8B4CF2D9-CD0C-48B2-B4D3-6BA3FD3DA8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$2F617FAC-30B3-40A8-A993-4036CF0125B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$0B968590-DFEC-4380-B8EE-4DD55D5309F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$61C18B67-E20D-4463-9237-2E77E8067967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128471$AF498234-E177-43A8-8110-B326A428024C","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":"Q3128471$2D3639E3-2693-4A45-A4F6-7CB39B706877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6a0668bb9b199c7cd1601e7cad6e97441afd92f","datavalue":{"value":"https://doi.org/10.2307/2275814","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128471$3C9FFA1E-3311-49E5-AEE3-E18BB05B7BF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5ac9f4723c5f56bc22032ed0cfa0f5adaf4a10","datavalue":{"value":"W2004384679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128471$D8501415-A2D1-452E-A341-E41A0CFFB667","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34f084b292be64219d879c7254d7f79a37dff10","datavalue":{"value":{"entity-type":"item","numeric-id":1219264,"id":"Q1219264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$938F8F44-A675-498B-B074-046E6749B0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$16B90149-009E-4C62-B70F-67F2DEBFC424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9d2c6d437a8dcb67fe333e5f250b25a8d9de87","datavalue":{"value":{"entity-type":"item","numeric-id":4159026,"id":"Q4159026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$5D5F7055-DC64-4A05-A6C9-0B8BA0985707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50369845a7a4e8b8d5b886982f2bd602edbce708","datavalue":{"value":{"entity-type":"item","numeric-id":1145134,"id":"Q1145134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$0EA9ECA1-6F46-4F28-9F77-AA39673EE962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ef63b0bd6d5d6a89d22bdd29fe6e9d7c4e78dd","datavalue":{"value":{"entity-type":"item","numeric-id":3966110,"id":"Q3966110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128471$761603DD-863B-4F9D-BAF6-3613F1395B5C","rank":"normal"}],"P1643":[{"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":"6423caffd235bbd1636f3a2a41fc6aeec2f66c77","datavalue":{"value":{"amount":"+0.8581808805465698","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":"Q3128471$C749A86E-7AEE-4494-A7E5-AA6126A68B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee884d54308a7f220bab0ded44642790e52eafe2","datavalue":{"value":{"entity-type":"item","numeric-id":818926,"id":"Q818926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce24188ea51463a97db09bf37e5f990ffbc7a184","datavalue":{"value":{"amount":"+0.8190091252326965","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":"Q3128471$A6BE4276-BA69-4436-BA18-779D9FEE232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0addec0cc13eb1825adc6c6941136aa8685d117b","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b899d8f7dbf4dcb7f8d2e36d70e7800cfec0fe07","datavalue":{"value":{"amount":"+0.7893521189689636","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":"Q3128471$45DE342C-DB7A-42B3-95E0-FBA7726D592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271dd4d7c2e63838a5361ba5ef14ecc4250f7977","datavalue":{"value":{"entity-type":"item","numeric-id":2734543,"id":"Q2734543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a3981062037367df1548029d6c1fbf50db799c","datavalue":{"value":{"amount":"+0.784707248210907","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":"Q3128471$2A7FA911-E579-42AE-93E0-2D8F7B262D25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3128471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3128471"}}}}}