{"entities":{"Q3525073":{"pageid":5554977,"ns":120,"title":"Item:Q3525073","lastrevid":50456981,"modified":"2026-01-14T02:37:35Z","type":"item","id":"Q3525073","labels":{"en":{"language":"en","value":"Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344399"}},"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":"Q3525073$789D2BA5-B7D0-42A7-BE99-B51AAB673184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59eaef31fb1198ba88ba249859f32ebefb299249","datavalue":{"value":{"text":"Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525073$E7875F94-23B4-42E8-A6E7-D58625776693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e02a00fb5a3b8330f675c30217a85b55c3fa4a3","datavalue":{"value":"1147.68442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$63551375-8DF0-46FE-ADC6-333AE963D145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"016dcbf733a9327e6a74b3bd8789b197a3179424","datavalue":{"value":"10.1007/978-3-540-75292-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$5B8C0E49-7C95-4A6C-AA59-8DE932E17429","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0c43f547154cd234db31282cbaf2157465cec9","datavalue":{"value":{"entity-type":"item","numeric-id":2644550,"id":"Q2644550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$D83910E7-9AD2-43CF-8B6F-D88B5E5BB687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$70E2E5C0-4D8D-475D-8BBF-103CD7E33E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec7461111d9cda8617112c815269fb3ec99ff58","datavalue":{"value":{"entity-type":"item","numeric-id":215660,"id":"Q215660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$8E87A7AF-2FDA-41EF-9BC8-03794FEDF50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$5519E5E0-7E6D-441F-902E-76BF9D6B7E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efb0ba0fc664aed5c408704429204caf98c69fd5","datavalue":{"value":{"entity-type":"item","numeric-id":351968,"id":"Q351968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$C71A4397-D0EE-4530-800B-842563ECADC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$612EFE9A-A988-43BB-BBBA-7E6C07BDAFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525073$3BA2E68D-9AA1-4190-A834-E6A4703A277F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$F354EB92-E80C-4D4C-851D-A94C7CA5A6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$7F5FE25E-82E6-4B5A-99B7-74C4510DB7D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86662cd66356c6b121b2d972116cb1f4915efb02","datavalue":{"value":"5344399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$215E445E-6E64-4EE1-B72C-17A6FB508737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$70D972A4-A2A7-49A4-ABC5-5D3D2A1DE0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86095e5930ab94541f30cea5135eb22835ee146b","datavalue":{"value":"loop termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$00D5EDA6-C1CB-4A4E-B44E-9D5D1604C220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8432e6f8b9c1309aa387fb4e9c5e8b93650a1074","datavalue":{"value":"ranking function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$33C52C61-2317-4CDD-AF53-85DB85A8F0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b5f50b6cd0871cccc077d0659a15ffc845e618f","datavalue":{"value":"polynomial programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$3280D447-A89C-4F6D-8450-6DEFC8F7C669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d0324351f0de4d2a0d219f267adf98581f99bc","datavalue":{"value":"semi-algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$8B64A03C-7D62-4D48-9433-590E2C69015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$E42C01B8-738F-4490-98A5-3C69BA23BF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4dacfce439e54ec347fcf2fb7d856fa179c0ad","datavalue":{"value":"DISCOVERER","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$34CF1B67-81D9-4E91-BA7A-1872EF5CDBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0086b3055db77debcd4b95500f3fd9ce3afc700b","datavalue":{"value":"QEPCAD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525073$4EAC5825-E4F1-4D66-A266-E53532D0137A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$BDADB962-6F79-4C99-A27E-4311FB1B21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$91C8954A-B1DD-4D61-8B85-FB99B587E26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfd90e0763a84ca2e3f11697d883ee6fa74ed0e1","datavalue":{"value":{"entity-type":"item","numeric-id":19736,"id":"Q19736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525073$A09B16E7-0C2C-4BFB-8268-5220D3712C65","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":"Q3525073$9E283425-C112-430C-9965-DF8B9B445269","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88c98feed880b2c9ac2b266a044dc05f1485674d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525073$EBF12D9F-747A-44D1-ABFA-6CC0176C3B03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb18f1821af4dc3dd90be54fcaebfc0f95212d3","datavalue":{"value":"W1597204268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525073$E679EBA6-AB09-4049-9DAD-FD6A051FEBA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07150ab01bf2340a66aef560ab4cde50353cbf9d","datavalue":{"value":{"entity-type":"item","numeric-id":394460,"id":"Q394460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4e0bcd3511508b75145499dd47107d7bb75f16","datavalue":{"value":{"amount":"+0.8083614110946655","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":"Q3525073$A4694A30-48EA-4356-AD2C-0E403D7D7ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f0a0f8afc4f83e680e4f9d5cbb71280bbe8204","datavalue":{"value":{"entity-type":"item","numeric-id":3526926,"id":"Q3526926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ad8699fcf96b59f5db64875bf8ddab0c27d299","datavalue":{"value":{"amount":"+0.7711453437805176","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":"Q3525073$91B17448-531E-4ED7-9110-A05C4C46DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361d4ff6d22be6a8b9e043286b717ce7f5c88ad0","datavalue":{"value":{"amount":"+0.7695078253746033","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":"Q3525073$8E595314-4AD7-4382-BF6F-C986709F94C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ffe31b930eb9fbd11cffc564be8b2381c99b8e","datavalue":{"value":{"entity-type":"item","numeric-id":3306912,"id":"Q3306912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d5fb64137a28e0d86581f7eeb572581ee3bea7","datavalue":{"value":{"amount":"+0.7680714130401611","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":"Q3525073$F44A93A0-0928-442E-9611-4699B422DD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b2a7473afa35181e6a4b1419e2c41d987f2bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6296f2ddbbd7a0f2eca0bc7aaf5b51b95a3b2f24","datavalue":{"value":{"amount":"+0.739067018032074","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":"Q3525073$BB42B682-79B1-42ED-B151-5F263C5B24F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525073"}}}}}