{"entities":{"Q1334062":{"pageid":1344801,"ns":120,"title":"Item:Q1334062","lastrevid":56462610,"modified":"2026-03-13T06:41:08Z","type":"item","id":"Q1334062","labels":{"en":{"language":"en","value":"PyRes"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"50afebbe269221edb42c496caf00d5052472167e","datavalue":{"value":"44961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334062$24141FC0-C560-4AD0-8021-1E6D2654DA6A","rank":"normal"}],"P399":[{"mainsnak":{"snaktype":"value","property":"P399","hash":"34da09c5f2c906ac17e6ebbc7baa038cf30e89c1","datavalue":{"value":"https://github.com/eprover/PyRes","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334062$B45DB549-1C8C-49A3-BB45-FD2680330996","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"32d263bcaae699eee8b79c9b4ded21bb62998919","datavalue":{"value":"https://github.com/eprover/PyRes","type":"string"},"datatype":"url"},"type":"statement","id":"Q1334062$1A0FAF50-A018-4A48-8281-881F54F30458","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"21b15de1460aa6c84a753b3e5d5dee4022b0522f","datavalue":{"value":{"entity-type":"item","numeric-id":5048999,"id":"Q5048999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$620C7A8E-E927-4039-A509-724CC32FBD5C","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":"Q1334062$A2539715-EE4C-481B-AA2D-B414F9B699E7","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"e035f2eb2b4561c66c1d51fb0254b33ba0752f22","datavalue":{"value":"swh:1:snp:6a5bc7d2c12ac658140df1c88423606fd47cb96c","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"32d263bcaae699eee8b79c9b4ded21bb62998919","datavalue":{"value":"https://github.com/eprover/PyRes","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"e1a0d9d7f241400ab92cd13eb864c60bc6731969","datavalue":{"value":{"time":"+2024-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q1334062$F0A6BB75-BF6C-48BA-8AFC-C21011184E8F","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"78bd574f9dfc83ae598b9a82938b02bda3f0e65b","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-030-51054-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1334062$41F7E29E-C9BA-47D5-9769-CDC4658C6571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334062$D5AAE241-5051-4F15-9D6A-F035FAF6E013","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$1C3F274E-5D96-4535-8E70-951A0EC79D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$F9C25FD8-BA45-4F5C-A7EF-822470977FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$132891D3-F5D7-4138-892D-7C50B35E737C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2aad95369d69c08086a6600b609b3220c2705e","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$0799E483-F1F2-4E9D-8EDD-B49167E50563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$047CEA84-91A1-418E-AC43-B4A00568E920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e58bd8100179970e6dd14964997f435e21491d5c","datavalue":{"value":{"entity-type":"item","numeric-id":18928,"id":"Q18928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$61071ACF-3037-4D01-A7A6-83B0E19A1430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$78B197D9-9213-40E6-9103-980EE7A1E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5961b2a6b6a8801189058181adf4665250b6fb23","datavalue":{"value":{"entity-type":"item","numeric-id":14472,"id":"Q14472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$913B35CB-2933-461B-B5CD-4C222056B7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$D0ECB40A-6F9D-43ED-95EB-3FAAB07F58CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$0CF0D944-547C-4715-A77D-8931F1B2F815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$A4F8EB62-83BE-4370-87C0-FEFCD2C3BA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$AD6671F6-77C4-4090-8D8A-7B7153EC1EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f0874088d59a2cbce379152e0f60bc05817c8d64","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$5FBCF68D-FB09-46AE-8AB6-ECEA11F3BA97","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":"Q1334062$C4725FD9-98B4-4134-BFA8-3ADF9E0BFFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aab8aaf79b084aeb5380036e631065a659a1ae76","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$956D6CBF-891B-4C6B-9B93-1558789433B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddfc2dab9f4484d85e8e917c537ee56253d2c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$51199F31-D70A-41FB-A566-60C1FA77EF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$E5CEF73F-316D-4FEC-9EC4-7FEAEE9A3598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d3c36a61124aef1fe483f9f9a08bd1b5e4bff54c","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334062$8F3DDDB7-8E5E-4E9E-A42E-C585737A17B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PyRes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PyRes"}}}}}