{"entities":{"Q4246942":{"pageid":6276543,"ns":120,"title":"Item:Q4246942","lastrevid":41780231,"modified":"2025-05-08T05:53:06Z","type":"item","id":"Q4246942","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301729"}},"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":"Q4246942$08284ACD-9CC7-4BF9-A13C-D6FED74D68E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"174f3988249f80a21443b4b6edea6b2f813b3957","datavalue":{"value":"0927.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246942$3FB2A53D-0E67-437A-BC5B-111E84F77520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26e1c71794d37584d6b37be5173796d517f4644","datavalue":{"value":{"entity-type":"item","numeric-id":2754028,"id":"Q2754028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246942$0244B226-05EC-41F5-B70F-B1CF390D0A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246942$16635062-BFEC-4154-85C6-6E46AD559DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246942$173A7F9E-092C-42D1-B65D-5AE75374E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246942$1C9F3CAF-0286-4DBA-BB2D-E4D2132959F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd9712703ca7e4e0dddf79e84f308ad8c0f9f3a","datavalue":{"value":"1301729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246942$7C1DBF29-DD99-44EE-ADDB-20B640B93C7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246942$54B0DAC6-B56C-4DAD-B7DB-15A899915FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc09fa5653c1af6babe8cfed6cb15c1d42d345de","datavalue":{"value":"formalization of the interface of a proof-checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246942$755E79FF-905E-403B-BA97-A8BB60B4F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd4293586cd5dabd4ea803dd3767ab179cddadf","datavalue":{"value":"proofs-as-terms principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246942$8D5F00FA-DBB1-4D07-8C04-D4226D52D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246942$F4438222-866B-421D-A3AE-17940B0F2B52","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":"Q4246942$24CB7243-DB3F-46A3-A1AB-4FBED6AE8BB4","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":"Q4246942$FBDF7A01-B46B-4E1F-B7B3-2B64EAACBF5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafc3698a57c042895ecfa1f2c970f48a62c67b2","datavalue":{"value":{"amount":"+0.8973884","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":"Q4246942$D4D43FCB-3034-4BFF-BC9D-0516851386B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f497407874e3ab164c554c350f73fc98fdbd0","datavalue":{"value":{"entity-type":"item","numeric-id":4989018,"id":"Q4989018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6784548f250773427d73f8d1fe3eaf3057581950","datavalue":{"value":{"amount":"+0.8924104","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":"Q4246942$EA5F0A51-458E-408E-AC93-51E9C009C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e881bf08fb6f1cff3f8aa459e5c68c590712982","datavalue":{"value":{"amount":"+0.88865817","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":"Q4246942$CEE04782-1DAA-4DCA-B99C-3D4CC9F4C22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150ae9338299f5e5f08685b26bddf8075ea15403","datavalue":{"value":{"entity-type":"item","numeric-id":2035655,"id":"Q2035655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a85e205b1c038b5ad123eba213b6ec7dc1eb67","datavalue":{"value":{"amount":"+0.8854925","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":"Q4246942$119B2E3B-4898-45CA-B338-9862FE2052AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54945991e72c4e075bbdaee9b84ef77985d61019","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52fbc968b1fa7e18dd7db7e5430b6f8473815201","datavalue":{"value":{"amount":"+0.88370144","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":"Q4246942$A109DA01-91A2-4D81-B16C-CEB26833AE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fae30764d4e975e0f3821ee8abc05097f19f927","datavalue":{"value":{"entity-type":"item","numeric-id":5756500,"id":"Q5756500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa7aaad1871145168dba71cc604dc67cdf9a45c","datavalue":{"value":{"amount":"+0.87565964","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":"Q4246942$FACD3647-1671-4E85-9C2E-37EBF7E4A7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a292ffa5a7559f4c25ec891c21f354936540be","datavalue":{"value":{"entity-type":"item","numeric-id":3100210,"id":"Q3100210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cd873d851b3ccf3f54a087be4e1efd998ae9cb","datavalue":{"value":{"amount":"+0.87306094","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":"Q4246942$5D32680A-224E-4BF4-8983-FEBB0079E9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1b14ec371401427672b91fc35789315ae30462","datavalue":{"value":{"entity-type":"item","numeric-id":2871836,"id":"Q2871836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e860ea0978b1d1a791d91c516ba3360408020c","datavalue":{"value":{"amount":"+0.8698156","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":"Q4246942$6ADCADB2-12E8-4EAD-A06D-9CD5DE2E42D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9c09ed6ed04a5feb65cc5c103a868d308aafc5","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fef55c71d369c2db10536075c24b324f14ca545","datavalue":{"value":{"amount":"+0.8692146","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":"Q4246942$6F79E07C-8F26-4731-A5C4-3F1B324B8554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc045fab598bfd3b9a34ed308e2d8c5da3af8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5064241,"id":"Q5064241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84475fca71d1424ad6cf963f1d2dea7dcdaa5b0d","datavalue":{"value":{"amount":"+0.8687327","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":"Q4246942$7E9F4490-E509-4780-93D2-84B68EEAA9D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246942"}}}}}