{"entities":{"Q2452760":{"pageid":2463503,"ns":120,"title":"Item:Q2452760","lastrevid":78694349,"modified":"2026-05-06T12:13:03Z","type":"item","id":"Q2452760","labels":{"en":{"language":"en","value":"Solving linear constraints over real and rational fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300992"}},"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":"Q2452760$C8B7B755-DB8D-47EA-AE67-6AFF2FFB72DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7bec5fe6a853ccbca461f43c6895ac51825b04a","datavalue":{"value":{"text":"Solving linear constraints over real and rational fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452760$B8032036-DE31-46FF-8D59-1AE090FCDDF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9d0ffea3302716887f1c13862b32fad83f8a58e","datavalue":{"value":"1288.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$ADFF378D-6B19-4391-A041-070674BB47AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d969ec15d30cf0c8d3d447a49483c00625375e","datavalue":{"value":{"entity-type":"item","numeric-id":2452759,"id":"Q2452759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$FD0E3916-FA96-4C51-AF52-200E3CC052F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$8B6B5BAA-05AA-427A-9EE6-DCFBD19DD6C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452760$975FFA4F-7F36-411F-B155-10DD6520B9C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$EFD4CBE4-79B4-4296-9216-B1204BA1BB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$2AF4CC7E-7B4C-4C7E-B65C-0C37BDD987FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$02081A4F-9F35-4986-973D-6BE14DD4D110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$15E43AF0-CFCA-44F6-B40D-25172AAF5475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b16339c71f399f5da7de367d1da2371f354aecc7","datavalue":{"value":"6300992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$E3DC1A86-61AE-496F-8331-A7A1743D8E1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345cb0cd34e3e7d9b9188e177cc8971a47d8e6ee","datavalue":{"value":"model verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$AD4B2B30-DF0B-451F-9053-4D603720067C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae6483334a009b4e898c64794b67889a5295a7","datavalue":{"value":"linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$71EB3968-D87B-481A-9AF4-BB03A9D5E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73f38845fbd50853eb01a84484dcfea299a7cf0","datavalue":{"value":"systems of constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$ECA9FBB0-175F-48A3-AE8A-2AC5AB014D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$972E9D20-56E7-41BC-BCDA-AD161E614B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$A00988BD-8D89-4D08-A917-6593A8EF9DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8350709a8e8e9c85e07cae37ea0e93d9da7fdf1","datavalue":{"value":"convex polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452760$46109316-3C62-44FD-845D-CFB36238D641","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5cfe2823a956571e5a71ca4723f5f9b506773ec","datavalue":{"value":{"entity-type":"item","numeric-id":51891,"id":"Q51891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$CBD3EFC4-7C7F-4DA9-AD48-D8BD088EA4C0","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":"Q2452760$8329391D-CF88-46DD-9BB6-6EAA55CD81C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aa02fa3f3236d8da761dfda74487549b932a3f9","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9239-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452760$7C989686-6C5B-4332-8456-C63B2C88D543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96e0585017011c2cf50c293eddb0bdd972462bf4","datavalue":{"value":"W2000724477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$F174D3AD-D854-4F38-BD5F-897CC113CB39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1366e58f04b97235453a05cbb0c38ac0015edae8","datavalue":{"value":{"entity-type":"item","numeric-id":4391213,"id":"Q4391213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$7B0FC005-E3C7-4450-B10B-D0A6DB9F6790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5338e3d501cfe063a7963498edb44c9cbdf39262","datavalue":{"value":{"entity-type":"item","numeric-id":1184352,"id":"Q1184352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$AC99E4F9-00BA-4C96-BD01-A503E3A3F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe3aaf68aa87346b90d1e43cdff4dfffc041492","datavalue":{"value":{"entity-type":"item","numeric-id":3989943,"id":"Q3989943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$1205DA89-15A9-4221-A816-EF4F4CC198C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd1eb7cfc9c85a5ed540ab8f6356e006aaa99f","datavalue":{"value":{"entity-type":"item","numeric-id":1186697,"id":"Q1186697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$B39CF4EE-E155-4925-92F4-ADCC7B675962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b59cce907cd6230fee251f3914e5f8ab444162","datavalue":{"value":{"entity-type":"item","numeric-id":3140558,"id":"Q3140558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$AA5E1C3D-2AF9-4C57-AF88-BF30AF9D495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6462a3ea0dd633bacf406331b389bb5d1ef53d","datavalue":{"value":{"entity-type":"item","numeric-id":1847366,"id":"Q1847366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$55297AF3-F496-4EE0-B30D-0786261FCB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2367793ac5f68689e80b31f058281e8523dc7776","datavalue":{"value":{"entity-type":"item","numeric-id":4505382,"id":"Q4505382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$945FE25D-3DDB-4988-8721-DDE8FB51D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30e7bf61f3fa67f5d1057105ea11a8f5d0621f","datavalue":{"value":{"entity-type":"item","numeric-id":1887713,"id":"Q1887713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$FE34B45D-FFBA-448C-A60D-2A1870D76E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba0b3275557403971602a4f3ac71dca1267f358","datavalue":{"value":{"entity-type":"item","numeric-id":2371697,"id":"Q2371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452760$AF0168BA-7AF5-4950-B7F9-B98C12462585","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c2c4ec2ba359010efa99bb35714aad7853f5c2c","datavalue":{"value":"10.1007/S10559-010-9239-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452760$A7342D0C-9BA3-48A5-9760-8DD8AD1800F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f8b22cbd4571f4b54efb43c9ab8fb8ac99dad","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2f7090591ac454ad7de00e1dca84590f9209d8","datavalue":{"value":{"amount":"+0.7618815898895264","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":"Q2452760$1966671E-C373-4B2F-ABEF-BDDCFE939101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197e292acf9c3ebda7a29c2f931155899604768b","datavalue":{"value":{"entity-type":"item","numeric-id":2751364,"id":"Q2751364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba535eff39b2e698bd7b4eba5085ccd2bfb2545","datavalue":{"value":{"amount":"+0.7569469809532166","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":"Q2452760$4911CFEF-194D-4D32-A6E9-82B48B229828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e77959d3bcd3eaa8745ed33769b606124eb2650","datavalue":{"value":{"entity-type":"item","numeric-id":3989943,"id":"Q3989943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7028538d3db5a4b6580bcd88aa58912b5b7a3b4e","datavalue":{"value":{"amount":"+0.7533854842185974","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":"Q2452760$05CF2D44-9369-4DBD-84CF-14DB8CD91093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5058cab49614d195c957a53e75fe255ca1aefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2263302,"id":"Q2263302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed448c1f1065d62ebab6b8497e1b2fded2590b94","datavalue":{"value":{"amount":"+0.74923175573349","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":"Q2452760$9DA1B227-0AE1-49A6-B973-12D0F5AACCEF","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":"fb31af81e0611bba03ccf3d4c7b906838480fa95","datavalue":{"value":{"amount":"+0.7471275329589844","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":"Q2452760$F23EBD59-3F31-477D-9E66-41D1A67EAF58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving linear constraints over real and rational fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_linear_constraints_over_real_and_rational_fields"}}}}}