{"entities":{"Q3183530":{"pageid":3194238,"ns":120,"title":"Item:Q3183530","lastrevid":80028137,"modified":"2026-05-06T15:16:34Z","type":"item","id":"Q3183530","labels":{"en":{"language":"en","value":"Formal Certification of a Resource-Aware Language Implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618509"}},"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":"Q3183530$09A34884-1D93-4508-B3B7-F2C046E6B013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e0dbc35fa7f4d3d13d388649d28e1fc1109c36a","datavalue":{"value":{"text":"Formal Certification of a Resource-Aware Language Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183530$017A2BAA-AEE4-43EC-8324-F65C269B8F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f290fea64f2ff0a4bfdfbb655796e0c3d04b7651","datavalue":{"value":"1252.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$176D9009-24F8-4D79-B340-1B8DA9E59A48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0ba7c0da282b53c2a98f495398dcfe54b28c559","datavalue":{"value":"10.1007/978-3-642-03359-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$F8B2F5D0-78F9-4ECF-A349-541AEE878DC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3b35e18b145d1479e48ea271aef15d6b0aacd15","datavalue":{"value":{"entity-type":"item","numeric-id":3183529,"id":"Q3183529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$75027A23-309A-421F-A4A8-527B276D9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c4f0a73cb16daf1a6d20b105b364dce4d8e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984796,"id":"Q1984796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$DD183695-B0EE-4DB2-9C42-0410FF22ABE5","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":"Q3183530$0C78EEEF-BAB4-42F6-9A50-257DC779146E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183530$C3083565-2563-4430-AB35-581D1EA15099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$CAF0DF74-57A7-4CC2-B06C-A1527A73AD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$EB2F9D50-1995-4C43-B8AB-55F633D3A8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$27CC3CE3-5064-4414-B5F2-5691C9DB3847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$17F35705-5335-4927-8E5B-FF050C82989F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a61de91e39b0a7fdba93befd140c7ed9da84d1c","datavalue":{"value":"5618509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$DA6B8B2B-C42E-462C-A02C-48C969B5C3E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3183530$AAEFF085-5551-4BEE-B657-0ABF76D5FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3183530$1B28DA64-327E-4160-8454-8BFF522264BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q3183530$A3B651BF-8BD3-4C9A-967F-6DF700D40E12","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":"Q3183530$9DDE2391-5A9F-43C9-A60B-44F6DD2064F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$52D0C456-9FF8-4C5B-8327-11438004B7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$C51C7BF3-F219-417C-A459-521355F996F2","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":"Q3183530$4ED4BF18-D6C8-4595-BF76-EA0CA992658B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c10f96ad940aa9d65fca187848bd0b01e500a33","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183530$EC6157C7-C945-4B0C-92AA-BFCB731CF844","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9c0b45ff836324992fd1d15bfa3129e1dc0c186","datavalue":{"value":"W2105945150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183530$2437D669-BE9D-40B4-B6AD-307C73DB4AB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d6f01521509adfa14d61b8434e644fd6c99b1","datavalue":{"value":{"entity-type":"item","numeric-id":4474214,"id":"Q4474214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$3698E048-40CD-4D9C-B447-8D50EE7FE639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$1BFB6D03-2086-4DB0-9A7D-74D7A3F82CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$C987C966-B7D6-4270-B171-236ADDE9C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$7189F748-E90F-409C-AB77-DFCE7217031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$D6CAC887-8A8F-45FF-A507-1F1481BBC117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$D49F7A77-E9CE-44F7-96D5-0D89A914B26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543694d282fe4fd45336482f4d957abe7b57644d","datavalue":{"value":{"entity-type":"item","numeric-id":5756497,"id":"Q5756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$502E39A4-5400-48BC-B14E-9F3AC70F58A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a3102c15695035bd71a9eedc23f75a437826e4","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$D83EB360-F117-4D5D-806F-2B9688D8CC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e03d07c8bfa52539f00786630e06ac38ba708ad","datavalue":{"value":{"entity-type":"item","numeric-id":3617435,"id":"Q3617435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$B1A4F276-9039-489C-8488-8F5C93A7144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$28FB03DF-56CB-4708-ACB7-52D3D268C2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183530$C4624F9E-6C82-4453-856E-E1E94094551C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923f652b9cb465415d7a424cb8241789a691e359","datavalue":{"value":{"amount":"+0.8234800100326538","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":"Q3183530$66181B78-8955-4214-B1A2-FF95560B51C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2825bfa32d5f46b7e1e58bc1d8b777bb73382ab","datavalue":{"value":{"entity-type":"item","numeric-id":4428314,"id":"Q4428314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4823183ca7cc601182880a7e82c792b67ee04b","datavalue":{"value":{"amount":"+0.7804962992668152","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":"Q3183530$4646C8CF-4D72-423B-933F-5489416464F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bacc099ad469de51783de292c9c2652d9c9868","datavalue":{"value":{"amount":"+0.7766585946083069","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":"Q3183530$34D33D20-FFAE-4D45-96AB-3418D5ACD96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e830bddf2f5d41ef29146b9c90592c5455f9bc17","datavalue":{"value":{"entity-type":"item","numeric-id":5464660,"id":"Q5464660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab852892df013b5fa10fe750d9acad59698ad13","datavalue":{"value":{"amount":"+0.7739489078521729","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":"Q3183530$52D31DE4-9D2A-43DF-A326-15AF1ACF0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de2ee707e2be2f98fc17194fcc577bb658ff872","datavalue":{"value":{"amount":"+0.7621905207633972","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":"Q3183530$68678004-9DF1-4E58-A3D9-94688CDF6152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Certification of a Resource-Aware Language Implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Certification_of_a_Resource-Aware_Language_Implementation"}}}}}