{"entities":{"Q5712316":{"pageid":7741870,"ns":120,"title":"Item:Q5712316","lastrevid":48617635,"modified":"2026-01-05T09:57:12Z","type":"item","id":"Q5712316","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240443"}},"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":"Q5712316$7A696C7C-79AF-40AD-B637-2B3D5D360B27","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":"Q5712316$41AB0975-F17A-4923-B9A8-6A89FDDAA51E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95788427a7d55a3fb8752fe3c07e2e56fb3647a3","datavalue":{"value":"1100.03517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$9CB18B7A-85D2-4ABD-B815-3746C4AB9AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712316$47BBCC6C-C273-4C52-A233-71EE9800B1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712316$39C434F9-2F50-4AB4-AEB6-4326A03DF23B","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":"Q5712316$AC7C44FF-81FC-4142-98BD-814A249BEEC6","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":"Q5712316$348B476F-9F63-4040-BB25-2E0F13E6ABC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$C43DF4B1-B046-4125-B6F5-DF9DD92F5E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$7EF8A653-A988-48FB-B6B8-C2ADC4866557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$C186085F-F693-4CD8-A25A-1B932B338CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e50f12a900540d5414d10421ce493544756c3360","datavalue":{"value":"2240443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$8E803C23-E0D1-456E-8DA6-374FEE04648B","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":"Q5712316$43377995-E316-4B83-9512-9BE9EA4F6C4D","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":"Q5712316$C7A27DF7-C5FB-4E98-B46A-D5E91FF68D17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$0AB03385-3750-4F7C-9EF7-90E8985A6CF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712316$33211486-9336-459B-B6A0-6416E2204E69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84828e25d35efe9470fe64ec990da319452bc0b","datavalue":{"value":{"amount":"+0.7465111017227173","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":"Q5712316$4A97E45C-ADE4-4937-BD63-BB2B0BC6B92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f251e0458f60a42f65cce095e4535c14b9abcc","datavalue":{"value":{"entity-type":"item","numeric-id":5092562,"id":"Q5092562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf5bd97224446dddf5eb4055c0bd7026b0fae12","datavalue":{"value":{"amount":"+0.734319806098938","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":"Q5712316$CD947719-2D9B-4D1F-938D-68D0BB5C88E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b777ec978d26d3babb39bdba94d11b1e495384e4","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3500d5247aec2f34e2ec88dc3557100b4e70e4","datavalue":{"value":{"amount":"+0.7081688642501831","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":"Q5712316$66224BC3-E228-4D88-8B0F-503B4437EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8801aedaa3f600ee4a42b67ea33ab671542b3a76","datavalue":{"value":{"amount":"+0.6993597149848938","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":"Q5712316$885B2871-5D42-4849-B2BE-70B75C93D96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e392cefac05629b27ad891c3778a1787a49c2efa","datavalue":{"value":{"amount":"+0.6861119866371155","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":"Q5712316$72743F77-5998-4F00-A3EF-357138C62002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712316"}}}}}