{"entities":{"Q944709":{"pageid":946557,"ns":120,"title":"Item:Q944709","lastrevid":65532507,"modified":"2026-04-12T03:14:54Z","type":"item","id":"Q944709","labels":{"en":{"language":"en","value":"Models and quantifier elimination for quantified Horn formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5324137"}},"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":"Q944709$03DA12AA-8519-4491-B456-2BEB91561D39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cf719720f25ddcfcd2127d4ab222c7bd132cbea","datavalue":{"value":{"text":"Models and quantifier elimination for quantified Horn formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944709$EB522DCA-CFF2-469F-BBA9-52345697CAA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15631c7d608a5acb778fe9d4d3d039eda81dbd1f","datavalue":{"value":"1152.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$FDB1EF48-DAC4-4317-AEF4-DED2EC54DEB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$A7BB0646-FD38-406C-A727-1902116C02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$7DFE5564-18CF-46D9-9338-8C27B5B6D570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$2A31F657-F652-44E5-A9C1-82DD18D948DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131b596fa601c3661806f2437747b7af2f563219","datavalue":{"value":{"time":"+2008-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944709$C6C562D7-2531-4695-A24E-66EBB2BFD277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$DAE0C90C-7424-439B-906C-E880E05BD29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$7EBB1718-142A-40DD-A2D2-85FCA2D933B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$A977F3AF-F3B9-46E9-80C4-E68577B3343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$6431CB12-4478-4E8E-9B68-88B60F838EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$64DFC80C-B030-4697-A13E-E112DF68C2A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c71579269fa606a90c1c228537a905a9bd3a5f0f","datavalue":{"value":"5324137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$798DA4F9-9FD3-4CC9-BE1A-6EAF63BCDAA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q944709$F96CF242-9990-4B3B-B3C9-613E638D8419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89343281e94592c524c653e2e8a7709aa611f8fa","datavalue":{"value":"quantified Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q944709$1DB0E997-237A-4B8E-974A-5C0275FC07AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q944709$DBA0210C-22BF-42E1-9C61-B267823E8C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q944709$9EECBDF3-4089-4850-9E6E-13201D142D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q944709$6B6A16A0-1F4D-49D6-879D-3A8702B2A6CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$1E4DC894-7780-44E7-98B9-B24968933462","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":"Q944709$E0BF5E03-1A32-4356-A697-12F80FAEBAC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f055134f0ff1f1f20d58524b1d696bbd035c959d","datavalue":{"value":"https://doi.org/10.1016/j.dam.2007.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q944709$CD37BAF7-0A24-4B17-93EE-05C09FEBAD0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a257293bb2a00af2138c36da438f07c7c65217e2","datavalue":{"value":"W2027576655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$84A6AA94-7B69-4D33-AC43-6402EF16D91B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$C4A7AA8A-E7D5-4A32-BC93-3E73CBA6A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$75DE8F1C-FF70-4D54-A7B7-1F090535E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda6711bd23a75752359e8da91eea58b1ea8ddac","datavalue":{"value":{"entity-type":"item","numeric-id":3612470,"id":"Q3612470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$4267EB9D-F0D6-4465-8A23-662C03A77018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51283f1777725f2aa3a5276be84e22e26033567","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$B4177C3E-3488-42B8-96AE-646D97D753F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d8ed1fa12e8b0ff122dad4f625b1c0b5dd3e9","datavalue":{"value":{"entity-type":"item","numeric-id":5713729,"id":"Q5713729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$8393D69E-7630-4797-9002-ABD337130E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$8A0D4B1B-FE5C-4D5A-8AAD-C715A27727F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$32077D59-6DBA-465B-905F-23152420F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$F734C38E-FAC3-4C64-8116-5C5C17AE3A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$A25A729E-48AA-4FF6-9ADA-A2916C27CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18548c873122d5ecd7fe93f7d198a0ca92cf4fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5325853,"id":"Q5325853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$62652BC9-96E2-41EE-B6C4-40876C7571F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eab06868451766a99a32b5c64f63117f100d36","datavalue":{"value":{"entity-type":"item","numeric-id":5714753,"id":"Q5714753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$99E59875-2DAC-4D4D-8C16-2A0DA53996E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb709cf21f038838c22dc9dd9d3c12ffeac725f","datavalue":{"value":{"entity-type":"item","numeric-id":5714770,"id":"Q5714770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$0275B6FC-2624-421D-9496-9DF591047178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbfdc3423a13c0e159fffb7f2eefc9ae94ed175","datavalue":{"value":{"entity-type":"item","numeric-id":2996176,"id":"Q2996176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$CCEC3CB7-16A8-4731-838F-8E85A77312D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944709$0EB72CF3-6F95-4D30-B07C-F249D9302698","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e375fe05643bdae90685f7f841cc2eb16bdf849c","datavalue":{"value":"10.1016/J.DAM.2007.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944709$FAFD4E9D-9C33-4385-AE35-80F8902DE6E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5080963c401e6f7873c09ff3ec91b988beb8dd64","datavalue":{"value":{"entity-type":"item","numeric-id":5713727,"id":"Q5713727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c848600e00d251c9fae043452f0bfbab6646ac57","datavalue":{"value":{"amount":"+0.9200643301010132","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":"Q944709$0CFC5922-4FC0-4184-825C-964C85F5A877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdab7ec263f950497c68546348f8275b8335152","datavalue":{"value":{"amount":"+0.8419942855834961","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":"Q944709$5BD48A91-B3B5-4B1A-AD23-157E289D1FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bfc6b36d5c922d32d23af7118cef854dba8973","datavalue":{"value":{"entity-type":"item","numeric-id":5712370,"id":"Q5712370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1b1d75b12a708f69e1afc79b8b2b623755edb0","datavalue":{"value":{"amount":"+0.8248721361160278","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":"Q944709$D21D50AC-38A8-4D41-8381-F27D5FD28C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28c06d4d0fe1b7416d0154516b8c2608deb5469","datavalue":{"value":{"amount":"+0.8207316994667053","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":"Q944709$EFAB7AEE-18FC-4E8C-A338-CE80B9587341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c7d64802e915fd50b6290bfb90618728b9ceb7","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec9b5fa2a8f6d1ac701dded3c95c6b194e1a889","datavalue":{"value":{"amount":"+0.8203361630439758","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":"Q944709$DFE46CED-17FE-4301-B91A-9EA604E89B27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models and quantifier elimination for quantified Horn formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_and_quantifier_elimination_for_quantified_Horn_formulas"}}}}}