{"entities":{"Q5712326":{"pageid":7741880,"ns":120,"title":"Item:Q5712326","lastrevid":101657264,"modified":"2026-06-06T01:56:55Z","type":"item","id":"Q5712326","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240453"}},"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":"Q5712326$E4B294A7-1AA5-4BBE-B049-12FFFA47927D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e79d8390cbcfcf48f52ba5d0f093f0e583d1f11","datavalue":{"value":{"text":"Types for Proofs and Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712326$3930CCFE-3023-4621-B220-785F39A703E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07035ed5eaa80a350e673bf8a41e40387fdc6ae","datavalue":{"value":"1100.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712326$3997D380-631D-4D92-B70F-161B01696FEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712326$C26CBAEC-194A-4766-9BA3-36D9BAC5F816","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712326$399AD446-2E5E-4555-A072-DADCE14EFF2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-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":"Q5712326$11E4BA3B-9C52-4A2F-8C9F-E17CB91ABDD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712326$53E6D21E-5211-41E5-B756-3729929DCB65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2668b1cfb097b8e92a3b23a7a58480784c83dd93","datavalue":{"value":"2240453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712326$2731064A-3FB3-46E4-A642-9B5D8621A3D4","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":"Q5712326$A6D7C5A6-6737-46DB-81F0-AD144B0848A6","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":"Q5712326$E2394573-7248-4BCB-9F83-A43419483295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fee6d0668cbb8bb1384b720d0f9cea12732a7fa","datavalue":{"value":"https://doi.org/10.1007/b98246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712326$CA119D2A-328A-4B84-A52C-B795488FF6C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712326$EFE72071-67D7-4308-AD7A-4412C3853CE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712326$F138CCD7-D0F9-413C-B3BF-491D0E61F97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210fc6ea1c74927f8cc30615348c9f5912fd19d2","datavalue":{"value":{"entity-type":"item","numeric-id":3586063,"id":"Q3586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6decb6c8eef7c5369f2c1b055e2e5cd6566f5d","datavalue":{"value":{"amount":"+0.7545742988586426","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":"Q5712326$8CE99F7A-F20C-4958-A341-97C5042FD019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7f4b57f5e81dbffe27e748c7790fdb7b18fda6","datavalue":{"value":{"amount":"+0.727143406867981","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":"Q5712326$9F343DD7-48A3-4BF4-A6D0-4D556C8ADB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5f2c467511405ec7ad53fa3d04b09f3b5214b5","datavalue":{"value":{"amount":"+0.7260333895683289","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":"Q5712326$BE70B3D6-853D-4504-97DE-35FF28BADBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b85b92a612525e53f1940e47c9de317d158f38a","datavalue":{"value":{"entity-type":"item","numeric-id":3608814,"id":"Q3608814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b265e617dc5d061818988ca30bcde6c0036061af","datavalue":{"value":{"amount":"+0.725729763507843","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":"Q5712326$10944583-FDE1-41D1-9D15-F0B9A7286393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c8652a42385ea6b3980fa566ea565919d2644c","datavalue":{"value":{"amount":"+0.7206739187240601","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":"Q5712326$59391184-F506-453E-9527-E5014CB49195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240453)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Types_for_Proofs_and_Programs_(scientific_article;_zbMATH_DE_number_2240453)"}}}}}