{"entities":{"Q3498463":{"pageid":5528366,"ns":120,"title":"Item:Q3498463","lastrevid":50357849,"modified":"2026-01-13T21:32:43Z","type":"item","id":"Q3498463","labels":{"en":{"language":"en","value":"Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275841"}},"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":"Q3498463$B1B64E09-9542-48FD-9D95-2CBC80B53997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6ce6e58c1ade97d53f7889dc7d8f724669ae234","datavalue":{"value":{"text":"Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498463$1B208AF7-8AA3-4C9E-8AA0-496D81E19C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c88fcdf80a469b0b7875443b7161b37c3a3e7b1a","datavalue":{"value":"1137.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498463$8327A719-C435-42C7-AFB0-D097BA610897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dfa8494a6723ef6cdfd50cc999bb58d25383e9e","datavalue":{"value":"10.1007/978-3-540-75560-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498463$1458B528-0EE6-435C-91DD-A22957BD4043","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e7af4d459380c97226dc66c1f2fa5970ae54d3","datavalue":{"value":{"entity-type":"item","numeric-id":3498462,"id":"Q3498462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$ED0CB0DC-5F96-4FEB-93E2-6E5AA050E6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$251BD118-38CE-4F45-9465-8E19E259728B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf45ee236cadc75999be805a393271d5b567f30","datavalue":{"value":{"entity-type":"item","numeric-id":1868512,"id":"Q1868512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$0C8C5C83-F465-43D3-9660-BD919912A9E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$8EAB2736-A50F-408E-ACD8-D405090842C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498463$A1AEE02B-7653-43F9-AF2D-1A935FFC8910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e589e424a74359e5a21b4f1aa4e2817ec08880e","datavalue":{"value":"https://hal.inria.fr/inria-00315920/file/bonichon-delahaye-doligez-lpar-2007.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498463$0E7570D0-7D86-4A1D-993E-6C616DB7D5C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498463$C44E4FB4-61C9-45BA-B382-EA98AC5A5736","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe421e1c170060d8ebb7888e82a76319492bb253","datavalue":{"value":"5275841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498463$42984A5D-34E8-4A2A-94FC-373BC2999F90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$4E764FFA-AC10-48DA-9DC6-1949ECBD4964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$857B07B6-1193-4E66-A455-0E4624F3F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$1735E227-45B8-46BB-BED2-B89BE1ED7400","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":"Q3498463$52DA7099-56EE-4885-9E9D-6ED5DF82EEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$2DBEA033-E5BC-40CF-9E83-A7A3E5802EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$D92C91FA-A44A-4CCE-ADE5-046B2291D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$A07EB2C7-015A-4CD1-A769-375579B1C932","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":"Q3498463$F92D9F5A-26DF-42A3-A5CF-A70ED860A554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9a5d006708b0fa2aa3082143369496dfeff095c","datavalue":{"value":"W1878755246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498463$C62B8260-7C64-40FC-8E14-153EFABC4F94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$28674D54-1370-4D85-BCDF-DF71993E2B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4678e4c2f003554895218494da0c1f6e87bb3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$8B731AC0-54C0-44D3-B0BF-585142473A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$E6AE384D-6B3A-4614-95F5-CA9DB683041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ac496388b0c6d340dd05e0c517f893a440161a","datavalue":{"value":{"entity-type":"item","numeric-id":2723435,"id":"Q2723435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$843E414A-7A9B-4465-B73D-2E469F400DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$331526C5-217D-4F0D-947A-E3B5349406DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498463$526288C8-800A-460C-83DA-70F8E6C15137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc21c36244ab247d119fae45e9eb4817fb00eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062aed563e49496468d41fa1d518a02bbfcd67dd","datavalue":{"value":{"amount":"+0.7902452945709229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498463$02DC5E18-92B4-4E21-9322-279BD40BCF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0809d9b1dd704b43e96f40cadc787982dd501a12","datavalue":{"value":{"entity-type":"item","numeric-id":2908505,"id":"Q2908505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b245648118baafb83958c1f5c985a9103be7376","datavalue":{"value":{"amount":"+0.7786244750022888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498463$56615595-B445-41AB-8C31-B022D48C5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177affcf6ed6dc750e20da7dd1020b8c01afdc3d","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86137ecde5f045673c01be305a20f18d5ceee66","datavalue":{"value":{"amount":"+0.7740487456321716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498463$963C4A56-1434-449F-9604-657441BB6F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8213c84e722b981af05319a6ca2089cbbe9522","datavalue":{"value":{"entity-type":"item","numeric-id":2457343,"id":"Q2457343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f987d44a0236a7d9eeab16727f7200e48e4e0f47","datavalue":{"value":{"amount":"+0.7609220147132874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498463$89C0C16F-6689-4378-8C77-59E685D2792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf19ee79d99b8782f494e594d9734c9063d5ea1","datavalue":{"value":{"amount":"+0.7422664165496826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498463$E55B72A5-B43B-4227-BB9D-B797D42FF1EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498463"}}}}}