{"entities":{"Q877561":{"pageid":879409,"ns":120,"title":"Item:Q877561","lastrevid":65032059,"modified":"2026-04-11T23:51:45Z","type":"item","id":"Q877561","labels":{"en":{"language":"en","value":"FTP'2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP'03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12--14, 2003"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5145763"}},"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":"Q877561$EC016DE2-3803-4DF6-B412-585F1E301859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2129ae515a656a50e756275a675f882bfe5cef0","datavalue":{"value":{"text":"FTP'2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP'03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12--14, 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877561$45F68161-4CB6-4529-892C-42C4AD0362FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"228fffd1c50cd9d84e3159439845dd3d41c71045","datavalue":{"value":"1109.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$275A84C3-2DD5-4972-A297-42D021C92841","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877561$E2087EDC-DFA8-4675-9859-F330F01009FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b017b11584e0194181f7454a0a65816f703f6687","datavalue":{"value":{"time":"+2007-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877561$10E9E283-8E48-4BAD-B623-8318E048F06D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c44b21ea0d897b5d03b6137a90a7573f1cd8a11","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661","type":"string"},"datatype":"url"},"type":"statement","id":"Q877561$C8A63BAD-146C-485F-816A-5052F4A3BA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$74BAAA48-2771-4598-BD2E-D722ADD84276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$311D0B22-41F0-4C7B-8E13-C5E6C426BB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$1C6A78BF-7D3D-413E-987F-C464732BBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$6AB2D393-9F06-41FE-BCE5-0702A0FA7F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$E6BA95D2-5E1C-418C-90C6-89859571212B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a44c3af929ca39a353cdd9f5e820a244966989d","datavalue":{"value":"5145763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877561$9EA531D7-8B3E-4550-B1D9-360A587741F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877561$32B22F71-247B-40F9-AD58-F52C8474DDA6","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":"Q877561$9BDE890C-C959-4283-86EB-F00F1A1F1865","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feaf909ce5c643470c01c1de04e2283dfb07433e","datavalue":{"value":{"amount":"+0.7484441995620728","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":"Q877561$A9A44404-4B32-46A5-8DD3-377AADE12BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86850ded6f45d5b101dc64f62f56e07fc50ca10b","datavalue":{"value":{"entity-type":"item","numeric-id":1914165,"id":"Q1914165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360710197dbf77d8e01929198e71f18124ca7ab7","datavalue":{"value":{"amount":"+0.7462305426597595","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":"Q877561$160B7CBC-66C6-41AD-ACD8-CB4490345F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cc5b2814595b14f9a680ea8b4946e8f6d92fa8","datavalue":{"value":{"amount":"+0.7434218525886536","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":"Q877561$298F739F-FD89-4F8C-A54B-25D56F230458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c87fc5ea61279fa36596c30cb797ea88bc4ea2b","datavalue":{"value":{"entity-type":"item","numeric-id":5234694,"id":"Q5234694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0a4ba3115d5cfd7f6f085b65c7a3f3570ff514","datavalue":{"value":{"amount":"+0.7354477643966675","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":"Q877561$954EFFF7-5FBC-443F-997F-3AA6A5D8BDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e29c3fb1f60a011e046a3a041f7bafe2b70842e","datavalue":{"value":{"entity-type":"item","numeric-id":1924823,"id":"Q1924823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3f241158757920007a8f1d2cc07346d4691094","datavalue":{"value":{"amount":"+0.7289786338806152","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":"Q877561$6A121551-1FDB-41E7-AD22-99A7916EB135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FTP'2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP'03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12--14, 2003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FTP%272003:_4th_international_workshop_on_first-order_theorem_proving._Proceedings_of_the_workshop_(in_connection_with_RDP%2703,_federated_conference_on_rewriting,_deduction_and_programming),_Valencia,_Spain,_June_12--14,_2003"}}}}}