{"entities":{"Q56293":{"pageid":56349,"ns":120,"title":"Item:Q56293","lastrevid":56431047,"modified":"2026-03-13T06:33:48Z","type":"item","id":"Q56293","labels":{"en":{"language":"en","value":"QF_FP"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7228e787cd29c7531d6a8f2870d52d1d22d5e42e","datavalue":{"value":"40593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56293$38750F72-0337-4D79-9844-019D1E2955EC","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":"Q56293$DCA43502-7EE3-46D9-8C3B-BCC276D67858","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"e8528e4c2674c1c29ea75887a08cd45f2bcc74f6","datavalue":{"value":"https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP","type":"string"},"datatype":"url"},"type":"statement","id":"Q56293$50CD9133-5277-4554-8605-12B8BA6BE15A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f0e90aef2f6db5c27a0effc5d3f8a6fb50b9978a","datavalue":{"value":"https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP","type":"string"},"datatype":"url"},"type":"statement","id":"Q56293$B8CF9171-561B-467D-B5C1-CD137127A31E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56293$CA20EEC3-FFD7-47DE-9FF4-FFB7CC550838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56293$10E16E7A-DD4B-4A20-A7F0-C0DD85F46E2E","rank":"normal"}],"P1458":[{"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":"Q56293$B2EBF023-DCFE-4DF6-842F-E6A107DF632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$279B1DD1-42A9-4C24-B36E-69B361A75ECF","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":"Q56293$D3F4AE60-1059-4BF4-98C3-19CE2A6A5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6e6faf8a384e21299165acbde3760679ead1ffd2","datavalue":{"value":{"entity-type":"item","numeric-id":38020,"id":"Q38020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$F24E5ED8-7522-4403-ACD1-D1FBFF1A9CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"305467c18c5bebe4635811e823978e1c4f64e11c","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$3AC0CA8B-4047-424A-AB22-3E9C4797D364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a4b5c8d7b5bb8c686d8470c623926980f696bd2a","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$6759E877-E875-46D7-B70C-9D91C8E775DB","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":"Q56293$93B6E4AC-A6B1-4F1A-AEF5-239B9AB4B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$0A1AA28C-D9C9-4428-9749-48E6AFAC7402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c862528104c319162f0714346b07f5cce70fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$04C833A8-E5E0-43B0-80B2-0A1BE3B7EF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b2e3bbb5705880b5ed8c07507722ac1386ea1aa1","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$807A45E4-B528-47F4-A778-A9A43DCB0F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"929d5ae123d16d7d1416ccdcb0bb8cac6c7e0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$9218A1FA-68AF-44E7-9744-55D42AE13C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d9e7b40829e8c1d283f3497a82fcc630172adfd9","datavalue":{"value":{"entity-type":"item","numeric-id":37641,"id":"Q37641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$B18BE1C9-EE47-418B-B30B-6E50A70E209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$D5B53AB0-D8D7-478A-B1F8-69C0D6CF723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$3E52CDB7-07A4-4123-8643-5FB1D8C445F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$265904D5-BFEA-47E5-AB31-3473EEA7D084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$385BC7D5-FBA1-40EE-BBFB-924170A13EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$40B13475-FBE7-4F68-A5D8-02BDDD2EBE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$2C448B71-D750-427C-BC5F-1B0B6C6AA383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$8E78EF9E-AF9A-461D-8826-A95AC9142933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4af4abac1aab840f701d062b0125107063c436a5","datavalue":{"value":{"entity-type":"item","numeric-id":31665,"id":"Q31665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56293$C49FF616-8932-475E-A4DB-D58047875CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QF FP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/QF_FP"}}}}}