{"entities":{"Q5234724":{"pageid":7264292,"ns":120,"title":"Item:Q5234724","lastrevid":94688816,"modified":"2026-06-05T07:28:48Z","type":"item","id":"Q5234724","labels":{"en":{"language":"en","value":"Partial matching for analogy discovery in proofs and counter-examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111196"}},"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":"Q5234724$41661EAE-CD9D-40BA-82F2-CA207EBAD577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe2ee5786bd3647d370e6cc7ed29a3290558795","datavalue":{"value":{"text":"Partial matching for analogy discovery in proofs and counter-examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234724$70F61FFD-D5FF-4619-99F7-E7755B5794F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"187b035238287bb888a6c64616c98abcbd1a5b16","datavalue":{"value":"1430.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234724$8C45703E-67AF-4D1E-A851-F0EF464E7DDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66198241c37e1935342dc5e68fa61effb3fc58af","datavalue":{"value":"10.1007/3-540-63104-6_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234724$B05D26F4-095C-4D99-B09B-95E88B3366C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd9239e30d1492d9c0983d3bc066d1828ef8e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1382151,"id":"Q1382151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$B77114CF-FB72-421E-AC83-12F9815231DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$422E5E9D-AF75-462F-ACBA-3B697FF74B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$9F73DBB8-8299-439E-9E69-C6C698A3ACD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234724$3E9CF911-A238-4916-9862-1B2E39D153F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234724$CCCDCF29-B9B3-4507-ACAC-29CD81DBA7AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab240e4de86050dc0d0af456d9cf7a05d9e78e5","datavalue":{"value":"7111196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234724$9218284F-E291-4F34-828F-0895311039BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234724$3964F223-E6B1-476C-92AA-CF43CCC559EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234724$4329C008-1A0C-49D1-A7F4-76A49C5366E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31d37e6b41c9fc7c90af33632588097aa3bae03","datavalue":{"value":"partial matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234724$7E49F65B-EA98-4888-9ADC-B5A2B065ECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ff412278d568f517d292d60cf4d9514c4c349b","datavalue":{"value":"analogy discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234724$001138C6-436A-4BE1-9DA1-4ADD5FC5B74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de04a7e157fd29ecec356c20b368f5584bf0c83","datavalue":{"value":"equational formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234724$60A0387D-38AA-46F2-88CF-FA70D600FBE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$D5D1EA71-A7BC-4F41-BF68-F7BDD2092BD9","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":"Q5234724$CA7B7094-8485-4782-896B-2FC95289D340","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":"Q5234724$6E61B7E5-44A3-456B-B36A-A114F5839148","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b003e39bbe1256b76f84e0ef3d319ed0f5e0cbf","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234724$BABED036-86CA-4E8C-A355-130A269B08C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67f5d45f458f450a955ce9489a4d4bf286943651","datavalue":{"value":"W1599030381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234724$40930232-6130-4089-9B1C-CC0C75BD27CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f091a2487faa4320a607c7fc5ddd1d40ffc78957","datavalue":{"value":{"entity-type":"item","numeric-id":5615282,"id":"Q5615282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$D8854AFF-A7FC-48F6-AE03-CB0E117CCAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$DF8FE3BC-3593-4DE5-B6F7-FF7CE7120B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6ad6f4ad6906a4cbea2742dc5f54e3f33abbb4","datavalue":{"value":{"entity-type":"item","numeric-id":5235252,"id":"Q5235252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$0BFA52B4-0C37-4EFB-8C5E-46BD091824BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edead5300ae98ca370a8f480991b5f74c59eaf78","datavalue":{"value":{"entity-type":"item","numeric-id":4255510,"id":"Q4255510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$F473122A-3D2D-4A8C-B2C9-597154A59D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$2E538EBB-7EFC-4B32-AAEF-116FEF86E47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$A7DBD04F-6823-471C-9DB7-AC95ABDFEF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f44fa2de623bd99222889ef48d2d3d7c7088bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5055870,"id":"Q5055870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$4786A5E2-9E45-4645-BE5A-349098DB62B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$34E2246D-447E-48AA-B80A-A02CAF569ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab9ab22080967e5d288bfe71ea650ed7efe6f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4002491,"id":"Q4002491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$4DA7961E-2528-49DA-9C2B-0D3ECAF6D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$6EB33C5C-1B05-4367-BC49-C5159B0996BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234724$9B49BC14-F361-44A7-9637-09C71221CCFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef04229fe5b87a8f06fd4e0326e4847ef09985","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98a30f7d8e50e93d29a0c5f57bf81c4c9642451","datavalue":{"value":{"amount":"+0.8481826","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":"Q5234724$F52CF6A2-2F85-4CCC-9CC5-DFFE684DEF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152ce6037ea61d2aba1f1d8d034c5f1c2ba19638","datavalue":{"value":{"entity-type":"item","numeric-id":3979265,"id":"Q3979265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad5eb7196e9581a87023e82db696bb7c0b6152a","datavalue":{"value":{"amount":"+0.84735996","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":"Q5234724$4954D5D1-26E0-4EB9-A2CE-107EB8282BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5348b8a4e161aacdbed50cbbc41d026a283965","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d3173570f334495ca82e2ad93626cd433d4eaf","datavalue":{"value":{"amount":"+0.8466685","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":"Q5234724$1EC0CB47-FBE3-4EAB-9911-90EBBC659A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334020c30173115a8fb2673f1d4e7ebbc6d3d21","datavalue":{"value":{"entity-type":"item","numeric-id":5235252,"id":"Q5235252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4f0e80dcf1dbc9e9d9e0c7d9793bab9e7b14ad","datavalue":{"value":{"amount":"+0.84654665","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":"Q5234724$2013543A-1FE9-4C61-99CA-DD7F35B46A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d522b00b16d13bca0bfa49cecc364d2347e296d","datavalue":{"value":{"entity-type":"item","numeric-id":4370349,"id":"Q4370349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074104b9a025310f0b4628d768de886cf4dcaee5","datavalue":{"value":{"amount":"+0.8395447","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":"Q5234724$E1EADCC9-FECE-4D17-8064-750BFFC40113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a666456026cbeb2b2c1988334a1396c6b0dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5739522,"id":"Q5739522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd455a6a8e8be41dcac3c86b185beb6a5d59358e","datavalue":{"value":{"amount":"+0.8367722","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":"Q5234724$BB3965CC-172D-4F02-BB5C-68786D3094D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961105abeee1cc0635292f0518759ea80bf71242","datavalue":{"value":{"entity-type":"item","numeric-id":4287497,"id":"Q4287497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4749dde58a0ae70efd25d06cb2ea19f887fe7133","datavalue":{"value":{"amount":"+0.83657247","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":"Q5234724$57000A14-051A-428C-9925-12ED75718CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47108393db8ff14712020915fc68ed167a46adfc","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad59490055287d564371873622dea726c389e209","datavalue":{"value":{"amount":"+0.8316774","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":"Q5234724$176B8B2F-9A1D-42FD-81BF-AF0C8DDF7B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39eb6a3ecdd9d4eb00723ec33df28adad4302284","datavalue":{"value":{"entity-type":"item","numeric-id":2767024,"id":"Q2767024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbca3783bd37ed53c6cb3088d33a90fcf36aac1f","datavalue":{"value":{"amount":"+0.81833506","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":"Q5234724$89C8A6C7-B7B9-4FF2-959F-6733EB2A56A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf9cc0651bb64dbde3e9ed97c3d22bf35ac5548","datavalue":{"value":{"entity-type":"item","numeric-id":3786027,"id":"Q3786027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4781be79252c2cb41c20264233a381364ad2265","datavalue":{"value":{"amount":"+0.81734914","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":"Q5234724$860E4AF1-F96B-4017-93A7-6797BCF79114","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial matching for analogy discovery in proofs and counter-examples","badges":[]}}}}}