{"entities":{"Q3613401":{"pageid":5643307,"ns":120,"title":"Item:Q3613401","lastrevid":49685254,"modified":"2026-01-09T01:30:58Z","type":"item","id":"Q3613401","labels":{"en":{"language":"en","value":"Using the TPTP Language for Writing Derivations and Finite Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528276"}},"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":"Q3613401$EC81B80B-96F4-4B34-BE43-D89BF23D6A82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f81929d56c8e2418e0aa6d1d50bece0e050b1ff","datavalue":{"value":{"text":"Using the TPTP Language for Writing Derivations and Finite Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613401$9F0BE4EC-454A-4459-A611-64F44455FDC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb46926857d82732540bb6dc785b9434e83d495","datavalue":{"value":"1222.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613401$C7B408E9-C292-4788-AB6F-CBA88528ACD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce77ea08fa42b002afb49a36ac0a01f9eab1265a","datavalue":{"value":"10.1007/11814771_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613401$13156639-2802-404B-B862-F0B86DC1E1AE","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":"Q3613401$CF7D8510-BCED-486B-AC38-7ECE2A6F9894","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":"Q3613401$E4C116DF-79F0-4542-A065-3794E2E3FF3E","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":"Q3613401$47881E8A-109B-40F1-8EAE-DD85C1E69C4A","rank":"normal"},{"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":"Q3613401$D51E0A11-59C9-4482-8BAB-4D274A729452","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":"Q3613401$7E9083CD-EE20-482D-BDD9-2598DAF0E4D1","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":"Q3613401$26466018-DD18-4305-B0C2-6CF7EEE75851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613401$50CB591B-3274-47AA-BECB-EE21C7D1B839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29bc4f1cb305c643f7a6e31c5f8219f269f6dc62","datavalue":{"value":"5528276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613401$242BF05A-A421-4ED1-A8D3-10EFFFE6272A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613401$1784ABD3-FF09-46BB-84A4-F7983486D4B4","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":"Q3613401$C03ABA7D-7BB7-46D8-9647-8C2BB103AB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613401$1A50F6CB-E4BF-45A8-A132-ED1D8BAB794F","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":"Q3613401$CFDC7BCD-B32C-4E4F-B556-D9E9418E55CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613401$A19FFD39-AC15-4465-B000-31E685689D0F","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":"Q3613401$65F42E9E-C609-45AE-8CF1-00CF5A4AA527","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":"Q3613401$E679CCB3-660C-4157-8C80-D54D72A07259","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2fa30918914e39eb0b959c38181c5f41b0530bf","datavalue":{"value":"https://doi.org/10.1007/11814771_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613401$82E9A9BE-FD99-4005-8A71-34F27E43072F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3938f9351130c748dd6e1e5a180d53f393848c32","datavalue":{"value":"W1584954960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613401$0762CD6D-348F-4681-B77D-6C4377139BDA","rank":"normal"}],"P1643":[{"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":"4236b332879400075997a0271292cedfc7098b8d","datavalue":{"value":{"amount":"+0.842281","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":"Q3613401$210CB268-CB45-4493-8E69-861276F54B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c743139fa082f66c84f8ff6b216989e8a4eab7b","datavalue":{"value":{"entity-type":"item","numeric-id":5747644,"id":"Q5747644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ec532da47e3987c524760f63f7797c3b101cb5","datavalue":{"value":{"amount":"+0.8274123","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":"Q3613401$790CF2BA-D433-48F6-9BF2-1DAF449ABCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5073862a29f2c508fd4cd4072bc975a4b64607","datavalue":{"value":{"entity-type":"item","numeric-id":3757892,"id":"Q3757892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d4d0878d8bb0e3763206d54e5a759b79a54a3e","datavalue":{"value":{"amount":"+0.8269251","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":"Q3613401$D2FF3522-1499-4B9A-87D2-53BC72F7411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59888d4d4c960f54c06ebe0b8a8251245aef7b66","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb9c7e4047c538ab24a79fb6ba459d9e8ecb478","datavalue":{"value":{"amount":"+0.82646847","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":"Q3613401$BF34D477-8B7B-4EC3-B35D-0DBC28772651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb094857d27b76fb3f339a74eb3a8f85e66ab97e","datavalue":{"value":{"amount":"+0.823089","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":"Q3613401$A9BAD7FD-9300-40C6-AD38-E2F4751DD240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab216bc5fd1ae7173ca7a2bc8ea05702c76162a","datavalue":{"value":{"entity-type":"item","numeric-id":3721834,"id":"Q3721834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d95efd0f0b90bd0dcaf2149e8dd237ba48aa11","datavalue":{"value":{"amount":"+0.82202446","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":"Q3613401$B88F95CA-1DF8-4E51-8F6F-D32E6BA98E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689dd2b23989abd5789785539a8481087171f536","datavalue":{"value":{"entity-type":"item","numeric-id":5495524,"id":"Q5495524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1790de8dcf849ced9a36f540df62f9e6dd8bfd84","datavalue":{"value":{"amount":"+0.82184356","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":"Q3613401$464F4638-85B4-4811-A22E-9C9FB39ACF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5338f7ed3775f2c4b0a5afeaf8ce6094c68557","datavalue":{"value":{"entity-type":"item","numeric-id":3024875,"id":"Q3024875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7cfa902ac2c6bfcab1697606f9f507f933ba04","datavalue":{"value":{"amount":"+0.8211762","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":"Q3613401$855D0E51-4087-4691-9079-2E927308B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18f1bcee5a559e76e86ee84dd5601244af54f6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ecd5937ce1206ff9f99ab93b96cd94b979ef85","datavalue":{"value":{"amount":"+0.8210521","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":"Q3613401$1B2B0AD1-BA26-4480-8B8E-9841195F3052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9ef0c0a23baebfb6aff4039a40956035a32b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5308463,"id":"Q5308463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592c0abd6998802f884db9024b0f0d272b3a6dc","datavalue":{"value":{"amount":"+0.82092774","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":"Q3613401$D89C615C-9F28-49A8-B365-0315C85A6790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613401"}}}}}