{"entities":{"Q3613406":{"pageid":5643312,"ns":120,"title":"Item:Q3613406","lastrevid":50603726,"modified":"2026-01-14T13:14:09Z","type":"item","id":"Q3613406","labels":{"en":{"language":"en","value":"Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528284"}},"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":"Q3613406$C0E8A0B6-2BE3-4426-AC34-497806CE5A73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c6fce485495ed856d27f57b11befd990bd1708e","datavalue":{"value":{"text":"Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613406$E19171B3-2A6A-4E61-B908-B326F9D4E2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab0320017af157fe15b43798f950217acb1f9532","datavalue":{"value":"1222.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613406$D625921E-4942-465A-B32F-F929C64F8FC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b13deb48b71900c5f778b1ef84b6efbb945d7a4","datavalue":{"value":"10.1007/11814771_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613406$624C5A4F-A3FE-4773-B10C-B52ED3FD69EC","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":"Q3613406$EC7A23AD-2390-4690-B4A0-1B5FE7748A9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613406$ED6B673A-2D64-4AA0-820B-C2A745732128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613406$CCC67B81-7E2B-4D4E-9BE7-5D7426671364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27673a8fc9fe4674c7a993c22878a5ed535bc5f7","datavalue":{"value":"5528284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613406$B0FFDCF9-ADD8-4A5E-958C-3FFE918078A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613406$02A58C14-3E5C-407A-9317-22CB965B1E74","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":"Q3613406$FFACC406-A0A0-42FD-8DC9-6C30E36FE930","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613406$BD72C479-BAC1-4D9B-8F47-221F83708B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613406$5D9BEF21-2127-40EC-952D-37308B40EA49","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":"Q3613406$898C1454-E686-4370-B3AD-0A9B3F028042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613406$F5A416E3-F12B-4273-828A-BDC2E8DD1843","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":"Q3613406$9C0D67B8-61F3-4E66-A63B-62CBBEE89F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64c7b46d20aadf7a44e340f0a03c80783adf6ed0","datavalue":{"value":"https://doi.org/10.1007/11814771_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613406$F0B814C4-C34B-4360-971B-0B3813F9493A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81ac7deaefcfc821ed3273bbac2c3b69ee5050f7","datavalue":{"value":"W1515554225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613406$F7CFF36E-0324-489E-ACD8-E9E3ED014415","rank":"normal"}],"P1643":[{"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":"9f221efe784f870a7d02aea5805620f905ba4c72","datavalue":{"value":{"amount":"+0.8100022673606873","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":"Q3613406$549E37D8-5B4F-4000-918C-BA658E84C678","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":"6d344d8edb6f388e40b6c930ea7288d6ac25dfa7","datavalue":{"value":{"amount":"+0.8095683455467224","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":"Q3613406$1B00C504-BC1F-46C2-B6A1-DBD375388495","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":"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":"Q3613406$26365E34-ACAD-458D-9C62-17F760086955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca2d8c7a3a723d7645a63270b6724696d242f69","datavalue":{"value":{"amount":"+0.7569822669029236","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":"Q3613406$BD256FF8-1FE8-416F-A717-E37C7269B2EF","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":"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":"Q3613406$140EFD5B-A37C-4464-B51B-472C85F1E687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613406"}}}}}