{"entities":{"Q757095":{"pageid":758944,"ns":120,"title":"Item:Q757095","lastrevid":64103490,"modified":"2026-04-11T17:39:59Z","type":"item","id":"Q757095","labels":{"en":{"language":"en","value":"On word problems in Horn theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193160"}},"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":"Q757095$134E4366-89C6-43DE-A612-562C628FD296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1595ee380fd60c9b40756c94f738a2e8bdb908e3","datavalue":{"value":{"text":"On word problems in Horn theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757095$E328234D-05C4-4BA9-BBEC-4A80043C90C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be91960d798efa445cbf6761666e0a59e4596c8","datavalue":{"value":"0723.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$15828876-C932-46BC-8B9D-39B926CC4CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6c6d155d6581769bdd7343622ff7db776ecc86","datavalue":{"value":"10.1016/S0747-7171(08)80134-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$928D72C3-447E-4231-8AF3-85235F882663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$38D1FC7E-D14B-40E7-B1C4-B3457A816EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$E0D8B34E-3FFF-4B43-90F9-89519EDB15FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$CE84079F-42A8-4944-A975-349F35651854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q757095$1AC7D6FA-29D7-43DD-AFBB-4880E443B95D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$EF327EBC-DF5F-4D8C-A894-7AA812C7332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$24AEC71B-E13B-4942-808C-1B43FA4F5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$E6342CF1-8109-45B1-A5B9-5D5FC01BA8D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6781c644ea625da91e3faabd0f0a59fdc88f35b","datavalue":{"value":"4193160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$390B3B38-1FCD-43F3-82FF-168AA467BA42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q757095$D86383DC-A7D5-4D41-8D8D-B45927DC1B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d2d48d21b7e55837aff6ad08f656a0e53dab64","datavalue":{"value":"conditional rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q757095$14115E40-31CA-4677-AAED-8B107A3FC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b6f8c525a22e5fe1464bd44447f12f5df5588","datavalue":{"value":"word roblem","type":"string"},"datatype":"string"},"type":"statement","id":"Q757095$DEB6CCE0-A7AA-4112-8AD4-115F614C8827","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":"Q757095$538059BE-75B9-43A1-A557-FE3E3A954486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$946D22D2-7C22-40EF-8FE4-5482A40B7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$0FB3F37D-2921-429E-B41B-5DE7C4412BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$F8B2D8F5-9E52-408F-82D5-ABC1F08A2477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$8200F905-6DC7-4078-8614-1C20D009A088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$81A8DA2E-7EBC-4481-A4CA-00329167A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$6FE7B6C8-A7C1-4EB2-AAF1-57A2223DB910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$EE5ABD51-2181-4D48-B9F6-2E71A769F588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$287401A6-E245-49E8-B98C-7BD1682C3BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$D621EF61-1AE4-43C2-8838-9F90C5B6CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81bac0c83a1bb3be4d60a72c12b74b133412b10","datavalue":{"value":{"entity-type":"item","numeric-id":3702510,"id":"Q3702510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$E300281D-E811-4B9A-BB2D-52A41B11EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$B0A62F7E-0096-4DDA-8FB8-EAE0BE4A9D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$4325538E-514E-4045-BA39-5CDF5D959100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757095$F32815BE-0F61-40AD-B9DD-670312CB9583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"049b779eeee14d128e323b82b6dde9a0d33a0182","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(08)80134-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q757095$3608DD7C-885E-487E-9C6F-81F5B26B8167","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e03caef4baa82211ec27d268a9c5e1ab8db1b947","datavalue":{"value":"W2010001930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757095$F61F452C-D602-4085-B88B-35EA8129AA9D","rank":"normal"}],"P1643":[{"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":"c4f20a108c0637e69c29882102922afdd379011a","datavalue":{"value":{"amount":"+0.8874478340148926","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":"Q757095$38217D03-5A95-420C-BA5B-01E2D46CD664","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":"18d1e087c1f99e75e993677ef42fd20e349ebf17","datavalue":{"value":{"amount":"+0.8730401992797852","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":"Q757095$C3ACD303-59A8-4996-9BBE-1700A301A301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5245bd0db6455781357b364524f75dbdee3727","datavalue":{"value":{"amount":"+0.7895126938819885","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":"Q757095$B74C56E3-2235-432C-8377-55AA73F3C200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955186410db73a78336e5b7c35ddada5a238d07b","datavalue":{"value":{"amount":"+0.7861893773078918","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":"Q757095$052189E1-FDEA-4D90-914E-4387DFB89290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6ee3b1cfc9d49270a08f0cd465221bda9168d2","datavalue":{"value":{"amount":"+0.7850508689880371","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":"Q757095$F7356D91-0FAE-416D-9626-353AD8CEFC93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On word problems in Horn theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_word_problems_in_Horn_theories"}}}}}