{"entities":{"Q5865333":{"pageid":7894884,"ns":120,"title":"Item:Q5865333","lastrevid":54337814,"modified":"2026-01-26T16:09:46Z","type":"item","id":"Q5865333","labels":{"en":{"language":"en","value":"Accelerating Fourier-Motzkin elimination using bit pattern trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540583"}},"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":"Q5865333$65AA3D63-4DF8-4AB3-9565-C0E49219617D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8348e920875cf357b47ce0090644c130d5449066","datavalue":{"value":{"text":"Accelerating Fourier\u2013Motzkin elimination using bit pattern trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5865333$BB1F2F07-D8D9-4365-9990-7AA929D43DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"471a5bd4946a34d22aec2b7bf93fc94ef0285e0f","datavalue":{"value":"1491.15025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$547541DE-884F-4666-8F52-DC6EE85F5642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"957360e92ad6693664c5014215163b44a28a2a48","datavalue":{"value":"10.1080/10556788.2020.1712600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$78B289E0-C1C6-4AB4-A9AA-A9467E1E6950","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":"Q5865333$798C016C-C5D8-44D9-B9D8-CD30E25ED833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b652d7fa3851ed6e28827c025e6143da08eae51","datavalue":{"value":{"entity-type":"item","numeric-id":241806,"id":"Q241806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$608FC153-C5E4-4F6A-A58A-5051D60CC202","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":"Q5865333$7BF3A2CE-F539-4CA4-A9D3-630FC3AE9540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-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":"Q5865333$3379D2C1-C313-4F3D-A6D2-97F599BBF5D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb5cb61d96d4bffb5c1f89265d1dfa983b8ea136","datavalue":{"value":"15A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$0E519143-7EEC-4D41-AFCD-F543F7D984D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a45ae13c9fa089fa230a226367a6e2fc5f1bdfee","datavalue":{"value":"15A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$E692A980-F157-4EA8-8E4F-C35FF5D17BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$818CBBF7-192B-4DA9-B77B-D32A5B156591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e4257514d9fd4eac10996fc6305328b84fd9c9b","datavalue":{"value":"65F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$58C5717E-4294-4AD9-A3C7-5B2CE6FEC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$3830C890-DA12-4770-BC18-0042DDF4A23B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b762d3541fde3e4162ced23eace5a46be5ffad","datavalue":{"value":"7540583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$7085E4AF-953D-4EBB-85DB-E7C7A86568B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$A71092EC-C2D9-4141-99F9-B9513FC2289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780aa31aabe63e350d953e44e392b588d88bd8b1","datavalue":{"value":"system of linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$4CBBCB42-FEC0-4471-B169-5FEE11A6A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eedba58bd14a3b7ea76b9e1071f65a108a0fee","datavalue":{"value":"variable elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$73BA07D4-E8A0-4A9A-975F-2BF6ECAEFCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3715e323cb023f879170a577b518e1c43defb8c","datavalue":{"value":"Fourier-Motzkin elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$36DEB21D-1358-4F2F-B358-B3EACCF0BCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b6e4a60ea1e8e978f8b788f6d1ac6e1561aed9","datavalue":{"value":"Chernikov rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$56DF7FE3-B90C-4302-A386-CB131A7A697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2171d1a08572161dd00091368fc3f142660e6f","datavalue":{"value":"bit pattern tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865333$3205DDA1-7747-4423-8086-011668FFA888","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e324dc65b9bd79abda7100d7af64412db6a54a36","datavalue":{"value":{"entity-type":"item","numeric-id":17024,"id":"Q17024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$3636878C-6D36-4DF5-8B98-1379D0061337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dbc0c2fec107266d9c5e27c22f1afcad3a336","datavalue":{"value":{"entity-type":"item","numeric-id":27058,"id":"Q27058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$65971AE2-783D-47DB-AB92-A665A888D73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b5304cd9393592341278e42d02a5a7c112b09dcb","datavalue":{"value":{"entity-type":"item","numeric-id":51622,"id":"Q51622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$247F316E-F6F0-47EB-8BA2-F22FF2FABD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0acadbbbad8fb999eef655fe30a87d908199a99","datavalue":{"value":{"entity-type":"item","numeric-id":5974634,"id":"Q5974634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$3859F493-EFDB-4E57-805E-F7851DF6CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$723CE1B9-39EE-4686-9269-20EF300CA52E","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":"Q5865333$E7233B8C-768D-4E11-8F93-D2105BFA8A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9c299c6b3fbeaaed78593e816ee9f5f3b539c4d","datavalue":{"value":"https://doi.org/10.1080/10556788.2020.1712600","type":"string"},"datatype":"url"},"type":"statement","id":"Q5865333$245E746D-DE72-40BF-BEC5-6727F2CE0555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a18f1cce993341cb3e6379016c72a183466a92e9","datavalue":{"value":"W2999184561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$1AB6071E-FB61-45DB-B5E8-1C43B1878526","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf6f6816816dd9e6995e585fefb69b9b37dbebd","datavalue":{"value":{"entity-type":"item","numeric-id":281283,"id":"Q281283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$8FCDDE47-E4AE-4294-A273-0FAE27ECEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1776ffcd23318a03778deb65a3ef6ce3fd7c7ce3","datavalue":{"value":{"entity-type":"item","numeric-id":1356937,"id":"Q1356937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$3BE2A668-B892-4168-BD23-24BC3323EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55c26e57bf1c0d5715c18493a5d4074bfbaecf4","datavalue":{"value":{"entity-type":"item","numeric-id":1035700,"id":"Q1035700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$D1944C81-5DBF-4C13-9DD7-2FCF7A1D1F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99c1f2146869f00da90b6ccc19937b651f8648d","datavalue":{"value":{"entity-type":"item","numeric-id":2354428,"id":"Q2354428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$66518225-31C5-480D-B00F-76F3145134F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb040f4f53698848aa91aa2991b3af0b6cf962f","datavalue":{"value":{"entity-type":"item","numeric-id":4062679,"id":"Q4062679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$2CBD9555-20AF-4640-9166-D6CF54702DAD","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":"Q5865333$04F50B5C-1255-4366-8EA9-3B082F19DDF5","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":"Q5865333$5E92328C-F463-40E0-936C-BB888F49D3C5","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":"Q5865333$8A6CC2E5-3763-499A-A1E1-1F225B0BB635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81135d505e0b3b2b939ce3c01cdf024f4dff4d81","datavalue":{"value":{"entity-type":"item","numeric-id":1899195,"id":"Q1899195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$E277E9FB-3B1F-4A91-A99A-052A3D3AD5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adca8c868eb9808c08e576ed4b97b3934724880","datavalue":{"value":{"entity-type":"item","numeric-id":1969457,"id":"Q1969457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$2D150A4F-8260-495B-96AB-A248A10DDC1A","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":"Q5865333$7B748DDE-3DF1-4A7F-8B15-E819943FF428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405c94fb0db4c3e9809af81a16af4450955f24b3","datavalue":{"value":{"entity-type":"item","numeric-id":5119963,"id":"Q5119963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$55DDBD63-0C99-4A56-ABB5-4055198245C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$8477E003-E3C6-4439-AB9F-392D897908D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9b3da69afedaa13376af4545746d12d9a5aa33","datavalue":{"value":{"entity-type":"item","numeric-id":3140435,"id":"Q3140435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$E5668C5B-775E-4F1F-B263-80DFC9D89338","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":"Q5865333$9D6838BB-EB0B-4512-889C-0F10BC4659CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b061a9e722efeb96f842f17bd6aa45c678bb07","datavalue":{"value":{"entity-type":"item","numeric-id":2322740,"id":"Q2322740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$343A73C6-EFD4-44E5-9965-BD47CABA7F9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"efeecee2850160a1d68319f5ced25b1df14e44f1","datavalue":{"value":"Q126360176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865333$15E9ABD5-B7B6-4038-BCBF-7AE39BA01437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ece56173b7186930c6a2471566566ba3cd24f908","datavalue":{"value":{"entity-type":"item","numeric-id":6585816,"id":"Q6585816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865333$252484A7-B2A7-413A-9707-3E4ED3B2BD38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0065b585e5d70a4f46b06a2459bf485246c359","datavalue":{"value":{"entity-type":"item","numeric-id":2354428,"id":"Q2354428"},"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":"Q5865333$CAAD6F3A-4306-4E0F-8C6C-F67961016E73","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":"bf5a958c7fe529f81a1ba5b544ad417bc2b218f1","datavalue":{"value":{"amount":"+0.7564972639083862","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":"Q5865333$B3402D25-3090-4D42-8CC6-41BDA3378A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74231bae1c9a7aac56c315dc34635fcd8872d47d","datavalue":{"value":{"entity-type":"item","numeric-id":4221603,"id":"Q4221603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c0738b59a29f2dd3213071c3760dc3df377287","datavalue":{"value":{"amount":"+0.7309532761573792","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":"Q5865333$C374078B-80FE-4C53-B95F-97B00FEC7799","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":"72c0738b59a29f2dd3213071c3760dc3df377287","datavalue":{"value":{"amount":"+0.7309532761573792","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":"Q5865333$BB6F92FC-F620-43A9-931C-6CF09E96287C","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":"1a180e421c3dbc0b35e1d04dbc67c73a43e83c23","datavalue":{"value":{"amount":"+0.7249416708946228","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":"Q5865333$007E3D8A-746A-4A7A-98D2-714EC26086F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5865333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5865333"}}}}}