{"entities":{"Q6973163":{"pageid":21342033,"ns":120,"title":"Item:Q6973163","lastrevid":84042104,"modified":"2026-05-08T15:51:01Z","type":"item","id":"Q6973163","labels":{"en":{"language":"en","value":"Adaptive human-machine theorem proving system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8051417"}},"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":"Q6973163$C1040056-9FA8-4DA9-BE31-0C101FFB52A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef552489c0d15f7bec0757d8bdb81d0e0b8d018","datavalue":{"value":{"text":"Adaptive human-machine theorem proving system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6973163$57E348E2-79A8-406A-A2A8-51A4FE6568D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d83b05c78d8ed2694f415a8232afab48e444570","datavalue":{"value":"1566.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973163$1B0FC3A1-D21C-461C-9CE0-A2DB1119A472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09e36643d8a573a19a1cf472e22ad83670eb0288","datavalue":{"value":"10.35634/2226-3594-2024-64-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973163$5D9F7B39-3BEF-46AE-A9DF-11F67D161B02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8774127e4ad100242fe892c6e43426cc179241cd","datavalue":{"value":{"entity-type":"item","numeric-id":6973162,"id":"Q6973162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$E1E98822-879D-4FB2-A677-B600505DA178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$E3D29DEB-B667-4B4B-8FF8-5CD5BDEC98BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3429c7e85cede387497ff6283cd25084e4af320e","datavalue":{"value":{"entity-type":"item","numeric-id":6571123,"id":"Q6571123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$955B3F23-BF03-4580-9C71-24270D01743E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50452fbce433f8b24c960231ec3b671377e4d142","datavalue":{"value":{"time":"+2025-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6973163$B935592A-5FD7-4A3F-92F6-675FD4CC0897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973163$F8D04650-5394-47B4-B256-4E7B032BD828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973163$10D695B1-6685-44CB-847B-9E6F90AB9485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e6a1e3b344a3e8c964032b1b0bae03c9e280bd","datavalue":{"value":"8051417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973163$7CE65741-1615-4FA3-90A2-E73E43F5BB4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$A9741CED-6C89-4C00-BFAC-4C5A559A9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d4237da38cb08233512b7e99a6dc5dce54775c","datavalue":{"value":"minimal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$4C6D9D38-B3BB-4E64-87B7-8C903DE52938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$B2F16DFD-7FCF-47B5-8CEA-380602C90B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da93219900bae25e0c9a74d31b70c1ad0c6dce7d","datavalue":{"value":"human-machine interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$B8F2CF7B-2AA7-4467-899E-759C26CDEC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bba5e22d7dff8312bc34f306bc40b2d1b9433d9","datavalue":{"value":"sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$11D0CD66-8596-4843-873F-95E820E16BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977ed9a5dd338bf424fd0ab29d89678ee0103ad0","datavalue":{"value":"deep learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$7EA09B05-3F00-4CBE-9C86-2005E44E9A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45605c1c130274ce6af8474a2e8b8bbfaab9976d","datavalue":{"value":"proof verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973163$DBDF7CF2-E572-4991-9E73-6709DCC9B056","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":"Q6973163$BDA54CAF-1867-44E6-B3A5-F4BE0F2C3C5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1e0ec6dfd106a0c87509ba39a12f0bc4b3b42b","datavalue":{"value":{"entity-type":"item","numeric-id":1453194,"id":"Q1453194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$FAC92475-3F03-47AD-8CB9-CB47AB6B0D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32c2f6e4f28105b3f9cc572087475b0cefffda6","datavalue":{"value":{"entity-type":"item","numeric-id":3849890,"id":"Q3849890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$0A564167-E596-4C97-8256-908C7C1BDADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$84A7D850-D847-4807-A6D0-338336FAB8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596fcbf0e50f49e61edf8645d5b2be67eadbd94b","datavalue":{"value":{"entity-type":"item","numeric-id":3418695,"id":"Q3418695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$59BCD05A-A2A6-48AB-90E4-3EE2425B7AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$7AA6A9B9-BDB2-43CB-BE0A-94841581F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa501f8d67d6302c19c53708c34f273d7a39ff38","datavalue":{"value":{"entity-type":"item","numeric-id":819987,"id":"Q819987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$4A84AD31-C607-49E1-B779-03A080418E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c828c42273fdd92d75a81a8b0926cb29b7e446","datavalue":{"value":{"entity-type":"item","numeric-id":1799117,"id":"Q1799117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$F18B7811-4D3F-43EE-B99D-2FC7C802FA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c577e428611609f51c98d78844448d28a70865f","datavalue":{"value":{"entity-type":"item","numeric-id":2031416,"id":"Q2031416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973163$B5B4F189-C763-4DD3-A701-AAD1A83EB453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adaptive human-machine theorem proving system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adaptive_human-machine_theorem_proving_system"}}}}}