{"entities":{"Q714505":{"pageid":716354,"ns":120,"title":"Item:Q714505","lastrevid":63760839,"modified":"2026-04-11T15:21:56Z","type":"item","id":"Q714505","labels":{"en":{"language":"en","value":"A new look at the automatic synthesis of linear ranking functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092758"}},"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":"Q714505$276DAA85-0E5E-4C32-A87F-CC414A834866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b44f72fb00b253b97f3e2770f65a53a2b3888a5","datavalue":{"value":{"text":"A new look at the automatic synthesis of linear ranking functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714505$77407EC4-9568-43DE-AA68-27998E152188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c96a8b9ecda737760f17fbc79757060031e5fab","datavalue":{"value":"1251.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$48092E95-FA5D-4266-A87B-F98037895C7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$C1363A9E-16E6-4DE9-8D27-E4F480E04661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$5EEF032A-ECDE-4132-A771-D85100305307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fdf40a0b7dbd1675ab30db8fd33baba143198b","datavalue":{"value":{"entity-type":"item","numeric-id":714504,"id":"Q714504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$13418BF8-1F29-44DC-ACEF-C421D4A10758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$8A86A246-96A7-4778-BD66-74F7EC1A965E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$2B13E451-4E5B-4909-8A89-0446784E9A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714505$D5429C81-16C6-493D-8A7E-AF7C6740ED4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$6C6EE6DE-9480-4B93-B8F7-9B37D115A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$C857DDDF-96CA-4DD5-A278-854716C772CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10d07d196bf597ab203a3c6e2bcfaa6e46e2119","datavalue":{"value":"6092758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$7097855E-E081-4195-A3AC-ED39F745F96E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q714505$AD0C83E3-76B8-4B4B-AE31-0C3AF046F299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q714505$25889431-12D2-406D-818D-D606174DAC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q714505$DB443C2D-980B-48CC-8AE6-4050F7C3177F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$68DE8933-47CD-4C85-AD39-88BBF0BFF882","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":"Q714505$0BE15A77-62F2-4382-9E3E-D2CBE28ECF72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddceb6a23d8c8718e80f99f58b1d9471474105c4","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q714505$168F7613-6BF8-48CB-A650-E458C718CF72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0463f4fb0ba1198e9b498faa715d8031153e6255","datavalue":{"value":"W2094997043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$D35FE465-BD04-4DC7-B6E7-A41888F45BCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d209315c4d3e50a930d2c08bd8b6d13760b965a","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$6D880B1A-B917-4D11-BEE1-370B0C02D0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$0E7A205E-671C-4116-8FA2-FCECB4A3F7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$757300BD-E04B-42CB-B023-4ECDA8D18F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$4E707143-B328-43A2-8405-1E7DBB9E913C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$D73726C3-E897-4741-9E63-726B07B9C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$D20792A3-F13A-43B1-BF98-3402AE6EA6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$1DB1A506-C65E-49D5-AC54-86A4E09A0A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$2C812520-714D-4ECA-B459-73EE6D9B1903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79d0aeecc471fa36a5a592d87864102e8cc7521","datavalue":{"value":{"entity-type":"item","numeric-id":5458805,"id":"Q5458805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$1A1B5225-5B94-4C3C-B22C-A3F850FEBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f703c7690d7b827346ac8203d04aa0ed24d063fc","datavalue":{"value":{"entity-type":"item","numeric-id":5437651,"id":"Q5437651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$0493DA87-AF60-4991-969A-21C2383B24B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$65847029-FFDE-4D22-A843-4C4904950370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6730550a11c6a1243c11c8b5e1cd605627b493d","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$83390506-8E97-4CF5-AC68-A4BF213C8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$F33FCD9B-2934-4FB1-B10C-2242E3C15121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$80D54588-1C39-4973-B40A-AB82110461A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$698A9015-438F-4EC0-A37C-703432C90FF3","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":"Q714505$884F4874-FB95-4427-A3AC-C08F79CDED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b017608da01ad841ff41e1eaf1e28d83e843c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3512502,"id":"Q3512502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$0FC2F761-D4D8-4C02-977B-0DF986881255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$5961BA61-3AAA-446E-9923-FFA3352A0BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d10bec1389020353d0d555f9995ec233a91d501","datavalue":{"value":{"entity-type":"item","numeric-id":3583576,"id":"Q3583576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$B59CC005-8581-463E-9B7D-34772CD028BB","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":"Q714505$5CCDA6D3-47ED-4BD5-B897-D1F3549957EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$89B8CA3C-8A7B-4F5B-B335-8330F6A02BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a281af5b84bde118d7a3e20b9b4305b683ed6ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2576576,"id":"Q2576576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$6262CD20-C01A-4AF5-8B4F-6209E7255E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c79c3a2c5e0c6d91d5d809ab86bd62267e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":845242,"id":"Q845242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$403F0595-B8B1-4B23-85C9-E99327124739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0559d93420b0ecae3ec2e6837dc8edf5e919c316","datavalue":{"value":{"entity-type":"item","numeric-id":2269830,"id":"Q2269830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714505$5C32DE47-FB82-47B8-875D-A8574B93867B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a991780d6b24a51e18eff94f0ca6a748970c7d19","datavalue":{"value":"10.1016/J.IC.2012.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714505$5BFB8E9A-A0B5-48A3-8437-3DA373C4F330","rank":"normal"}],"P1643":[{"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":"7ff603dd23be378e769c54a5acf155a2d57868e0","datavalue":{"value":{"amount":"+0.933213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$B5CB3DD9-0553-4953-8013-2E5B15FA5661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b89343127fd44dc2f036a04e564b6991c8ba04","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e0f299e36edfa6b4829f6a5117c7a84a4abec7","datavalue":{"value":{"amount":"+0.92831874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$08B0EB0E-8253-4768-86EE-CEEE5B2D3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d7ea8b32c67136954bc152d79eefdb1224eaee","datavalue":{"value":{"entity-type":"item","numeric-id":2164261,"id":"Q2164261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f21c5090ba0ef9bff83c133530ae3dce95ed10","datavalue":{"value":{"amount":"+0.8722154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$6D107359-6438-4360-B42A-DE0FF0048047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7790a56224cc32a012cf01bfbe117ff9071a8bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1669294,"id":"Q1669294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc028f1a3fc08201b0130d40cd1a3c0402e59724","datavalue":{"value":{"amount":"+0.8694129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$5A3F85BA-4310-49EC-921E-0FEA50755392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d4782a97ed26ed405667cbae3e80981f56dbd2","datavalue":{"value":{"entity-type":"item","numeric-id":3525073,"id":"Q3525073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb61e6c49b695d142d1c574930000b00d63a9b12","datavalue":{"value":{"amount":"+0.86930513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$81C9BBEA-4D5F-4CB4-BA91-0473FF5CCABD","rank":"normal"},{"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":"8801b67001e3cb9665753ee08997fa2cdfe0d467","datavalue":{"value":{"amount":"+0.85034746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$9E11875C-BB9E-4BF6-96B8-2A32A0A010F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023b5957df48827728772673ea92ab4c37eda7ca","datavalue":{"value":{"entity-type":"item","numeric-id":3523000,"id":"Q3523000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c849ac0c957bf44d9b4b70e4cfcbee93bf536903","datavalue":{"value":{"amount":"+0.8500025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$60414CEB-2FC4-437E-B3C1-4D3966E93CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3179f6ff11cbd7019f84f864228e931ac60f1a3","datavalue":{"value":{"entity-type":"item","numeric-id":3447127,"id":"Q3447127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea63e79ed1a0f54356bcbe5165b7ffbc98c34930","datavalue":{"value":{"amount":"+0.84217834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714505$283CC688-2EF8-4398-831E-AA77E554F51F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new look at the automatic synthesis of linear ranking functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_look_at_the_automatic_synthesis_of_linear_ranking_functions"}}}}}