{"entities":{"Q2891471":{"pageid":2902196,"ns":120,"title":"Item:Q2891471","lastrevid":51491441,"modified":"2026-01-18T11:59:28Z","type":"item","id":"Q2891471","labels":{"en":{"language":"en","value":"The TPTP typed first-order form with arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046627"}},"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":"Q2891471$B9EB7FBF-79BA-4B57-83E5-D6B7E02EC0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12fda58a89b30f4e60eb8190a5c7e905244d6353","datavalue":{"value":{"text":"The TPTP Typed First-Order Form with Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891471$D2CFB23B-9708-463D-BF35-A51E4BA556D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc565d1c948d84a6283eca738d02fa752271028","datavalue":{"value":"1352.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$39F009F0-CCB1-4E46-B36C-084CCD905040","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a71622875dcfd6b0bb5a89789ed1748c8d31b8d","datavalue":{"value":"10.1007/978-3-642-28717-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$6EFD170F-A598-4DE0-8CAF-CC4CD21640F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$6A4AFFAE-83CD-4511-9EDD-6C3D9A26EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$5032D62B-F42E-488C-B3FE-054C2601775B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$8421F0E4-600C-4652-9D6D-1A05AE156D2A","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":"Q2891471$6D9D3E96-B9DB-4DA2-A8E0-F5B6DCD4725C","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":"Q2891471$80F5B112-5626-4F94-81E3-F432EE45ED63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891471$E4A96618-551C-42CF-AB4F-F728785FBFB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$53895EAB-E378-4B32-9411-E0294BA18F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$372A459A-C9F9-4A76-9828-58991B720A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5683d0c83fac2c31da9826d29965e8e5ba5b742c","datavalue":{"value":"6046627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$4E3CA69B-5DFF-4530-BB56-9DC8E783410D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$6E92C6C2-0BED-4CFC-B388-F61B706129F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$5A05A822-7F12-4F9F-8EE8-7845F4C77A46","rank":"normal"},{"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":"Q2891471$7912B309-CE36-4BC7-AEB5-01DCF465B1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$DBE36B0B-BF63-4B5D-BF63-6820468A74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd2028c5945640f27cb6959a4899c9e5ecc937af","datavalue":{"value":{"entity-type":"item","numeric-id":18923,"id":"Q18923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891471$080B9094-160D-4E15-A8CA-5E8531C1CDF5","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":"Q2891471$AE23B02A-5A78-46E1-AA66-5F0CC8BD701D","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":"Q2891471$CBA1467D-B971-46AB-9256-AC6D28592829","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":"Q2891471$EE62ABB3-3B1D-42AF-A3D2-9152C0AF1D7A","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":"Q2891471$20A418DF-E678-4D86-931F-E88031B43C76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d069d4579b55c392c07faa4d106cd14b53f5bc3a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891471$E6F905D6-E827-4AFF-8F2E-F2944E880A92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b3db8ecec1d7ea3d295c562e60e984a279fa8d7","datavalue":{"value":"W1592758987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891471$460F2D8C-04E6-41FE-B22B-48D6C85651E4","rank":"normal"}],"P1643":[{"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":"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":"Q2891471$C8E923C0-706B-4790-B4AD-2315969D36C9","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":"c177414347b1fe0d35c4744e0ac471ea4798d1e5","datavalue":{"value":{"amount":"+0.80684494972229","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":"Q2891471$FB811F15-B4B9-49F8-AF3E-25882012E99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113e2d1d879d9c142457b829e6b1af5a24f50a97","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cc770071bf35884eb3be577031944a2e50e08c","datavalue":{"value":{"amount":"+0.7978556752204895","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":"Q2891471$6083DB80-32A0-43A3-B3A6-7A446F6D7A83","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":"0841adf49752b692749b268dc42b84bffa2c0d38","datavalue":{"value":{"amount":"+0.7883786559104919","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":"Q2891471$E3072E17-C3E2-4FE0-ABE9-DD9F3B25A540","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":"ecd78d40a80d3bf464a0beb59f1b5815eab54ea0","datavalue":{"value":{"amount":"+0.7516104578971863","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":"Q2891471$C31084B5-B2CC-42A4-9114-9F5BF24FDB8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891471"}}}}}