{"entities":{"Q4736400":{"pageid":6765980,"ns":120,"title":"Item:Q4736400","lastrevid":48312430,"modified":"2026-01-04T08:17:43Z","type":"item","id":"Q4736400","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085176"}},"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":"Q4736400$8B146CD2-EB3B-4914-8739-669B7AB084A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03507a5a69ae2785bf493548c25e36a0747a76fd","datavalue":{"value":"1054.03502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736400$0E1A5A64-20EA-4589-AB48-DB69C89637C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f62068e8a2da23dd7ff743c1bb63e81e79c3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769424,"id":"Q2769424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736400$7C74FE2F-7ADD-4086-917F-3C0860E951F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736400$AB431FD8-B658-48AD-BDA5-1241577B8FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3da36a94962508d697c24e4ac797986fb93a0f9a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770217.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736400$F00C0B94-07B5-4642-96A0-791E4C15B7F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736400$40DC6C9E-5CA5-47B0-94AF-0703DAC24F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736400$B7EE9643-9FD8-43BF-980A-D42AA5A43EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b3270c25f058a42fff0bd4f9a8158dea70c9371","datavalue":{"value":"2085176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736400$414E8706-E424-441D-959C-CDD463F4AD86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15195371f244b90a07a6ff7bc0862fcd3b937ba","datavalue":{"value":"type theory based proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736400$C524A90B-0F8B-4D14-8B93-E293CD0B1CA5","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":"Q4736400$2CC55498-1A35-4BBD-BB02-9B776299DCCD","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":"Q4736400$42C234D5-4C9C-4FCA-A5AE-978C1B53FC84","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":"Q4736400$F8C5BA4B-640A-4A42-8C0A-7E193A9E09F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a59a8b1391e795645c0c157b85e068b4dd103","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fceac9bb1b97bc773588ae72ec13b9e0234134d8","datavalue":{"value":{"amount":"+0.7695310711860657","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":"Q4736400$6E4550B6-ABAD-41B4-B32C-C3FCBC7F84EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc46b5e3ffb5dafdb345820660aa0ff8f93bc252","datavalue":{"value":{"entity-type":"item","numeric-id":5464662,"id":"Q5464662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452316875adab88175ad514997d22b85b2ce1169","datavalue":{"value":{"amount":"+0.74567711353302","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":"Q4736400$06DBD0D7-B6C3-4090-BDC7-5D16F311AFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6eb11d0dd16776606314fce063ca1f55959088","datavalue":{"value":{"entity-type":"item","numeric-id":5898533,"id":"Q5898533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f565244fac3803cb4a4e7e87a4d25209271a945","datavalue":{"value":{"amount":"+0.7333720922470093","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":"Q4736400$C4BD991C-C22F-4040-B631-13EB04E42A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fea1fe3ae078dd9b18fc82d164e9e22422f913d","datavalue":{"value":{"amount":"+0.7117875814437866","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":"Q4736400$6D876CAE-AD55-45F8-B903-E9329CD8AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430423bd42ea27eba12ffc96bbb2ecc52e558c44","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e2043635f883172537a3d6edff186f0a411de8","datavalue":{"value":{"amount":"+0.7056053876876831","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":"Q4736400$DCCE12B0-12E9-42D8-AED1-D3A03ABB1BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736400","badges":[]}}}}}