{"entities":{"Q490649":{"pageid":492416,"ns":120,"title":"Item:Q490649","lastrevid":62230695,"modified":"2026-04-11T04:40:00Z","type":"item","id":"Q490649","labels":{"en":{"language":"en","value":"On the tractability of minimal model computation for some CNF theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476470"}},"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":"Q490649$DF186232-3EA1-42AA-86B7-A244F3BE8158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a13b7ce4ed93dd9694b644fa1d873e16f8efd28","datavalue":{"value":{"text":"On the tractability of minimal model computation for some CNF theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490649$E461D345-FA87-43EA-B151-F8AE664B4ABC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"026095d688742c5ef54351b8fc6db65982113918","datavalue":{"value":"1334.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$5BBC2E1B-3399-4339-997F-C510D1B1A1AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ed8d2eac09123a2651c93055f8af0c1a511dde","datavalue":{"value":{"entity-type":"item","numeric-id":483299,"id":"Q483299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$92A12E48-25FB-4A48-949F-B1115A597D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"331692b22e5e270d555ec75492a142a72b855662","datavalue":{"value":{"entity-type":"item","numeric-id":414851,"id":"Q414851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$0F9A2934-C03B-4659-9A05-E690CDEE50A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0017a5cc746c9390fe837003eb488add9218c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":490648,"id":"Q490648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$7B1ED033-22B6-479D-AD0D-85D2F76F6338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d74e36967ca53eb8beb229195e99e58b022619f","datavalue":{"value":{"entity-type":"item","numeric-id":483300,"id":"Q483300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$9DA21F41-47DD-41C4-B8D4-7D635263AAC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$DEB04248-83AC-4E63-825C-AB718F3289F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q490649$604AFB0E-E837-4F03-9826-BDF105FEDA25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0773538dc6f097af6b3b0e553e16d590575b78c8","datavalue":{"value":"https://arxiv.org/abs/1310.8120","type":"string"},"datatype":"url"},"type":"statement","id":"Q490649$5708D412-023B-4758-A736-8D4EB89E41D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$EFDBF3C2-1F0A-4AF0-B0F9-E95ABC1064DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$EE9612DE-B455-4738-AED2-3643188275CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3aaf6bb17bd6dec45b5356b45d18d4bd6d079f7","datavalue":{"value":"6476470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$46364EA5-E1C5-47B6-AAA0-6E512974550F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6f026bef5c48412ed64fb09ef6c52a097c1854","datavalue":{"value":"CNF theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q490649$62A852CE-5D40-4C41-BBF2-965DF43AAA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q490649$6D5BE359-52C0-4664-9877-676BA5D31B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1ce94a94a2430ca677a32bdd462d2e32598839","datavalue":{"value":"head-cycle-free CNF theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q490649$0878329F-0B82-4D4D-A707-2F429F5918B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1e7f383097a7fb9e52df97be6f39bf17d714ec","datavalue":{"value":"head-elementary-set-free CNF theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q490649$F05BC61F-C06F-4F5C-A249-32AC1C13FBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q490649$CA34B0B8-0B8A-464C-97ED-C38CB51000D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$BF736CA1-51EE-480D-B464-C8F33226E6FE","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":"Q490649$8F495348-9130-4D4F-A557-EA098A033368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0af4ddbaea213a18a45cb3fb2f61a120a1523330","datavalue":{"value":"W2021305476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$A5EFB810-78B9-468A-B203-7FA5CFD4EB81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b7b9f0724ac1235465de092c1cf09d83f8ff50","datavalue":{"value":{"entity-type":"item","numeric-id":5428934,"id":"Q5428934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$DA6DFE58-61C2-4035-9777-B8780C15535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$AF5FCD28-EA87-4AA9-B232-6E3E85644E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8001acdb7abdc937fea386beac2f167b99780d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$CC6F87D1-394A-4D1A-912C-71777C84F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffd1257e96b98c19589d75987e49fbf2571fbb1","datavalue":{"value":{"entity-type":"item","numeric-id":2457647,"id":"Q2457647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$62938EEE-8C05-4682-ACEF-037DCF0F84A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02122c8f8d5caf7a3d959a7787e0e2f3bf93682e","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$36AC1083-FCF4-46EF-AA28-BFB382681636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$28020955-5534-441E-A06B-56B0D209CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$29303186-0526-4F3B-8CEB-EB4FE0175ED0","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":"Q490649$6A744933-80E1-4B5F-8765-139638A8235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$AF20A7B4-896F-4681-92E8-59E072E7D910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665cd139b77049a4e84e7c5449c4455ad7c94ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3400962,"id":"Q3400962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$366D1419-5DAE-440B-BE28-F96C2ADC6CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b60c54d6600271e6c99fad99456c197b9359792","datavalue":{"value":{"entity-type":"item","numeric-id":5425405,"id":"Q5425405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$7C27AC22-2BAF-4D31-8CCE-73096DA097A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$A0F92DD3-CB39-4BE1-BA6A-4F96627230B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7da591ea625713d659da428ae251f571c08f13e","datavalue":{"value":{"entity-type":"item","numeric-id":4449304,"id":"Q4449304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$020CE820-BC92-4E82-A343-66B814CCB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$F71D1942-A221-4E9E-82FA-E3D8BC1AC7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$727931D3-C4CE-4098-BCA2-24FE41AEC387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa69ee26d46e945d5b4a4e2c216125eec983dac","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$A9E31235-C3A2-4509-B66B-B393F89DA20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da6ee2be15f73ef668a4a8e7b3e5fc2d871df2b","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$7CBB45A6-51C5-4CDA-A7D5-8CEFA373574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$9FFFD142-2ECF-4DE2-A7EB-52A31547D167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$8C29C5E3-065E-4E31-B173-57E58210797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d86a611b2cda7086eec54e3ebea5c6f1342a70","datavalue":{"value":{"entity-type":"item","numeric-id":5492049,"id":"Q5492049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$B94B036E-C3D0-4651-AB51-67C2E5788033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$138EE750-3193-4877-A034-AF311060D8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$7A3763DD-33FD-454A-8C1F-EC4B6C5A718C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$618651AD-50F4-4394-920B-761059673A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490649$B360FEF2-127A-4020-B3D5-80E90B2EFD88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8a31e2824749773dc3cb409010033acd68769a","datavalue":{"value":"10.1016/J.ARTINT.2014.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490649$43362197-E094-4C3C-B8EC-B87B9E2CF307","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8578f24ec51793bf496116747f35c6ae9809555b","datavalue":{"value":{"amount":"+0.8707958459854126","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":"Q490649$6426A690-3B6C-4429-B0B3-94F80FB16FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a9d39ec7d7233bb3f3c583802fbb126e5c261","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d388beedd563fc56eceeddc7d3f669e524e0e84","datavalue":{"value":{"amount":"+0.8575209975242615","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":"Q490649$A881C37D-6F81-45E8-86FD-CEA79DDFEE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a03ed133ae7f30e97ea6332d5d8c3eb889e48f9","datavalue":{"value":{"entity-type":"item","numeric-id":5492049,"id":"Q5492049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b460e65646793b9eba66dc3bf3ccb1925b69a69","datavalue":{"value":{"amount":"+0.8242995738983154","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":"Q490649$A34ED134-7C0B-4A76-9B47-DFEC70EAADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e674fc70adc6056bb00b0f3fcaeb71785e43119","datavalue":{"value":{"entity-type":"item","numeric-id":5191481,"id":"Q5191481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3cf57e2e5be83c53464e951e76a132e68bbafe","datavalue":{"value":{"amount":"+0.8182700872421265","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":"Q490649$2DBC6B63-980D-41DA-9B0F-8F8F61A29A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9c89a62e0242646e2b8a32e014f3e60e49bbfd","datavalue":{"value":{"entity-type":"item","numeric-id":2401922,"id":"Q2401922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cebe2070a661f1ee79503bf1d6c72ded4c8ae87","datavalue":{"value":{"amount":"+0.7934758067131042","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":"Q490649$A6ADBC52-16AB-4750-B4DD-CC18792AA9F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the tractability of minimal model computation for some CNF theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_tractability_of_minimal_model_computation_for_some_CNF_theories"}}}}}