{"entities":{"Q7323658":{"pageid":31355146,"ns":120,"title":"Item:Q7323658","lastrevid":105121894,"modified":"2026-09-17T13:17:46Z","type":"item","id":"Q7323658","labels":{"en":{"language":"en","value":"Automatically generalizing proofs and statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249889"}},"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":"Q7323658$A1E54C23-4844-40BA-A6E9-585A4046DC84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0bda14927755d7ddcd08f2617f52dd368153ba","datavalue":{"value":{"text":"Automatically generalizing proofs and statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323658$464AA6B5-005A-4D11-8317-5A6F363481EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1157e2e927ba8fd17e58a8a5bc6e078219bd93cb","datavalue":{"value":"10.4230/LIPICS.ITP.2025.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323658$3071F007-187E-479A-82C5-2BB217D63A38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd642ffb25ea0ee919526d6d4f5dfa6af63677cd","datavalue":{"value":{"entity-type":"item","numeric-id":2086662,"id":"Q2086662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$D5545F61-76A9-4DCE-A580-16FBC0958E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb4c0c1ab2ea40257cc8a524feb1236cfbb6f64","datavalue":{"value":{"entity-type":"item","numeric-id":7207189,"id":"Q7207189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$E4550462-A209-4408-BF38-8D7835F83472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c6ea64cd33947bfa46f02702a3c99f04fd132a9","datavalue":{"value":{"entity-type":"item","numeric-id":237986,"id":"Q237986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$EFBCD944-3BDE-4BF2-9543-AC3E5DF00332","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-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":"Q7323658$3588B262-F45F-4842-8353-A66EE9537E4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323658$63B63611-EFE8-4960-BFA5-F67EA3C8C2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fddeb5ae219b402dd515eeba56e3bf4f3318f368","datavalue":{"value":"8249889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323658$8B5B480D-816C-4129-B4E1-87BAA6E6E0D1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$E53911C8-8EA4-490B-B315-01E611FDF95A","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":"Q7323658$E73A5FA3-780F-4293-8DCD-ABFED4673386","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33eb64ac74500671072820510d5f4beae13eb68","datavalue":{"value":{"entity-type":"item","numeric-id":331619,"id":"Q331619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$24D5F652-5CCF-4464-98F6-B435E45C002E","rank":"normal"},{"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":"Q7323658$E1DBE6CF-C04D-4135-85D6-795AFF590C52","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":"Q7323658$15695ECA-3817-4C4A-A39B-4ED88509EE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50bfa2e117edb9cc1db8207f4a56b574498f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$D0C65D11-9FFD-46D9-9E93-44E1019E275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0593161b7e9e64cb691a3b3b86dad202f5501e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$EB4570DA-64BE-46EF-97A3-955316E9B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd7e9167e724225c18f70e1bf89bb810151a73f","datavalue":{"value":{"entity-type":"item","numeric-id":4736398,"id":"Q4736398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$95C43395-96C7-42E6-9085-BE5B46A467E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$5318195A-705E-4F73-B2A9-7B84647A02AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f17fc4ebb3d30ace7bc9fc38c3b78079904f92","datavalue":{"value":{"entity-type":"item","numeric-id":4736400,"id":"Q4736400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$C7317107-2ED7-4CF8-87BA-4848F502F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa4eab231c5a4bcc6e6b7194cebb15e783f8603","datavalue":{"value":{"entity-type":"item","numeric-id":5875438,"id":"Q5875438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323658$C9C38AD7-AD47-4BCE-B7BC-7E04AF4463E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatically generalizing proofs and statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatically_generalizing_proofs_and_statements"}}}}}