{"entities":{"Q1694574":{"pageid":1705315,"ns":120,"title":"Item:Q1694574","lastrevid":81631955,"modified":"2026-05-06T18:58:47Z","type":"item","id":"Q1694574","labels":{"en":{"language":"en","value":"The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833659"}},"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":"Q1694574$06F76692-9005-4E27-BB78-D0A7C8F754A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e76d254b87596fca485c54a40f46001b7cb04d9e","datavalue":{"value":{"text":"The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694574$9DFBA08F-8138-4B3B-8886-17FAF57F4420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3317e3c2596ce322e4f351c966336ea14657d39","datavalue":{"value":"1425.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694574$E9DE01AA-68F0-4C2E-84FA-C1EE3E837214","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$8130BB9F-A623-45DA-B3A7-2E52BF3AAC1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$C1F3940E-26A2-455D-B056-4FE795CC6344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694574$E5AE8D8C-544D-428E-A4BA-A3FBE63C68F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694574$3FAE4172-998E-4A3C-B41F-067E2667120B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c61390908e583f2ffba2cd037437884a75e24b2","datavalue":{"value":"6833659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694574$A4E4FF92-0DF9-4A74-B7A1-E8BFB0E171A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a281f8781cad637703bee0012ef441e7d9f63b02","datavalue":{"value":"TPTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694574$7ABF1915-E5BB-4E52-BE26-57F3B202860E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077e649ed110f6010b1eaff1dad161980dc37ca7","datavalue":{"value":"ATP system evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694574$B195D3A1-CFB4-44D1-8C9C-9CE1F497F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae210b3293a15603368042d2155da741cc8df43","datavalue":{"value":"ATP standards and tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694574$31D53269-546C-4ABA-B10C-0AC9B4895F23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$5347271A-EBD7-4C8A-AAA1-DF8B7415C351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$41126557-1D65-4094-9623-6E1AED1C409D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$C30787FD-A3F0-4D32-BA24-7EF79509A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$2345C22D-3DA9-41BF-B479-6F0D498815C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6cf2aff5e47b96c17aa63569a8e713c84c2f00c","datavalue":{"value":{"entity-type":"item","numeric-id":34688,"id":"Q34688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$8F5E1FC6-57CA-4B11-A1A0-29035E5E2D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$66E60FFD-D2DA-4B92-8772-4D8D04607F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$3A62A660-6766-4C99-92E5-50FC538382FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$A55143B4-EF85-449A-9C5D-2D4F474C6988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$E3E8E5EF-2480-42DC-87F7-A3B5F8C95730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$7FD25A07-10A6-44F4-A080-955CFDA08E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd2dfc4f221f8bfddd0c3de3db77eae5c6971775","datavalue":{"value":{"entity-type":"item","numeric-id":26191,"id":"Q26191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$5C546BDA-BA5A-45AC-9C9B-EF56F6C4090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$BB3576E3-EFBF-4EC9-9701-9392A1F1F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$ACEF63F2-C762-4F4A-AA93-150B95474F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$13CB8156-A359-45D1-85F3-898A48762CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$FD8DEE42-2F8E-44E3-B43C-558D9825C8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"223a9d90a2eb9c9aa11c33c9daf4df548c5a19f4","datavalue":{"value":{"entity-type":"item","numeric-id":25564,"id":"Q25564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$591F0487-BE48-4060-8768-81E5C47B23C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc5c7cbf0d7f199d01b4d7bea26f5d171327f0b2","datavalue":{"value":{"entity-type":"item","numeric-id":33179,"id":"Q33179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$FDF4E2FA-ED69-49B7-8AC0-B6A076D72A96","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":"Q1694574$A0718DCD-384E-4608-9B03-AD8F8CAFD315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b90912e78d6e561ed839b2ba8b5782e7db6d4c8a","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9407-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694574$ADED4152-FEA4-4EC0-A68E-E5D7ED4487F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f03c38acf4a335e8742c76492e5bce85ec930efd","datavalue":{"value":"W2588018425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694574$1597C7B7-39A5-4F7C-9D9B-260C153D3C79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$850CBA85-EA50-41B5-81C0-32C1F87F2321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3376cfdf8b4c338fc396190d4b413075cc35f69f","datavalue":{"value":{"entity-type":"item","numeric-id":3454101,"id":"Q3454101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$7429A40E-058A-4AFC-B055-6F01242AA181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$108FA49A-4FA2-4BCD-A433-DF2B38C07937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3526b6dc59fcce39025ddb78a0186693039ed731","datavalue":{"value":{"entity-type":"item","numeric-id":946572,"id":"Q946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$DA1E4606-CBF9-4D99-BBB7-042E4AE98723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$251E3379-9E49-4A23-AD2A-531816CC9F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ced8d6f2a9df1ee71786851c7533b59c2dba2f","datavalue":{"value":{"entity-type":"item","numeric-id":331617,"id":"Q331617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$9F2E546E-A437-475E-865C-9D1CBE49A81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$A0F291DF-1286-4469-8EB3-3F41CECE109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$EABD4D29-5B80-4359-A214-EFA504979246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a25e9311f149db16764369e47282066b24774c","datavalue":{"value":{"entity-type":"item","numeric-id":5307058,"id":"Q5307058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$FD9C446F-F78A-4B23-9D5E-37D620E7EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$B4972D68-6139-4456-B1B2-58D44E67447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$E14679BA-69E8-4FD4-AE87-EF5F953638CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$CFC84EDE-AB4B-4A86-8000-7B4CC2DBAD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$92DA10B4-DC2C-4BC5-ADF5-C5C483016515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$6087BA87-BDB5-4564-AC86-C7C4A952CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2542de7f09eadcdf4972d4710b463e6bf7cbbcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3453107,"id":"Q3453107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$826D66F9-43FA-415C-88EE-042F1B4995F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$80A12B92-86AA-4576-8CD9-AD10D0207F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$A0EBFD92-21D8-4309-9D63-17ADBAB8769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$2452EF60-5422-49BF-AF56-D613A2F28F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9e9c7ff207f36939585420da3be0c8db2297ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$9C9ADB79-6E80-4E07-8D57-B63D8058FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367182b4caa74823112cd6a17f636fd7fced8481","datavalue":{"value":{"entity-type":"item","numeric-id":1610672,"id":"Q1610672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$C3E4D875-95CB-4A10-BA99-59522251BEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4e9b71792220f050b9daf27c1fd409ef1133a","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$DCA5E6B8-5903-491F-AE37-5B51A898C40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$3129E7B9-8418-4769-8FDB-647695A193FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4acf12f6f2468476af5b80237d12aa6e90faaa","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$16E5A6DF-A7D9-4C8E-B93F-9D4469060FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e0edf0e28b481677ec6286aff34ea615b8e86","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$4527E577-EC91-4ABD-A126-017A69B126AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e78f3a5cbdcade8fda91d2f65f010e0adbc083","datavalue":{"value":{"entity-type":"item","numeric-id":3613401,"id":"Q3613401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$3328DF3C-024E-47C7-99D1-3C7196CD11A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$A2C8C687-2B43-4D03-B554-55399C78F73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$381B9D39-3E80-466B-9973-3783E6CB6B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$63BD3E27-A63F-4E96-8E7F-511CF6D0C964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d88e8214fc05d7111bfb1c0e54ac7e886bdc6f","datavalue":{"value":{"entity-type":"item","numeric-id":2867942,"id":"Q2867942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$EC481317-0B8F-4865-8971-E2329BFA7ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$41F5FCBF-D63C-469B-88BE-D0E8394E234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$10C385C4-B71F-4CCB-85E9-29FB934165E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db313ff073ef9418f8a2ae12f236c0d8494fe4fc","datavalue":{"value":{"entity-type":"item","numeric-id":3613406,"id":"Q3613406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$65E11527-FB0C-45AF-B739-C67277BAC194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b79119f9505990ffd9f1c920604fb44a0b0165c","datavalue":{"value":{"entity-type":"item","numeric-id":3608785,"id":"Q3608785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$7011A1BA-EC71-4969-8D74-1B30F3D6787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694574$3BA6930E-E404-4B8D-B9C9-6C5600EA3141","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2069233968d359e18d0e80ba798a4ddbd36d0f51","datavalue":{"value":"10.1007/S10817-017-9407-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694574$7C4BD94B-30C0-47DF-A7AE-41A75870AC08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c14ed20a48c3aab929077d06fb2b3dc501071a","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c988d56453ba8c1c875d4c56da9ea54a1e1369","datavalue":{"value":{"amount":"+0.9258802","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":"Q1694574$C70D3741-C3AD-4A78-9247-38430E1E0655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260eefc72aa311745d2132d6e821d1459cd8f936","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23042a3c2ee7b06c5f857c608af921de9b2f8237","datavalue":{"value":{"amount":"+0.9221591","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":"Q1694574$41ED0C78-F854-4555-AB79-7A32AF914326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f103237e1b4889a22b078c6687a2ac0c70875b","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f17012b0a85a90d6ecbd89d7cd522f406b870c2","datavalue":{"value":{"amount":"+0.87632143","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":"Q1694574$E44B626B-7518-4E58-96AD-E7E204DBB3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbb6118fbe21887df6b2f66012ff60140cd1240","datavalue":{"value":{"entity-type":"item","numeric-id":3541725,"id":"Q3541725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11513ba1e7637180433b0c9c6a92a4fcdb50e063","datavalue":{"value":{"amount":"+0.82447857","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":"Q1694574$FB3AED56-385F-4061-BCA1-B74CB229EE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10195570bdcc9a3917514973d75cf93b4c8d15e9","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe63e0141f1f3fa5d33ea9ef236a1c447f384fb0","datavalue":{"value":{"amount":"+0.7939217","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":"Q1694574$4FE113B2-2B0D-46F9-8AD6-28F309D6C034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f59a99232b172561d956c7d1974cfce5f6e804","datavalue":{"value":{"entity-type":"item","numeric-id":3150303,"id":"Q3150303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ddad8919130d9ce1bae01dc866ba29663edcd1","datavalue":{"value":{"amount":"+0.79349196","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":"Q1694574$95447751-F18E-40CC-A609-D6F4B817985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47aad1d0eaf05c86f4ec337b76c885e2e9ee0f","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fedaafa5bda71757b4c8042c30190161845bab6","datavalue":{"value":{"amount":"+0.79273057","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":"Q1694574$7F093BB7-AC43-46BF-9615-80EC70AFAE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66c02472b2c01297df97eec5f20430d679117b","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851c7ab2b39845c01a79888859c0831822723056","datavalue":{"value":{"amount":"+0.7796359","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":"Q1694574$03B9C012-004F-4D02-BBEE-FDC292D4768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71ecbaf84f28c342c3776fbbc4438d17d87a980","datavalue":{"value":{"entity-type":"item","numeric-id":4223458,"id":"Q4223458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bba96374280c3b88a97bc8baafc09d5f85eb1b4","datavalue":{"value":{"amount":"+0.7764499","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":"Q1694574$13B6DB6F-332F-4803-A712-2DF2D2CDEF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7435dea3431007af8290bb5c6fd6582c2a180996","datavalue":{"value":{"entity-type":"item","numeric-id":5394165,"id":"Q5394165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dcf9b51900e87060be67b081f3236b95cebd57","datavalue":{"value":{"amount":"+0.77626616","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":"Q1694574$DB4CDC06-1F4C-4113-8E2D-EB8A2C1D82C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_TPTP_problem_library_and_associated_infrastructure._From_CNF_to_TH0,_TPTP_v6.4.0"}}}}}