{"entities":{"Q3066085":{"pageid":3076801,"ns":120,"title":"Item:Q3066085","lastrevid":51159851,"modified":"2026-01-17T00:09:42Z","type":"item","id":"Q3066085","labels":{"en":{"language":"en","value":"The TPTP World -- infrastructure for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834029"}},"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":"Q3066085$D9C8F833-1E4B-4490-A2B1-BC1F57C43126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad9678f0541b5289f7585ee8388df6c8af50314b","datavalue":{"value":{"text":"The TPTP World \u2013 Infrastructure for Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066085$0C5814B6-AB29-4D71-8EE0-F7A067006042","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"481bab3810ce9476aaecfcc06183f265148d2b41","datavalue":{"value":"1253.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066085$325FDF18-AA4B-4A6C-ACAE-E4ED6EDA656C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b3dd2e1f47d36a0fcc8ad0e031e72eab948a8dd","datavalue":{"value":"10.1007/978-3-642-17511-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066085$B203AB3B-D0DB-4E3F-AFCA-ADA5B1BF2511","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$E65BF3D0-3C7F-4766-985E-8C8A5BDEC884","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066085$1E54E0C8-DFDD-47C6-BD76-19D965F539B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066085$CC6A765C-CCB9-4C91-811A-8F35CB66A9AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db53ea22bc130e92573e114ef93f8a60870c4b8a","datavalue":{"value":"5834029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066085$FE0CA049-D726-48B1-9DD1-712038447DF5","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":"Q3066085$15D3D93C-9A6E-4FB7-8388-4DF0505D6A0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$A6DF5E7A-41FD-415C-861A-5D1ACC4F595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$CC41E6E6-D58D-43B1-AADE-269164D744CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$97376239-1D0E-43B2-92CB-8A324F4D8548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$B89F5FF1-105C-4E79-A084-89E10A0CE10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$1A155E57-595C-4738-9D47-DF6DCD62E47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$AB8AEC72-F9A0-451F-B22E-5FD0909AD6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"133e2e5701b3435e4a72bb2a6345ff9894f7c6da","datavalue":{"value":{"entity-type":"item","numeric-id":22369,"id":"Q22369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066085$BEAFD133-9892-4A93-B090-0230F967B14B","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":"Q3066085$B14675BD-200F-4678-963F-FACF194DCCFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08487cc914c45e7d78ea02c448fe9feff61a616a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066085$50DB29D5-7CD1-4FC4-A930-90EAE18F73D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0552bd5cf1c338ace8bbe207bbedf66212f71a26","datavalue":{"value":"W1889418786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066085$BA7EED47-096D-4938-868C-D7A3BA91463D","rank":"normal"}],"P1643":[{"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":"ee2c8741cae7501b7aed1804a33c1532e91f51ea","datavalue":{"value":{"amount":"+0.8201848864555359","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":"Q3066085$D162D95B-C3E1-4C8A-8FF0-4970E5D37F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b884e616fa3408b10f2624cdf544e03c9ee7c19","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cccadd111e158c837e8d13816869972311588d","datavalue":{"value":{"amount":"+0.8188883662223816","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":"Q3066085$FE21113B-E44D-4427-98D1-E9680C5B7A80","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":"404375fca6095ed5059e8ce2392ebed7d8d2c8cf","datavalue":{"value":{"amount":"+0.800997793674469","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":"Q3066085$E0865E14-4825-44B2-A76D-B7907D3F4F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f14237040d7cd5a8182bccdd77d86938afed09","datavalue":{"value":{"amount":"+0.7899330258369446","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":"Q3066085$1DDDE529-FE2F-43A3-93DF-F32A29FFADCD","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":"4d8c87112ecd35028233d9f787903d38406481fa","datavalue":{"value":{"amount":"+0.7622292637825012","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":"Q3066085$836C5C6C-6D36-44C5-9468-A8A1F6D787EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066085"}}}}}