{"entities":{"Q2354428":{"pageid":2365171,"ns":120,"title":"Item:Q2354428","lastrevid":78595856,"modified":"2026-05-06T11:58:27Z","type":"item","id":"Q2354428","labels":{"en":{"language":"en","value":"Fast method for verifying Chernikov rules in Fourier-Motzkin elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458194"}},"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":"Q2354428$510496D6-A513-46CE-AEA7-FC6B7CEE9CA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2db3a04779ffdd803f4cb29af93f757cf9a5cd","datavalue":{"value":{"text":"Fast method for verifying Chernikov rules in Fourier-Motzkin elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2354428$B7A88C4F-9AD3-4766-A69B-51588A1317C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"464930cc91b0cb76f25f770db554154c2e1c0c0a","datavalue":{"value":"1318.65021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$6D86E431-1DE0-4BDB-85B9-EA24117B520B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"620e016038f5c7d24ddcea7bad325aa680411da8","datavalue":{"value":"10.1134/S0965542515010042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$402EECAC-71F7-4063-8901-7A90B242768F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0030d81a37fe136e3e3a2946cf6d3eb379bc913b","datavalue":{"value":{"entity-type":"item","numeric-id":2322739,"id":"Q2322739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$FE8037AA-BF69-42D7-A717-DDD648072BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ca46ea4166018f52cf6c0aafdcde54ed7de516","datavalue":{"value":{"entity-type":"item","numeric-id":343723,"id":"Q343723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$6701CEA0-A4D4-46FC-AC16-06E87CCA4821","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a438af6643ae7f561353c4bef7c698e900a48bd3","datavalue":{"value":{"entity-type":"item","numeric-id":178986,"id":"Q178986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$E42C5C37-7D35-46D9-98B6-D5B2CC16E6D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3db3f67b2a300d1b5bdcd648e0bfe6f04d909912","datavalue":{"value":{"time":"+2015-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2354428$28977C62-6CAF-4240-847B-A40D6C53F248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$90908179-2DF4-4AA3-BFBF-AC2100AA2606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb5cb61d96d4bffb5c1f89265d1dfa983b8ea136","datavalue":{"value":"15A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$3A5D1B70-E3F4-4B80-8C29-25E50CE79DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$314C2B78-31DF-401E-9F09-1076AFB87908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06de922b550bbd78c4582b6c7d2b00d396357787","datavalue":{"value":"6458194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354428$5E93F76F-7311-498F-BAD2-933D82A2575C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780aa31aabe63e350d953e44e392b588d88bd8b1","datavalue":{"value":"system of linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$95A96457-D4DF-4CB8-9AAB-0FA9BEC5F4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f2a96a2b64089759dd2d2593ced2328c88f9b6","datavalue":{"value":"polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$DDD45119-D30A-48AA-985B-C91ECDF61CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf479cc507c88476a0f5b248275fd85a5ac48386","datavalue":{"value":"elimination of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$233AD66F-4634-4FC2-A22B-90AF0AEFD16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3715e323cb023f879170a577b518e1c43defb8c","datavalue":{"value":"Fourier-Motzkin elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$27340061-1211-4D9D-A9E2-B10388B3BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b6e4a60ea1e8e978f8b788f6d1ac6e1561aed9","datavalue":{"value":"Chernikov rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$9E4CB6F6-377D-404A-B462-3E9C9F50ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a09a5d70d781797f8e463078428980ed2c84cba","datavalue":{"value":"numerical result","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354428$E94C2E2A-D3F5-4611-A60F-5326860DA6F7","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":"Q2354428$4CD1637A-A397-4DAB-B8BD-607AA9B4F39C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2d6898c081648651e0253da57ba4f79ebf6930","datavalue":{"value":{"entity-type":"item","numeric-id":5569528,"id":"Q5569528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$9305E988-7F5F-465C-A6AE-6EA75525000D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2a67917373e5b4e39d7c86d75e3ad261de966","datavalue":{"value":{"entity-type":"item","numeric-id":4323295,"id":"Q4323295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$33C7F5BA-CB77-42DE-8830-22281F08D6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22bb7297c6854bd66fa081641f45761dbf3d44b","datavalue":{"value":{"entity-type":"item","numeric-id":5719624,"id":"Q5719624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$9CED5375-CC0B-4132-B012-716B0A44BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de18153d1df27692fd11da5c43312c623e61dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5528990,"id":"Q5528990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$DED695B0-7393-4D40-8266-6780BE0D5FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0990793c3ee061ace0a6ccae899c7783993b9b13","datavalue":{"value":{"entity-type":"item","numeric-id":5817857,"id":"Q5817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$3703BF26-1357-42E9-845F-EF6FD0912FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e824dfe57b4e845af9c5656a6fc832430f9365","datavalue":{"value":{"entity-type":"item","numeric-id":2901170,"id":"Q2901170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$4596F999-2B52-4147-82A6-EBB1DC4EAA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a74f39ff4748ec6424197761045a6b361da864a","datavalue":{"value":{"entity-type":"item","numeric-id":6191500,"id":"Q6191500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$69A5E60F-B4A8-42FA-A1A5-496AF0190BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235eefc42a64a79673bb70d93ca06d1427649078","datavalue":{"value":{"entity-type":"item","numeric-id":5906765,"id":"Q5906765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354428$DE64880D-4398-492D-9EA7-935B933337D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08245037be4526764d6f9a30d7ee906934720e1","datavalue":{"value":{"entity-type":"item","numeric-id":5865333,"id":"Q5865333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cf121d04701f386d860457ef34d684af303179","datavalue":{"value":{"amount":"+0.8229542374610901","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":"Q2354428$4D9DB875-85E2-4550-A954-8EC6D7B56121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef581aadfcc3cfe6182cd6a699926dcb940df654","datavalue":{"value":{"entity-type":"item","numeric-id":3497897,"id":"Q3497897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc26fd721484bcd7f46a0085717503231a54b17","datavalue":{"value":{"amount":"+0.7692745923995972","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":"Q2354428$3141AC46-9B82-4195-B552-4CF41B50DE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51fe90c066ddb562ac521841df99a2d88f6e306","datavalue":{"value":{"entity-type":"item","numeric-id":4506060,"id":"Q4506060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646fff19281cfdb8d4180f2593faa96caede166a","datavalue":{"value":{"amount":"+0.7306176424026489","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":"Q2354428$EDD29035-6978-4CE2-B18B-0BB16E86AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6706fe6cceedc05abfb85b8d79b74d5e8a127ff","datavalue":{"value":{"entity-type":"item","numeric-id":3140557,"id":"Q3140557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f470b45bd1631704e6cc10f01b7483ce5591122","datavalue":{"value":{"amount":"+0.7281705141067505","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":"Q2354428$DF4D751A-FD77-42B0-B7FA-7FDD6DDC247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f168f4869d44f14f7f8190be28928cfcc59fd5ee","datavalue":{"value":{"entity-type":"item","numeric-id":1120477,"id":"Q1120477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb090f4fd3ff89563519b80e83fec4a12dd4e16","datavalue":{"value":{"amount":"+0.7255288362503052","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":"Q2354428$5485DA99-CAF4-41AF-A1BA-4B98C299B755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast method for verifying Chernikov rules in Fourier-Motzkin elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_method_for_verifying_Chernikov_rules_in_Fourier-Motzkin_elimination"}}}}}