{"entities":{"Q4647503":{"pageid":6677084,"ns":120,"title":"Item:Q4647503","lastrevid":97925009,"modified":"2026-06-05T15:49:19Z","type":"item","id":"Q4647503","labels":{"en":{"language":"en","value":"Termination of theorem proving by reuse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001897"}},"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":"Q4647503$F6A21C0A-5ED2-4AAD-8064-22ACC471C983","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c4dc4041ac9dcd87c99a3d0c60f224e701df20e","datavalue":{"value":{"text":"Termination of theorem proving by reuse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647503$1F27684A-92E6-452F-8A01-EF4E10CD959E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f25bf1f8a461f328020078e71da52dbbdd7bed","datavalue":{"value":"1412.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647503$DDD1DCF7-10EA-4188-9051-9914EE276660","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73d5b239e41bac1a13eb98a4706e8a9e5340a70f","datavalue":{"value":"10.1007/3-540-61511-3_72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647503$30E00F1B-E5A8-43E1-B494-7114AD3EE18B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed355dd232556fbd83c232fbaf2baecab4fdb279","datavalue":{"value":{"entity-type":"item","numeric-id":1854369,"id":"Q1854369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$42EF312E-61E4-4AB1-8F0E-C585724D12C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$559BA2B9-423A-496D-B23B-73F1FB25B0B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$09E66C30-352A-4BF1-B6E3-FE9BFC2F3C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-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":"Q4647503$6164B7C2-3866-4724-B425-E9895533FB1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647503$50D196DD-8FC3-4947-843A-5E21EBD0E90A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b6b80ae1ecfbd6869f74c16d42daaac99537828","datavalue":{"value":"7001897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647503$FD9E72FF-2A3B-4377-85F0-A43C3028F15A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8563635983d64f6f9eb242024fe0c0071d0c676c","datavalue":{"value":{"entity-type":"item","numeric-id":14473,"id":"Q14473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$77B46C17-44DD-42C0-8B71-C60A66316E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$DF3E1BC2-B88E-4C38-83C8-BB5F9CBC8420","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":"Q4647503$E92CC9BC-3399-4FC3-839D-0A8D21E75165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fd14159ff1c2a9858234078816b67ddddc6bd4","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_72","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647503$21DC57CA-37E5-4432-BCB8-9438BBBD60AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"140fc851a958b92980e44c9a0c799a53b1b3c015","datavalue":{"value":"W1534959140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647503$6F03419E-BFCA-4A89-8CF7-D0037388EF85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$CED8F359-F2AD-469D-AACF-093F7F91C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$F59D778B-113E-40BB-8525-1E4EF8A6AD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$8A7D8CFC-2DB7-49D0-BF6F-60A1E235278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$88B64CD8-2AD8-4DE4-94E9-B3C766DA6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$1ED18B78-9A02-4B14-9DF9-61AE57825AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01009f88920082225c684801252fe737fd4fe7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1118423,"id":"Q1118423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$1193149C-EB60-49D2-9FAD-5464614807C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$3E1C0C14-E1DA-4943-915E-AFC79E1339A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec860ad699b67ace6467b93115e80bafdf68b137","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647503$6B0F31F6-01DD-4950-8253-BA6ED0FB3938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8be4e7b98ddc7f8ece6e8141e0a7ee37f103cb","datavalue":{"value":{"amount":"+0.9063831","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":"Q4647503$9DBDBA67-2376-410D-B7FF-B4AAEFCBDE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42aa5d43d337ec3d8d5924508a39cbfa959d6ab","datavalue":{"value":{"amount":"+0.891637","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":"Q4647503$4142C6AD-8F37-4AAF-816F-5F33E9B709CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9128912dc68fb41d9eccf562a42cffbfb9de60c7","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527d28f92fc93d67db9f4edd894efb92fb145d90","datavalue":{"value":{"amount":"+0.8903201","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":"Q4647503$C1AA0FDF-F1F0-4E84-8DFF-BC6C9771014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cdc01515785fd44f51d4c2b3f4ec307edb5786","datavalue":{"value":{"entity-type":"item","numeric-id":2841242,"id":"Q2841242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38f52be257f918db5ace4de4d20781b4a347c73","datavalue":{"value":{"amount":"+0.8872936","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":"Q4647503$3806F5ED-EF1E-4F61-A6D1-C719BEC34262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491a229ab4ccd35f5b9174dcd6e464cba396a8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4015952,"id":"Q4015952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be7913c36bc20b21b651ef938a9cd585a679bf9","datavalue":{"value":{"amount":"+0.88320976","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":"Q4647503$7DFDAB4B-F37B-45BF-91F4-3F631862741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead682c868d3ca1b1127358fc55484c3617dd1b9","datavalue":{"value":{"amount":"+0.88263774","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":"Q4647503$83321DB3-5FF9-4221-90BA-68B9440CBC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b891f3533e919894846ff75e1358b61c8a4f15","datavalue":{"value":{"amount":"+0.8804151","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":"Q4647503$C3F667C5-A4D5-4599-B279-E39C3B9ED9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a59a8b1391e795645c0c157b85e068b4dd103","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8facc4a8a158136b5ecd37d940ff78780451181b","datavalue":{"value":{"amount":"+0.8787003","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":"Q4647503$4CB689C7-E7AB-4765-BAE9-72275AB7E70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c8cf3cc0aeebd9c3627d3019453acaaee4e974","datavalue":{"value":{"entity-type":"item","numeric-id":5311249,"id":"Q5311249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e96a59e6c381ebd5fced0c61e078b7699910070","datavalue":{"value":{"amount":"+0.8757688","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":"Q4647503$1C922C31-995B-4199-95EA-5645376DB923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of theorem proving by reuse","badges":[]}}}}}