{"entities":{"Q6493520":{"pageid":14072293,"ns":120,"title":"Item:Q6493520","lastrevid":95499716,"modified":"2026-06-05T09:09:51Z","type":"item","id":"Q6493520","labels":{"en":{"language":"en","value":"Mechanically checked proofs of kernel specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839222"}},"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":"Q6493520$7483CF5F-5C37-4150-92FF-63ABDA668FED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf33dfb935ea3172c5c7766a993f937320f24ed","datavalue":{"value":{"text":"Mechanically checked proofs of kernel specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493520$108F9DD8-FA2C-4833-89B5-7248C6DBB47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fbba703acc49a247a820ac9e0844b78994ddce6","datavalue":{"value":"10.1007/3-540-55179-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493520$B4F38EAF-FA0B-4743-BD80-A6ABB54B3539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db17786bc75f2c91301e0ccc429f5eb4d4cccf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1203127,"id":"Q1203127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493520$B2AFE78E-1C66-46D5-97CE-5FC80CDABCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5046e30772e8e64de10316e80755f89a33b7d54f","datavalue":{"value":{"entity-type":"item","numeric-id":6493519,"id":"Q6493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493520$0D890BDD-45C4-44F5-9A64-DA8552937087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493520$9AAEEF3B-1F32-471F-84C5-31F56591F892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493520$521FAB42-42BF-4F1E-94AA-5154017F3460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76e0a24ee9efa6017022c07e85b1cb4017c246d5","datavalue":{"value":"7839222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493520$FFCA309D-47BC-42D3-AEA4-74F441CDF085","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":"Q6493520$49BD47DD-ABC1-4319-98B6-D4FC288E431D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493520$36E4B7D1-9CC2-4305-A1F3-6964F263277D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanically checked proofs of kernel specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanically_checked_proofs_of_kernel_specifications"}}}}}