{"entities":{"Q2848043":{"pageid":2858763,"ns":120,"title":"Item:Q2848043","lastrevid":83497016,"modified":"2026-05-07T08:25:58Z","type":"item","id":"Q2848043","labels":{"en":{"language":"en","value":"Strategic issues, problems and challenges in inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211401"}},"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":"Q2848043$D762FA02-C803-48EE-B9F3-0515D38F81C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e564a604b5cc64475e0c766884012c8c9b1db0f","datavalue":{"value":"1272.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848043$57196C77-3543-4621-AE57-F59E55AA13AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-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":"Q2848043$AB14302B-0C4A-4A1D-AB7D-47AAA5C1DCDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d79c00b95419b4236ca1fce280865bbeeb41a734","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848043$B559FC8B-2E96-4193-B8B0-F818372A822E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848043$7F9312AE-B160-44E3-BBD0-AF339E4D0D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848043$7BB11586-8636-4E88-AE7F-3E52CA648704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98004622d8f208b268194997dbbbb9c22762d380","datavalue":{"value":"6211401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848043$FD5D63DF-0213-4304-87D2-95EE456D6CC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848043$13F100BA-DE16-42B4-A0F9-DF247D1262DB","rank":"normal"}],"P1463":[{"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":"Q2848043$20E35C73-C88F-4F43-B026-264EE0CC91F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848043$BC69A557-AB6A-4D9A-8915-D55D6A39EE26","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":"Q2848043$85BFD1E1-8D94-43DC-940F-32C9D653986F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af349b0ab6b9f9c84f7b5df21d433f5d3b3c62f1","datavalue":{"value":{"text":"Strategic issues, problems and challenges in inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848043$976A1526-350E-44FE-9D2D-3F63F70A130A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80e3a6f8f0937df1ff95657f80a705e0e147dc","datavalue":{"value":{"amount":"+0.7563764452934265","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":"Q2848043$4422C827-0495-4F4E-8B3E-D1901B64C509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33b033c6f23d4730fd2828d4a0b0fd41ff09f32","datavalue":{"value":{"entity-type":"item","numeric-id":4886736,"id":"Q4886736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80e3a6f8f0937df1ff95657f80a705e0e147dc","datavalue":{"value":{"amount":"+0.7563764452934265","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":"Q2848043$7A9F9DFD-46CE-4A7A-A419-4D5A768D7975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3823ee1a9c9903f198a249cfebab82e2625c48","datavalue":{"value":{"entity-type":"item","numeric-id":4596787,"id":"Q4596787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82969fa218815cb72d380340a3b19fd803be6098","datavalue":{"value":{"amount":"+0.7547552585601807","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":"Q2848043$3FE41462-7832-4BDA-ABD7-05D469342E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e835d642ae671928185aa99028b1bdc13e409b","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e302907b33b0db1d15fd55b87b21792f64b66c","datavalue":{"value":{"amount":"+0.7469878196716309","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":"Q2848043$F868ED92-61C0-473F-B4F3-2E35507E6688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3634c26162d01a1765d928ca49ece4b187f75c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5166499,"id":"Q5166499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa04799d0403f9aac55be74c1b34a64167917618","datavalue":{"value":{"amount":"+0.7157024145126343","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":"Q2848043$017917DC-7DBF-4796-9B68-D66650DA3FC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strategic issues, problems and challenges in inductive theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strategic_issues,_problems_and_challenges_in_inductive_theorem_proving"}}}}}