{"entities":{"Q2456614":{"pageid":2467357,"ns":120,"title":"Item:Q2456614","lastrevid":73287486,"modified":"2026-04-14T15:17:06Z","type":"item","id":"Q2456614","labels":{"en":{"language":"en","value":"Out of order quantifier elimination for standard quantified linear programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202077"}},"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":"Q2456614$3985F8A2-17BD-4724-8AF8-54E10E121D21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190482dd5b4038528fadf2b2f03238011fb87be8","datavalue":{"value":{"text":"Out of order quantifier elimination for standard quantified linear programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456614$070E826A-3E38-4C84-BA7A-BFAFEF2A71EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455316001115828ceb77ab68bbcb7da68b20eaaa","datavalue":{"value":"1125.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$BA1E673A-28A6-4D54-957B-C86933036B15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24b3b4bd5422e24a55f1216a5c921646719f588","datavalue":{"value":{"entity-type":"item","numeric-id":2456613,"id":"Q2456613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$FE6DBC54-DA7F-4212-8A49-AD67989AB6BC","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":"Q2456614$5DAA7938-2E95-4B2E-A119-25D0DEBD79AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$4C3085CD-209D-44DD-8903-0099296650E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5dd9e0f7e970fb181073844a7c8c2ebc2be921","datavalue":{"value":{"time":"+2007-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2456614$6206625B-324C-4B74-B109-5F295DC0D622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$C8D4D53B-9514-4679-A534-430F36B76715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$1CC68C0F-FE2E-43D8-8A28-AC6A0C3E4875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$72BDE6A4-0F9B-4FFC-8868-0A9DD624D076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$0CEE858E-8B29-477C-8C39-E8D7D9A7C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$F4FB8E09-AA37-4A5B-8592-5BED085582E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"820df62c3f7e04ea38045ef011a2e893c01ddbcc","datavalue":{"value":"5202077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$ACA230AC-3A88-4C90-88C5-A82FDCCB6022","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad7eacd9864957193d27f4235d5101ffdaba575a","datavalue":{"value":"quantified linear programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456614$64E70A54-34FF-4E86-84B5-5908C70C311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456614$1E0AC46F-6E25-4887-8184-8B807D416086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d57293c75c94be3775ab578eeb4562d7c8b8f9c","datavalue":{"value":"out of order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456614$48FF4F0D-4951-4E70-A5D3-4A50EEEBAA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456614$8CC50553-DDFB-48D4-A4BD-7CB896A84F82","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":"Q2456614$A9FFB263-45E8-4A12-96E9-6ACCBFB9CCD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3869313cda4ee2f92d3a3ed0fa5c4130e48fd61","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2005.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456614$7EB6AFCA-203A-4446-B1F6-09FBBB14A95A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8fceb861522a734d05423d90fbd6087eb644355","datavalue":{"value":"W2059513615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$568C7209-3F90-4C49-850E-2522352F74C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$6977C2F5-AE49-4B3F-B027-4C76854FE7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$54D2239F-A35D-4628-8069-76F6A0C9A63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$E3764BC0-CEE3-4990-816D-6072D055D5F4","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":"Q2456614$D880A7B2-0334-4EC9-8181-78AB502D29A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844f0c0b563447e59b77eb7bdae75f92223ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":4419674,"id":"Q4419674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$85BD354D-A312-47A5-90AC-9133B19FD226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a0b468127c3522c5545f19cc6264b526a1e055","datavalue":{"value":{"entity-type":"item","numeric-id":5925718,"id":"Q5925718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$8C6391F1-2C68-4073-8883-054396ADE8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$30707D1D-C02B-4EF9-AA61-A8D0879A3CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347d29e996c39e4cc586a6928deee75fd423a34b","datavalue":{"value":{"entity-type":"item","numeric-id":5594890,"id":"Q5594890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$47DB8587-511B-4F39-B88A-E4FBC4E8AD18","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":"Q2456614$774EE129-BFA6-4110-B680-58ED550B1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$C6D1EBE2-460F-42F4-A739-B5476205CB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$C95F58BA-9555-40A3-B8DA-2707E3AC9C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af066c56d19cb8958c1616a16f370ca1c10d998b","datavalue":{"value":{"entity-type":"item","numeric-id":1405819,"id":"Q1405819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$0092A884-030B-40E0-8062-A3D0E19962FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b6afc4b7d18d7456f7be035bf1050fe5deb2a1","datavalue":{"value":{"entity-type":"item","numeric-id":4452107,"id":"Q4452107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$00865AE8-3A89-4EA8-B75E-540D36BEFA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b47c8de4443feea7b971692304373fd2b9826","datavalue":{"value":{"entity-type":"item","numeric-id":814932,"id":"Q814932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$EF796402-59BC-4AFF-9608-6773E08C9C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456614$D431E2FA-2D69-4072-9571-C897AFAC62AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d5bd1ed4a8a4e2b464e1123d8a725eea93aa6bd","datavalue":{"value":"10.1016/J.JSC.2005.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456614$3C673113-ED05-459A-98FB-70222019D905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0149c082c616dd204852f1a2b86dc67999411d6","datavalue":{"value":{"entity-type":"item","numeric-id":2462634,"id":"Q2462634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d800447fe5fcca6ee9ea622cded17ace3dc7936a","datavalue":{"value":{"amount":"+0.8010636568069458","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":"Q2456614$5AE800BA-94B1-44C0-BCAC-3CB3DF51815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140b25f3aa0af27b0f163cf1a4a8fe713df83325","datavalue":{"value":{"entity-type":"item","numeric-id":5479258,"id":"Q5479258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa1b33685cfb4c06eb1cf9d86c15a4bb3775fad","datavalue":{"value":{"amount":"+0.7782949209213257","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":"Q2456614$80646AA8-7A8F-43C3-AA2D-84A764BAE4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918938f90ca7cc6a3e62ac73d852b5933ed6d399","datavalue":{"value":{"entity-type":"item","numeric-id":4452107,"id":"Q4452107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e3ee621d4e5157fc1cfaaa39acec878b16c61b","datavalue":{"value":{"amount":"+0.7710351943969727","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":"Q2456614$54F5B8C2-E46F-4D3B-A06F-1A968342F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba1864086ac8f629ff837f01358a4286b519c24","datavalue":{"value":{"amount":"+0.7633107304573059","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":"Q2456614$F6D14421-41CE-4C4B-9D2B-70E2D7B10B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfa6815eed58ba49f6f537f1886742452f3bd26","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e556934645a29cfd8f08b0eab77e7d28512472","datavalue":{"value":{"amount":"+0.7599508166313171","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":"Q2456614$1D0816A6-AB02-4EDE-9DD2-6E6849551AF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Out of order quantifier elimination for standard quantified linear programs","badges":[]}}}}}