{"entities":{"Q5210777":{"pageid":7240348,"ns":120,"title":"Item:Q5210777","lastrevid":53639222,"modified":"2026-01-25T11:42:27Z","type":"item","id":"Q5210777","labels":{"en":{"language":"en","value":"The TPTP problem library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154551"}},"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":"Q5210777$32F0E92B-1832-4318-AC53-10F4B19A2AC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cb56bf7cee87d020e4a54862a119f694ddb113a","datavalue":{"value":{"text":"The TPTP problem library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210777$14297068-45D1-43F4-A859-3C1D37B02CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcad29669cca7bceefabd5828eda257cf5610b07","datavalue":{"value":"1433.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$B72B933C-7B84-4A34-B0B2-2ADB6B945FE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a22e9eede830dbf4852bcb226d40de458ac0a216","datavalue":{"value":"10.1007/3-540-58156-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$8B714F3D-7E17-4A8E-ACF3-BEA0D6860BB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aab822a803d4995d8fec4a18a0120485b693ff","datavalue":{"value":{"entity-type":"item","numeric-id":1272605,"id":"Q1272605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$867C7FAC-36B8-4A6B-82D7-2627F39F25B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e140a7ed6b701d95ee6ba699390f4fd65be591b5","datavalue":{"value":{"entity-type":"item","numeric-id":5210776,"id":"Q5210776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$B868BF59-108E-495B-8418-51FC29A82408","rank":"normal"},{"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":"Q5210777$C4C42479-90A7-4859-959D-EA348564615A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$6E673A3B-BEB9-4A65-9E40-27E891029A2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210777$271C089E-3ACA-44BD-90DF-BDC56153D294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$14DDC34B-4D04-4AEC-9D66-3F92802A0741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fee8f2ca1323cad9e9232d7279e663a6ec082a12","datavalue":{"value":"68V35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$D50AA3A6-3BE4-4A49-89E5-54391022B326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e04a1c3a1a1d528981f6dbb27fd787ee992cf0","datavalue":{"value":"7154551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$7BA2936F-A3FA-403B-A546-7E0DF6B19BCD","rank":"normal"}],"P1463":[{"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":"Q5210777$B0BF0130-1A92-4645-A647-6326661D9A22","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":"Q5210777$38A31977-E14D-4333-A314-9767AF873C59","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":"Q5210777$F7618A4F-BD37-4EB3-8B79-DF9F06D6C112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10427d4584be6e0e395926444f64c67be42f6e8b","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210777$5B1BAC56-7C54-4F38-820C-558AE503A3AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa6d84c65b3b5506ccdda0d0b07d7760e6753aa0","datavalue":{"value":"W1768790486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210777$37FCB925-BBC6-496E-ACE8-82B2BB2AC0C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb31cfec21be04f1ba8409c207f9c0a2daf7299","datavalue":{"value":{"entity-type":"item","numeric-id":915496,"id":"Q915496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$0BA7C166-23F1-4B3C-903C-7938036D14C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$2B23DED0-1C73-440B-ADBA-F83852021864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf949cde889efb4f2baab86e36ce2705431ff5a0","datavalue":{"value":{"entity-type":"item","numeric-id":5688940,"id":"Q5688940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$EC2979C2-0AF4-4EFF-9AEE-978DA63E87F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$22187981-5369-4C64-AADD-F6A62E2A514E","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":"Q5210777$40673047-680D-4161-BE84-26766C90A3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$AC9E93F1-7433-43C3-86A6-A9DDD2350B1B","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":"Q5210777$DE0B4583-9B68-4B5D-B7A8-C0992CA87CBE","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":"Q5210777$785FDF7C-59A5-4FE9-B1AA-E8BC7EFCBA26","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":"Q5210777$95DC49A8-9E63-46F2-86CF-F7354E9B42E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$7C303542-F071-40B7-8B1E-4019006F3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aefcbbb48c9809b0ea99532e8c981cd3b1e3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1101259,"id":"Q1101259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$CC5FF773-56F7-4B31-B91C-0B031C4C4F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb8416bc0653d079195d14460f2a516ad7640a6","datavalue":{"value":{"entity-type":"item","numeric-id":1344881,"id":"Q1344881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210777$729974AB-FFFA-4AB1-A40F-95B33922FD39","rank":"normal"}],"P1643":[{"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":"3cdcbc852561b93f1afe0588512648a57409afd0","datavalue":{"value":{"amount":"+0.9143068790435792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210777$CFE61012-E7F7-4E24-8935-FFD6E30798CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780274f7d45e7496490ce3dfcc953566820d3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9754073bee3d7d15694d5fee4493ef99142027","datavalue":{"value":{"amount":"+0.8720362782478333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210777$C5921C63-203C-4230-A9C1-9E0FE7F3E02A","rank":"normal"},{"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":"f6780dfd645a60db893d9ff4966a74edec6c102a","datavalue":{"value":{"amount":"+0.8662526607513428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210777$E783968F-1FE5-402A-8C45-C34C9E1F0802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af82521c3a0087569af5fb986fd5dc32a05cff95","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83a12f4910dc482b7001e1ca340e6b73d42b627","datavalue":{"value":{"amount":"+0.8595746755599976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210777$0DDBEBBE-461F-437E-90E8-E32B44472CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fcd1225daa363e30cba283019efef17a12ba36","datavalue":{"value":{"amount":"+0.8546379208564758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5210777$153107B4-912B-47E7-89DF-D768AA4E4E06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210777"}}}}}