{"entities":{"Q3541725":{"pageid":5571629,"ns":120,"title":"Item:Q3541725","lastrevid":80954669,"modified":"2026-05-06T17:23:00Z","type":"item","id":"Q3541725","labels":{"en":{"language":"en","value":"THF0 \u2013 The Core of the TPTP Language for Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374266"}},"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":"Q3541725$496E9072-15FC-45D3-9488-E38A98CB120E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc2f082a32d6fde006dae9de780624e425f14c60","datavalue":{"value":{"text":"THF0 \u2013 The Core of the TPTP Language for Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541725$0F43FC25-C557-4B9D-8410-5419D53B3D0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10e409d27639ac0ef1f5464e30b9e72c8a9833ae","datavalue":{"value":"1165.68447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541725$46AF86C1-BE7F-466E-84FC-9FD77306AE37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2b57b94e7b14d0417a1b779202889aa614d3488","datavalue":{"value":"10.1007/978-3-540-71070-7_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541725$5089EDE8-5D19-425C-B025-50366B5BF58B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$37F3AEA7-587E-4722-AC5B-4388174BFA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$C5E58DF3-79C5-4F0C-8B9C-AA7526047AD1","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":"Q3541725$841EEB64-AED2-40D5-ADF8-64B5A5424133","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$B6B55CCD-F3FB-4226-904C-8FBBB7FD5A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541725$2E6A957E-B123-4181-B5CF-9742E9D31664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541725$68C37C8B-9984-4F62-B6EA-8937174BDBE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f068cebc4d223826c9f21c49b50254da124c49","datavalue":{"value":"5374266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541725$92ACF429-6DEC-4227-BA76-7EBDE4EFDA5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$ECD9645B-D681-4B3A-9287-19E787C83CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$F7595774-6816-44E3-A34E-F3E7B30FA304","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":"Q3541725$6E66A36C-11B5-45CC-B4D3-CDE5FA257325","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":"Q3541725$12CB799B-3F1C-4EC9-B068-17B4C585C8F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21f18a47ff8ed014501205d69b9f85b85f1754c2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541725$CF35ACFF-5CFA-4B19-82EA-3286E4246BCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92548833f1377e37458a40f3f9e66285c47cc2e6","datavalue":{"value":"W1541015300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541725$33322D66-E906-416C-977D-A3C169D346B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$5CEE5A38-AC4F-49D5-A933-F6322E1B00C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ea9919e9d875874bc360c6ea5fa3f90bb3e08d","datavalue":{"value":{"entity-type":"item","numeric-id":5477647,"id":"Q5477647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$4F892CC2-3449-4C64-9E7D-33E975D78BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$1BE31599-884E-4956-8A05-17645DCE39CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1d89dc5849ea759265232a4f46af65741692c7","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$F4E3197D-330F-4AE2-A4BA-12CF67A87584","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":"Q3541725$B8283DC8-044E-463B-B911-FDB262552FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$12B6334D-A7D4-4473-A39D-330404F365C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$6AD2F4D0-3C4B-4E82-8646-BE37BAB98589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$60C88E9E-ACBF-45C9-963B-24D4284767ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$AF393191-024A-495A-BD02-7F69DCC06829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$10DDE782-05F2-4EBD-84DF-FB5957702995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$978487E1-69D3-428F-B066-5BD7DEA86ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$EDBA7597-C686-455C-8DE5-F3C1D0B2B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$ED7BA6B5-47D4-46BC-8C64-EBBA3D5E1E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$876A0058-285B-4EA2-B4EB-1AA1E430B081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be986acc9e1b8514990926935f126389f1f796f9","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$A6FA9D47-42EA-4CB5-B82A-2DC4178E971E","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":"Q3541725$705B1A67-721F-4FA6-AE2F-5E17C4F990DC","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":"Q3541725$AC7300B1-5911-4362-B227-262F6683D895","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":"Q3541725$55B1A132-E9D1-47E1-B3CA-C9AA2A663155","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":"Q3541725$9CB19A08-1131-442D-B5A5-DC0F363C043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3291604ce22a8258f8e59a2281ca904d1657af7","datavalue":{"value":{"entity-type":"item","numeric-id":4672985,"id":"Q4672985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541725$D43562C7-A442-4791-AB73-A4A434F8A99C","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":"Q3541725$99887DE3-EA57-498D-A7DC-1A97D13604A5","rank":"normal"}],"P1643":[{"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":"136ffd5e84d07900c8a52fac665dd32c8938128d","datavalue":{"value":{"amount":"+0.8333861231803894","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":"Q3541725$59719EC2-6555-4F42-BC72-2B0FCE55FA8E","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":"01455865f3c230d6ac3086ef21a37af7297364ef","datavalue":{"value":{"amount":"+0.7992238402366638","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":"Q3541725$03272129-E72E-4745-83F0-0B26CCD23614","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":"c655aa71d5d909726b2a8153095e89758a312f8d","datavalue":{"value":{"amount":"+0.7866701483726501","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":"Q3541725$3205CBBA-4A26-4E5D-8240-9D6E9B980B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223db4af4c4511d92bfb70be4f462ce4f636a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3613406,"id":"Q3613406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e162376e3adec13efb30d76a1972918c74c87917","datavalue":{"value":{"amount":"+0.7779574394226074","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":"Q3541725$95B62B5C-D080-4155-9E56-DE7BCF6CA28B","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":"17aa3682cfd6a733e90b27905121b071100ef6b1","datavalue":{"value":{"amount":"+0.7764979600906372","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":"Q3541725$02A8567D-4DB8-450C-936E-45645C231B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THF0 \u2013 The Core of the TPTP Language for Higher-Order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/THF0_%E2%80%93_The_Core_of_the_TPTP_Language_for_Higher-Order_Logic"}}}}}