{"entities":{"Q3086786":{"pageid":3097501,"ns":120,"title":"Item:Q3086786","lastrevid":45416725,"modified":"2025-12-07T16:08:02Z","type":"item","id":"Q3086786","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872266"}},"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":"Q3086786$2DFC622A-E5EA-4A51-B6FE-E2B4E60A20E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d468d9336ee506d912a361de511d6a4708e17ae8","datavalue":{"value":"1226.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$028AF4F8-2BDD-4261-A2E9-E870CE8C1A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$15A6C0D2-F50E-4881-ADE3-C3FD927E41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f16dd9b703796aafe3fbdd4d4680ffc6b13780f9","datavalue":{"value":{"entity-type":"item","numeric-id":1923822,"id":"Q1923822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$D9396F8B-A9C7-4372-97C5-DFBD3A2B23CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2f90326da5cc0613e34d2cad79177f7a63d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1923823,"id":"Q1923823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$B84455F7-CFA5-4EA9-98C0-98D21E373BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5142db60e241e9efa97b6c4d4e4ba75e7214a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1923824,"id":"Q1923824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$BCF75BE0-2144-4E27-AF87-FB02282386FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$9F779750-02F4-4013-BC85-F534F5013035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$41001CE5-FDF7-4ECF-A0AE-57CC28EE25C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086786$C7CF87AE-C1A9-4B50-8191-D1D74CA97D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$44A4E79E-4F20-4FA6-B3D2-3117DA93719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$B2850636-18EA-4F3C-AE89-FC020106665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$29541ECB-D765-440C-9A00-2E95D0423065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$FB5F113C-1799-4D1B-A7B6-5D429BE7A46D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6340a65eaa8d1c6f60480743f5578e3315fa0ab","datavalue":{"value":"5872266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086786$69DE517C-6E11-4092-B3F4-A8E4C4CE174B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$B6388A19-BA6E-4893-87F1-48D253CCC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$DB729B1A-5E70-47DC-8AEA-B1C6F7281854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772419626c6cb546a579df32ff51f2c6b0349795","datavalue":{"value":"system TPS for classical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$0EC16952-F446-4DD1-ABB2-83A1205A7C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe3c7285c82b7e85a0384689c42c38ba7418e4","datavalue":{"value":"automated theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$3D1E2E44-495F-47FB-BC25-D532DC4F8D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2491b688e25d4e4c215b6176df02c2767c143fe3","datavalue":{"value":"interactive proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$8F311036-C427-4A37-970A-E91D1A72FFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$1275DDA7-C584-49D1-BD31-4DDF71DB2ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086786$350202CA-DB43-4255-9054-4EE28DE7AD3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$C121D3D3-CA25-4ACB-96B7-6474B1EFD495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$F07E1CD7-1DE7-41FF-A316-CADC2A524C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$887BF6B9-D689-46D4-B087-9C1CBC647FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$253EF9DE-3F60-44E6-8BED-699869A24648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$98BB142E-4991-4ACD-A843-71534563EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086786$9EAD3BAB-974B-4A4C-9551-F74965D1B8EE","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":"Q3086786$413226EF-ADE8-4425-AA78-1A0BFEE746EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086786"}}}}}