{"entities":{"Q2344728":{"pageid":2355471,"ns":120,"title":"Item:Q2344728","lastrevid":52261280,"modified":"2026-01-21T07:18:31Z","type":"item","id":"Q2344728","labels":{"en":{"language":"en","value":"Feasibility checking in Horn constraint systems through a reduction based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6436185"}},"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":"Q2344728$2A67A382-31D0-4277-A4A2-E40DB27E2713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86e2039f3aa5b857675f673f9d9f3bd04a063f34","datavalue":{"value":{"text":"Feasibility checking in Horn constraint systems through a reduction based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2344728$455ECDBF-F1F5-4864-AA58-E81211B1C4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef7aa03b1426a0c6311338d99caf4735fe768f4f","datavalue":{"value":"1312.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$241CE29F-7083-44F8-B4F6-B6F56FF7BC55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8910726455793299703107bf10730f18627a1980","datavalue":{"value":{"entity-type":"item","numeric-id":408528,"id":"Q408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$FE00FC0E-A7CE-4BA2-8C7D-560515C8C0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$30B634A6-9594-4BDA-9796-950551587E86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$B55EA0CC-3B8B-42C7-832D-DA6A519B3F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4eb1898e7e9f37f96fc2bc2b93f3d306019019","datavalue":{"value":{"time":"+2015-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2344728$31DE2D44-77AC-411D-8909-42591297D8F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$1472F564-B1B2-46C7-A21B-90CA6CEE3A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$5A3308C5-75E4-4004-9E81-1BFD2AE3B9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$F83E47EB-7127-419F-93EA-8C5C32795337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$5205B59C-B9EB-4B9E-A69C-0423300BD66D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a63bbb3a17893f59e94d049d4acfd1964cbe09","datavalue":{"value":"6436185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$082345E9-BD12-4FBF-811C-87C39C58E99B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc07e0448f608361bb8ca00f7215465a4a01c17","datavalue":{"value":"Horn constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344728$559AF3C1-074A-4D88-8769-D6EBDC16653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9afdaf0316e82c921cbfa9ae3aca089958b0bc","datavalue":{"value":"difference constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344728$C69B3990-ECE6-47A0-BB8F-E3DB5937C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295bbcfed3c51efcb770a2d03cd0af289e784824","datavalue":{"value":"lattice point feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344728$8E886EC2-B726-4F16-A980-42C6696F8EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ae61c1457638a620e5c3d6ad507283469f830a","datavalue":{"value":"linear feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344728$F3F9E91F-A1FE-4CB4-9928-AF8119C00A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ddfae683b7de787c5ee4b9221a39122f95f38d","datavalue":{"value":"combinatorial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344728$0FC0B64D-DF01-45A9-B62B-464C76E78D44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$28878DC0-13C1-48AB-960D-7DE36DF9769F","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":"Q2344728$8D555639-4616-4507-A5C6-04F873CE445D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a76733e79b6fa77c8f5521e1f210270705a67da","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2344728$52FD2D36-6F28-4587-8791-F2861B8C67B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"418507093b6a33181a155bf255527ed7330d621b","datavalue":{"value":"W2019254635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$03AA2FB1-C048-4780-9044-6759623AF441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3bb0af6b4c0ce439b213cc28deaf57d70af799","datavalue":{"value":{"entity-type":"item","numeric-id":963961,"id":"Q963961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$459055DF-34C6-49DB-857C-EA9FA72E18E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8bc1f4c19553f8af0a81b04598b74dcd4d19b0","datavalue":{"value":{"entity-type":"item","numeric-id":3652297,"id":"Q3652297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$2E353381-0EA6-4167-8894-85DDDF05D4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$8745C920-E40F-4BD7-8069-5874B7490969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$6519EB8D-FA30-4612-9780-DF27D8F1DD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdccc5d83f7311582ae4e1c48da92b5c9b5c7298","datavalue":{"value":{"entity-type":"item","numeric-id":2559426,"id":"Q2559426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$9BECAA89-935D-490D-B01D-B7B33A04CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$745B8538-6412-41FC-8579-85863425E020","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":"Q2344728$C816E41F-9086-43C8-ACCE-37A1CBD2FF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d6321a3b15489d3ed6e73cf55ba5d79230f775","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$C974B51A-FCE4-457B-82B8-E680615DCA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8aa35289747463c7264c9641cfbcb6f2612259c","datavalue":{"value":{"entity-type":"item","numeric-id":4842117,"id":"Q4842117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$9C63F7CB-CF9C-4813-8E43-01401BFF604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3af0a1db3b65d01a8001ccd7a57a4efdf08f362","datavalue":{"value":{"entity-type":"item","numeric-id":5925717,"id":"Q5925717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$A66F0317-241F-498F-9F3E-7E11D3FE4D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d14b72dcf62238a630c55b183bf7de377d41025","datavalue":{"value":{"entity-type":"item","numeric-id":5917444,"id":"Q5917444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$24A2CA4D-7ED5-4FC0-AA78-5D027F275606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$FD5CD426-09E0-4673-B5CB-A06D6A227D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$1CC69922-9265-4E83-A998-B15EEB78EF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1543a6d9030474a2d21021a96f6fd782e1dd1a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1167537,"id":"Q1167537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$7CB91985-DBFB-4B23-BE85-44E686689861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6be5586591c4b5a2859d1faf506520b53a976b","datavalue":{"value":{"entity-type":"item","numeric-id":976066,"id":"Q976066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$55AAA2A6-3812-4313-BA84-C63A9273CA53","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":"Q2344728$6B8327D1-4161-45CB-B0B4-6FCAA921C29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$419CB95D-ED38-4652-9A63-8990AAA07401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4def438d8a28321802a44dbba53d7d9b373961a","datavalue":{"value":{"entity-type":"item","numeric-id":3923934,"id":"Q3923934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$D96F1029-4EA4-40A0-AD24-B29B61D854A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$EB0DC598-4D62-4B1D-8D2B-F02ACB6B1C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb54c789eb8ae1365b41d698d504541a9be76f3","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$174E0D35-08BA-4C72-92D2-771E3181577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aea04970626c2b6a6205a53b4ddfbe1134bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3030579,"id":"Q3030579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$6C2535F0-7C75-4600-BD28-D66655A5348C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee36df182b6a1970dbcbd752665088a0a46ac01","datavalue":{"value":{"entity-type":"item","numeric-id":1598876,"id":"Q1598876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344728$BE610BAC-2D73-4664-97CF-EF189E69CA50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5df46d27b11e8eda61a4e205225a799c894f7a7e","datavalue":{"value":"10.1016/J.TCS.2014.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344728$AEFA1436-621E-4B0D-90A5-131007D4A502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9594b498ef6d39c62c05f63764c8a3722e37f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003291,"id":"Q3003291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f9bd087aa953d4a8f4bc9089b22118dcd923d7","datavalue":{"value":{"amount":"+0.9624961614608764","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":"Q2344728$1258167E-D475-4415-8107-9199E3ECB6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506628ce467cbea6443a92cc1aaf808f914cd669","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc89c666c74f327cf8f393b944125cf38aca50a7","datavalue":{"value":{"amount":"+0.8352997899055481","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":"Q2344728$8A6EFFCB-755E-4BF5-811B-41FBAFF1991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8aefc7711647f2d4b7b447d28f716cf9528b541","datavalue":{"value":{"entity-type":"item","numeric-id":3652297,"id":"Q3652297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da780a3acfbef73fac3b0cb259e6ae52523ac7ec","datavalue":{"value":{"amount":"+0.814207136631012","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":"Q2344728$BD741714-DBB8-4693-9D1C-88084F7FE56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0532edaea92fa8866fcb1b69b9b43c97a50fa2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2399383,"id":"Q2399383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b223c0d1b59ea195a536068a17e2ff6d5d727b4","datavalue":{"value":{"amount":"+0.7971065640449524","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":"Q2344728$A745FBD6-7C79-4C03-8773-6931577CAEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d482105b71eb8b0fe2296a0488ac501fcc4708c","datavalue":{"value":{"entity-type":"item","numeric-id":2205946,"id":"Q2205946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6070209dd2f346924d6d71f92281906c3424d13","datavalue":{"value":{"amount":"+0.7644200325012207","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":"Q2344728$B75B8A2A-E8DD-4F4B-A63C-D87DB36841F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2344728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2344728"}}}}}