{"entities":{"Q4928456":{"pageid":6958038,"ns":120,"title":"Item:Q4928456","lastrevid":41562027,"modified":"2025-05-05T21:55:17Z","type":"item","id":"Q4928456","labels":{"en":{"language":"en","value":"TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176225"}},"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":"Q4928456$FC9FE7B2-823E-4C2E-9F1C-095E297DAAD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ec9568bb094e1915a0b95e301d94e5a5b8c95c","datavalue":{"value":{"text":"TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928456$C273D2FE-EAB6-412E-9CA0-2ABD6F7B909D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca7215d232f73eb410774641061316e6a49e0802","datavalue":{"value":"1381.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928456$777E7A6F-14F4-4F94-BA95-7FD807EDAF3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84c501a6e04cee3ce5a27513ef5b22f9d32a6e8d","datavalue":{"value":"10.1007/978-3-642-38574-2_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928456$88CFF1B8-4CA0-4760-89FF-8D3368C31AF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928456$C1C6EA0B-EA1A-4871-866F-2513EF6DCCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928456$A120DC83-6DA2-4D6A-AD76-9F3E2BC163A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928456$F7D471F7-235C-412A-B92B-566F8F8E8508","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928456$B426A624-04CC-48C6-8A12-25FE823F6B88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af03bdcbe415606efd0696ddd81dec982f2c1420","datavalue":{"value":"https://hal.inria.fr/hal-00825086/file/tff1short.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928456$4E988D34-FF10-4433-B4BB-444E2D585EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928456$1D4AD7C4-348B-44BF-AC17-EC323342753C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30a74fa773e84639f313042957a81b18488e1b3d","datavalue":{"value":"6176225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928456$6BD64E2F-24E9-4713-ABBF-C1FD23823564","rank":"normal"}],"P1463":[{"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":"Q4928456$828D681A-D84C-49B6-B264-EA9E0CDDD5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcb8668d4342f1ce0eb71100202b248217523f94","datavalue":{"value":{"entity-type":"item","numeric-id":22367,"id":"Q22367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928456$2A5D3D49-B428-4832-8E2D-CE61F2F1BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928456$9534BE45-A53E-42A5-B960-A96D17C15EAA","rank":"normal"},{"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":"Q4928456$150C8795-7A41-4588-9A38-B8D5F80DF693","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":"Q4928456$AAB14CA3-B98F-4B23-A60E-E79D2F0A8F63","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":"Q4928456$EBA22148-EDED-4637-BD16-4CAB36EF8CF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2b00f0769ccf13e27e3909ec1915694bc589875","datavalue":{"value":"W1749440414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928456$03A97017-1FF4-4105-AB7D-B0DFD84BEA77","rank":"normal"}],"P1643":[{"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":"cbe192b882d9cdeb99ddc74806493eef757f5589","datavalue":{"value":{"amount":"+0.8468864","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":"Q4928456$A159FD01-5086-4011-9808-1EA3CCC6C7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1b218eed2a7a863f8eea76b1b401f765205d23","datavalue":{"value":{"entity-type":"item","numeric-id":4223028,"id":"Q4223028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91b4793d5555f36ee6a38f0d4365f5d65792e16","datavalue":{"value":{"amount":"+0.80890524","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":"Q4928456$BF3BCEBB-28E5-492D-9592-263A0AB0C5BD","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":"5214aadafdf6da3df9de1561ae3e06bd702f66ea","datavalue":{"value":{"amount":"+0.8068234","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":"Q4928456$4D84E8E3-9113-4E1C-BAD5-B6757310BA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2a79ee3f7a5db64834006e46c1bfea89546410","datavalue":{"value":{"entity-type":"item","numeric-id":2817718,"id":"Q2817718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541f3e23490ffa7e4686eefca1ea171b6ee8efe9","datavalue":{"value":{"amount":"+0.798788","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":"Q4928456$46C15BDF-0C29-4F6C-9148-4967ABAD0932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d42c49af6ddc9caa53ed6f82867a544e8f3ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":5261506,"id":"Q5261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d485a115e691021ed417c6e3d827cd0e4d678e24","datavalue":{"value":{"amount":"+0.79663795","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":"Q4928456$40A56A9E-7D9F-45DF-8B8A-9E22315337F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380fe67206fa9f7f0a415ba641a43eb156d4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":5390279,"id":"Q5390279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8676c8f881ca5d045bf2538b7dee4a7f777e9e89","datavalue":{"value":{"amount":"+0.7965326","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":"Q4928456$3ADEE442-530F-4326-92A4-724428D00663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799a38e83bea9921db7a769536fd5def8b656e78","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be587b48f3ffc49a263470eaeff120015975d4bb","datavalue":{"value":{"amount":"+0.7959142","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":"Q4928456$0543722F-0884-483E-B755-BF15DC55598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e60eb2f7181c3c209e50762c2ed76e22b7cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5638bfd800c4557470f9258e496f8ecf1ee1dc84","datavalue":{"value":{"amount":"+0.79543597","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":"Q4928456$4F2F0647-C6C7-4832-B6C0-68DAC1E2238D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a6263eaef5dc46486cb4ca0b8651b0ad975d35","datavalue":{"value":{"entity-type":"item","numeric-id":5178769,"id":"Q5178769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204a20c5432deb5d5079c54378311293a6f4ec9a","datavalue":{"value":{"amount":"+0.7945223","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":"Q4928456$7B393757-8C91-4748-8061-A1DBDB4410A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928456"}}}}}