{"entities":{"Q4928454":{"pageid":6958036,"ns":120,"title":"Item:Q4928454","lastrevid":41818293,"modified":"2025-05-08T17:03:28Z","type":"item","id":"Q4928454","labels":{"en":{"language":"en","value":"Automating Inductive Proofs Using Theory Exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176223"}},"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":"Q4928454$D8F7948E-1EA1-46EC-853D-AFB24A27EB58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09e2e185bebc3c1e927651eeba75eebbc56cf0d6","datavalue":{"value":{"text":"Automating Inductive Proofs Using Theory Exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928454$50B9867B-8090-48BD-BB1B-DAF51BCDB8AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f334aaf7567dee9737be71819e6e7e9fa97bf61","datavalue":{"value":"1381.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$5EE28AAC-86D0-4EB3-A125-ED35FD8EF38D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a81a4b88f7542c0bd1fcb68af5b6bea40813ead8","datavalue":{"value":"10.1007/978-3-642-38574-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$A21266BF-E225-4BFA-AB56-CC893A8BF66C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$811FD812-8E2D-47B9-A1C5-0845D4F98BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$0AE712FD-3BC3-4996-9BE8-E771953DCDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09bceed60737b95a07c93164c21857a414d4b32a","datavalue":{"value":{"entity-type":"item","numeric-id":206446,"id":"Q206446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$2589BF26-DAD1-4AD8-AB2E-DBF2B90B4132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e49fcbc4c548063a98ad501641ee3ac5ded892","datavalue":{"value":{"entity-type":"item","numeric-id":1799099,"id":"Q1799099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$E8010B3F-E8F6-4776-BB9E-2C19723FA982","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$785CB3E2-180E-4851-902C-35170447CE86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-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":"Q4928454$4A9630DF-7486-4733-91F4-4E363D8790FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb99e931e795e3a4802dc1da5ce71e80fdb7f2f0","datavalue":{"value":"https://research.chalmers.se/en/publication/175485","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928454$482D82FD-490E-41FB-8522-E8444707A3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$E4BC74D2-924B-4D1F-8445-2D3157B198CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$7EBC1230-322E-4608-877F-F409E05B356C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11c2ff35d199524a102026105d96ca26c5bc3d7e","datavalue":{"value":"6176223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$E71A30AB-1CA8-4DBD-8D73-4D1A5E153D74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$47298052-C754-4E09-9BD5-2E70EC98CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811a0fe9a7b57bf2a85ec487f0e3db8c3368751a","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$55445020-FEF5-44F6-8AB3-CF9369BB9D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$924EB0B3-77B2-4D35-9E26-2B6EE616784B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1efe251f10f20310d9fc2391ac64c314c66eb36","datavalue":{"value":{"entity-type":"item","numeric-id":19751,"id":"Q19751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928454$7E83BDC7-3B03-4A56-BAD6-42177279E2B1","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":"Q4928454$1AD35497-C84E-445D-AC3A-8D0EE3872C2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"535364d745c9a135817fa04ba0f8992573198174","datavalue":{"value":"W123460044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928454$64CDFED7-5A2A-4585-AA5F-2C5E339E98F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d7c242f47cc9c0ba3ca67cef9520fd934ac628","datavalue":{"value":{"amount":"+0.9346748","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":"Q4928454$BDEC2898-7441-4791-8AA2-D645E15627E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90243b9fada17e11c1ab5b50464fb824029e33ce","datavalue":{"value":{"amount":"+0.9251255","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":"Q4928454$8B19A8D1-9CCC-4CE2-A7BB-06C86016E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b4f79d9cb3f8cf9c6c0e0a08e1215c65e53338","datavalue":{"value":{"amount":"+0.92241895","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":"Q4928454$744197F1-E72D-447D-9CEC-ABA4099DA53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b4a2fec8240cef8b3354cfe1bcecda862f0031","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a67d4ce9d20cd8db4209c6803013d20385bb91c","datavalue":{"value":{"amount":"+0.91886455","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":"Q4928454$2B11329C-52CC-4F31-8C8D-214D63C80BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d819c452cde1ae2c4742fa98a3c6834973fc7eec","datavalue":{"value":{"entity-type":"item","numeric-id":3100200,"id":"Q3100200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20094235103545800f75d06616c879ea032191d","datavalue":{"value":{"amount":"+0.90732646","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":"Q4928454$DAD9E581-3D8E-4F3A-BE20-8FFD097D0069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f6f75685d9013355510ddaee851ceed430aaa4","datavalue":{"value":{"amount":"+0.9064764","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":"Q4928454$2232CD6F-E628-4436-88D7-1B93D484FE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e008e2b00d1593f2a8e83712a23de2feaee0d22f","datavalue":{"value":{"amount":"+0.90456903","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":"Q4928454$38900849-5D1E-480E-8932-A7938F036435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b22f807bed9de7df0ebe5d47995d1c25eb4bf7","datavalue":{"value":{"amount":"+0.9022776","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":"Q4928454$157296C0-10C8-4228-BB51-62342FBC5CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b29c43754938fa41d0b455887b0d574c48c6a3","datavalue":{"value":{"amount":"+0.90219414","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":"Q4928454$5B5FF9D4-E73D-4DB6-BE90-C9BD9237426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac25501e10601116990b60965b583eec10389c","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6483100e1562482e17f778a76ad9ce9fbcf8f5d","datavalue":{"value":{"amount":"+0.9008309","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":"Q4928454$56424249-8A28-4C93-AAD9-FD33E29F099D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928454"}}}}}