{"entities":{"Q5747767":{"pageid":7777318,"ns":120,"title":"Item:Q5747767","lastrevid":55971271,"modified":"2026-02-21T15:34:16Z","type":"item","id":"Q5747767","labels":{"en":{"language":"en","value":"Focused Inductive Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785455"}},"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":"Q5747767$8A622BDB-9F54-42C9-B885-54E26A0C6D92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfc6cb24b839e9bbc5264654eca571964552176","datavalue":{"value":{"text":"Focused Inductive Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747767$E32D1CAD-F706-4407-96BD-044C58B2A892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afad3276e2ff669c8ae5ac8672ca5884e8ebb0ba","datavalue":{"value":"1291.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$80BCF2E1-4792-4119-90FF-0906C6BC4791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28d98ccb05a0b97fb440f3da1aeb366147f77801","datavalue":{"value":"10.1007/978-3-642-14203-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$13EF6BFD-D1BB-415B-A5BA-BAB970093ED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$E90BE380-59D0-420D-B6F9-43336F6BD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab515f1cd06cbd298eaef621dba8d17add4ed07f","datavalue":{"value":{"entity-type":"item","numeric-id":2883110,"id":"Q2883110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$90A5D4DC-8798-47E5-AE2A-181C9F16E0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$E358C56B-16FD-44F8-BE6E-0875A1C2AD62","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":"Q5747767$31F129A8-8FB0-441C-8733-3163F8B77D43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747767$4F671D9A-8137-4C31-8822-BAB5C78C69D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$EAEE347D-4FFE-4139-A5D0-EDD23DB0522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$9CF44946-8CAC-4B59-8DD8-6CF33C9EF13A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3032602205cf9914ae3e4d985f894265825d096","datavalue":{"value":"5785455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$86C6C5C2-0A43-452C-AF20-CA5C9752C059","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30e5dd378d1c8d431ca832dc781025a9796eb77","datavalue":{"value":{"entity-type":"item","numeric-id":21438,"id":"Q21438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$4C6D2916-67E9-481C-A5B0-FF33000B3F07","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":"Q5747767$A48D361C-DEDE-42F7-B05B-B52BBBC25AE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c16069ae8c375e05e21c01df553196e0ecfe7de6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747767$F6E93C9B-39B1-4339-B33B-7003ED1A2250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"618cda4148ab085859d9834de0de26ff726f55c0","datavalue":{"value":"W1507932752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747767$AADC7275-0374-4C2E-98E0-9DC0CBA04132","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$F43EA96B-2AFC-49F4-AB2D-265BBE984776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea84eb24d2bab74831d30a1afff94ea8fad8cbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2804937,"id":"Q2804937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$96F795DB-1EEE-4EC7-B93B-6A237D3F1718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9ce23a390aca5ab2f9e7fc1d9ba7525a0aa93d","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$0246B378-540A-49DC-808F-9A5FD1B85C96","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":"Q5747767$4C7C423F-A20B-4C4E-A81E-5825C451B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$AC626F91-A825-453B-BDC0-8B856884D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$30A9819D-6EDD-48E2-8E95-5770F81A07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c9b2f70e928b43c9bc7263147397fb35928e51","datavalue":{"value":{"entity-type":"item","numeric-id":5505551,"id":"Q5505551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$71E034E1-08F7-4B08-A445-4A69D658BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$D7ED838B-A909-4D12-AFB2-953331E25431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ac79800dce37cf467ac64d04aa31f90a31f403","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747767$1A3E1B19-6F7F-42CD-82F8-7B86D9665EC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be161ec7f3b9536e6e38479daa2455b405ae4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5592209ca303496fcc25cc2fd0aa6760625c2a","datavalue":{"value":{"amount":"+0.9022509","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":"Q5747767$8AD10631-DC40-41D1-8E63-EC89F93CFF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e59551225452340ade88e1eff941122c0fd6f12","datavalue":{"value":{"amount":"+0.8956195","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":"Q5747767$90C662F3-8783-4E31-AC8B-ADA0BF50BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fac03fc28094dc9e2c5577fcf6cb715a2dca930","datavalue":{"value":{"entity-type":"item","numeric-id":5955618,"id":"Q5955618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced69ad00dc7db8107c164e76772ea47031cd66c","datavalue":{"value":{"amount":"+0.8888627","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":"Q5747767$56461322-2FF4-41DD-BB7B-C4B76124E32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcc37730fba57b15fc3ecc4cd31fe58ea94d360","datavalue":{"value":{"amount":"+0.884148","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":"Q5747767$422ECA35-05E7-43F8-93DF-AFD75682A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff887064dbaf50463f11dd0960d847e76e240eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4249033,"id":"Q4249033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af18cf6516a6ca2e40165660387538bd55138428","datavalue":{"value":{"amount":"+0.8828732","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":"Q5747767$48498E8D-A0E0-4144-856D-C1638B98333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c619a0cf2c367ad503fee3443960d53a51d72da","datavalue":{"value":{"entity-type":"item","numeric-id":2721203,"id":"Q2721203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2e9b4cade1acfb50620188dac552d3277ae3e4","datavalue":{"value":{"amount":"+0.88169456","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":"Q5747767$3523FA23-18A9-40D8-AF35-037A4543852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb6f101e16759feacd734f20cb4dec1d175b2ea","datavalue":{"value":{"amount":"+0.87971073","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":"Q5747767$38514DC0-B7EC-43FE-AEB2-1710AF159847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998069905a7cae4e3d1b4a617dbc5b17ff000361","datavalue":{"value":{"entity-type":"item","numeric-id":4428297,"id":"Q4428297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b82e9d527a003dca817299eedf3127371bfd6f","datavalue":{"value":{"amount":"+0.8787188","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":"Q5747767$391DD19E-96C8-4F6F-A8BA-3EF533C044DB","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":"fc2e581744ec58d1d9fcfae318b8e254332ef216","datavalue":{"value":{"amount":"+0.8786758","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":"Q5747767$BE1B238D-8F99-4DAF-B53D-CEB8C662EB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747767"}}}}}