{"entities":{"Q1353539":{"pageid":1364278,"ns":120,"title":"Item:Q1353539","lastrevid":56447319,"modified":"2026-03-13T06:37:40Z","type":"item","id":"Q1353539","labels":{"en":{"language":"en","value":"MedleySolver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"44a4c8b139b6ee48189b26e91a3b55f04bfc16d5","datavalue":{"value":"41593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353539$3328F5C8-2199-499C-85B1-10DB7FD31404","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"bdbc363e2e52a8f531426e8899eab0b1379951e3","datavalue":{"value":"https://github.com/uclid-org/medley-solver/tree/SAT2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353539$2C43695A-FF5E-47A7-80EA-E0517D56BC38","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b766e536aa8b051b6fe7c88461059ec85d4028df","datavalue":{"value":{"entity-type":"item","numeric-id":2118336,"id":"Q2118336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$5BC9F11C-F2F2-4C53-AB2B-AF3B68F0EE6D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$BD6A7662-559C-4736-8FE0-0B0F4CDD88F3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"273636d15b25543c2159f4f4ded9d9448ac6a549","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-030-80223-3_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353539$1261272F-608B-4195-8E31-ACFAA19557D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353539$3A272592-B9A0-4E25-9457-57A59423DD2F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"397b29620ae44f4ad10fd4970b5eb62c1c1a9eef","datavalue":{"value":{"entity-type":"item","numeric-id":56272,"id":"Q56272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$AE10D894-9D33-4113-8350-1D599CE10DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$2A254C31-09B6-44AB-A11E-90BA44F47990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c5e8d1b6ac1c8676e17fe10c772589b90df28b30","datavalue":{"value":{"entity-type":"item","numeric-id":5972779,"id":"Q5972779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$47DB68CD-FFBC-4F6E-8376-4E944FBFD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"94f28ea0b1e7a14eba3e1921767797a9bf4e6afa","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$E4A6BE72-59ED-472F-B251-661024F227DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8789aa43c6a21e5c5fd5bd5a9fa7b7b990ebec0f","datavalue":{"value":{"entity-type":"item","numeric-id":5972724,"id":"Q5972724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$F8F7CCA8-23DE-4B6B-A9DD-F38DF9AE930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$4B37017B-C8AB-4351-B030-362FBCC77BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$E1EDAF71-5CAF-4EA3-9A1E-2CF75E1B9377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e238dc5dc0b4042463067e088ce52f9cc637d703","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$528FDDE9-8309-4442-91C1-DC92047FC7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4dea354d88e288ce7769cf94e094255b1c32a60","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$E5B30695-6724-4F1A-80B9-DABF346560B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$7C2B057D-0C15-4C4C-9C78-CF8255EAB572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"627ecd113a912a32789f79ce008ae5a0ec227e6a","datavalue":{"value":{"entity-type":"item","numeric-id":5972292,"id":"Q5972292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$192802C3-F81C-40CD-A48F-74117DC9F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$342D7605-E9DF-4415-9A09-EA8763BE56C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60b0b9c91adb8d09f1c02fbec7661becb3b46ed9","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$DE2AB3A1-BD5A-4906-A3FA-BEE003C0FA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$6C9CE00A-A58D-4CF6-9008-C06A4DD124AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"15548774a05ce690503ac0f49519f121f8ce5cfe","datavalue":{"value":{"entity-type":"item","numeric-id":12843,"id":"Q12843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$2961395C-C7B5-4F05-A160-28DD3FED581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fe792c0f8589fb92fa46e61d9d63d5f44a9ad6a5","datavalue":{"value":{"entity-type":"item","numeric-id":35131,"id":"Q35131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$039C5895-9E37-421C-93DC-51D415CE7E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3c86d1065377eaac77f45c048568311d734ad87b","datavalue":{"value":{"entity-type":"item","numeric-id":39267,"id":"Q39267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$68BD54C3-FF87-491D-B8CD-604C324C8A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353539$19827A02-F642-44D4-944E-F778D415A912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MedleySolver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MedleySolver"}}}}}