{"entities":{"Q4681362":{"pageid":6710943,"ns":120,"title":"Item:Q4681362","lastrevid":41275663,"modified":"2025-04-28T00:43:35Z","type":"item","id":"Q4681362","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2182487"}},"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":"Q4681362$3ED83E5B-5406-42E1-963F-8AA75FA47936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452f86dede52fe77493f2ba8fc907cd613df15fb","datavalue":{"value":"1094.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$75A7CB15-25A7-44C5-8402-DC4C70C680E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681362$1FC56C13-C96F-472D-8FD8-C2A337546E55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"248c1efd530ae2f9901b8ca831703cab8c4ba528","datavalue":{"value":{"time":"+2005-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4681362$50D54CE2-DFC3-4650-B220-9732A2E3D00E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$E4761121-D423-49A4-A7AA-CA0F14AE8D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$5EB5176D-D707-48CB-B050-EB255747A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$F8F73724-5E77-4ADC-BA31-EF2DF087CA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$501C157C-32A5-4A26-A83E-B1B8BE42AF3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3f853337227039c9bf7ea671ee5ecf271885ef","datavalue":{"value":"2182487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681362$865421EC-A72B-461C-88DE-53132F8551C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681362$885F047A-29C0-4C40-82A9-4605C11F13D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681362$57683A32-9296-47EE-9069-46597429064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6115f9f53066578d6ad01b2f1b44a029f1cc3303","datavalue":{"value":"calculus of algebraic constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681362$B514A1ED-4C9B-4C8B-AD63-8BB12CA96DFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681362$1B4683D9-D984-47B0-9532-E7272AB70CE9","rank":"normal"},{"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":"Q4681362$1D3F62F3-6B67-448C-801B-39EF25C7752E","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":"Q4681362$58822ED9-2497-4EDA-9161-888F8A163E0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","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":"Q4681362$D868B0B8-A474-486A-8E26-E72D29D3EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3972332b6fe0ae85febc645859cb5a69f0970a5","datavalue":{"value":{"amount":"+0.9643077","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":"Q4681362$16B067A9-A8EE-44D3-9104-21D2D3A27FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f41360694a342b01d91d781884215d1a8bc1092","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a3b09921b3d00bf26f86d8a4c779d5f68696f3","datavalue":{"value":{"amount":"+0.9401222","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":"Q4681362$95D070D8-76FC-4C2C-815B-3456D4B4ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca3a527926c78cacd36ec4a451d1cea5f915d99","datavalue":{"value":{"entity-type":"item","numeric-id":5712316,"id":"Q5712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc31ae99c1cb401846b158f127b7170fe011949","datavalue":{"value":{"amount":"+0.93907547","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":"Q4681362$D5995BD1-FF76-47D4-A30C-17169487B88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eceaac39afb5b5bf6071ca0d9d41e6a0697cba8e","datavalue":{"value":{"entity-type":"item","numeric-id":2986785,"id":"Q2986785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06fcdbeb8fcc8cfaf48a2189af5b3f6e056b74b","datavalue":{"value":{"amount":"+0.9317486","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":"Q4681362$1E21F60B-6AF9-4CCD-AE4B-D8702F7DDBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76deb5535e00ebcb01402afbe64314fa9e23992c","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94080e876bee3d5778c53b6da6adeb426c8f948","datavalue":{"value":{"amount":"+0.92649615","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":"Q4681362$EBCA98FB-BDEC-4415-8A3E-DC5654FA3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add424b5fb4252367fb8ddba535c3d17f35ed52c","datavalue":{"value":{"entity-type":"item","numeric-id":5575526,"id":"Q5575526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6888f86b5199751ef5851772261cb2c58ec6dc5","datavalue":{"value":{"amount":"+0.9210199","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":"Q4681362$901352F2-B9A5-4EF8-92AF-45146E66E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb28a2fc25f31c29f2999deca4bd9cba21f958c7","datavalue":{"value":{"entity-type":"item","numeric-id":5394575,"id":"Q5394575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc6cfc676157d7eb6973c87c2c1ae8004395d16","datavalue":{"value":{"amount":"+0.9202297","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":"Q4681362$2C6B2437-808A-4465-8057-653EA4CB8D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47926d452236d472aea7775409fa54c84895c59","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c941027d04a3ed3df80abd09a6029047b521e22a","datavalue":{"value":{"amount":"+0.9199728","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":"Q4681362$98DBCBA2-443E-4D88-BF2C-72A8374D58E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a0123c758488ba0371de3e24c0d09bc8ae9794","datavalue":{"value":{"amount":"+0.91905713","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":"Q4681362$AA49F8C1-BA65-49B9-9EED-5ADA54175E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4681362","badges":[]}}}}}