{"entities":{"Q4647513":{"pageid":6677094,"ns":120,"title":"Item:Q4647513","lastrevid":97925099,"modified":"2026-06-05T15:49:20Z","type":"item","id":"Q4647513","labels":{"en":{"language":"en","value":"An embedding of Ruby in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001905"}},"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":"Q4647513$C0E9A0AF-A133-467E-84D7-1C651044BE29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5b1a1624e88f44f64e5792f69d612d20404358f","datavalue":{"value":{"text":"An embedding of Ruby in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647513$C95AF83C-12C5-433B-8B78-50B591342D5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd65b5f346ea48848357bf965ab8902229db447b","datavalue":{"value":"1412.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$79393DCB-52D3-4EB8-94A8-3E53F34B4639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc9c7e2c5e334b35222ee45409a36e2f117e57fe","datavalue":{"value":"10.1007/3-540-61511-3_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$9C8E32AD-47D2-45BA-A080-488FEC029C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed0a1e5156073bff3e32dd10ff1578d017e0556","datavalue":{"value":{"entity-type":"item","numeric-id":1144305,"id":"Q1144305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$979AF5D2-C899-4417-81B2-10D00135C2C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$19483BDF-53D5-4016-9F78-345D4EA8C962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647513$7C1F91FA-40E3-4065-93B7-2CD7D7048482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$85576223-E70E-41CD-9D08-6600C66BE668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$FB5FFC5E-24B6-488C-86BA-2E5320DA1733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e23627c310c73fd7e60eec3e9c8e0a5d2cb13ad","datavalue":{"value":"7001905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$3285EAB6-09C5-4C4B-B3ED-E3314933C701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$9F9B68ED-2A53-44CB-809F-1827BBADF539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a117c3a5398cf3c13ddaa1af85525e8afe91fe","datavalue":{"value":"graphical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$98BFC87A-41A9-4286-9DAA-91B8F4D03FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb98d8e4b5c6dc587c28106c8b443bae28c57b1b","datavalue":{"value":"type rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$E1D2FEA8-3024-46F2-A63A-1B557BA8327F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38dd5c31d373d76e6308be0f17a0875fd182b166","datavalue":{"value":"VLSI design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$A03B13D6-FF0D-4CF2-9EA2-05D1F751EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$7D239398-F1FD-4240-BB1D-A0AE09C8A0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$49EEFC83-F261-408C-945E-6A2FB829C733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d924ff390e2c4a47db98b2c3942abb879a40b","datavalue":{"value":"Ruby","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$6C60AFBB-E564-40CE-B102-EC40BDBAAF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647513$FF374C97-382E-444A-8CF3-B33F19AF28FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$9A373200-B60E-4955-A5B3-FA9CEB3ED69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$0134F1D5-5664-48D2-BE8A-6421A0FEE2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$C2F44866-5EF0-4881-93F9-669C4F6BABE6","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":"Q4647513$1CC1FE29-EE4B-43C7-99E0-FCA5B5F04B6D","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":"Q4647513$03CECF22-39FE-4C24-843B-2A4CF9BA2CAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2d7b1d4608a2c80b1622bfb27d56171aed29ca3","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_80","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647513$B3641E59-1222-40D6-9FC4-F9536E1CB06B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d046f134923fbdb15fbeedc9d708b779a171262d","datavalue":{"value":"W1540629521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647513$117FE2AB-12BF-4DF5-9BE7-EA3994E33001","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$013E53E4-F4D7-4611-8B32-215A624396B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b1579b6aaa1b3a7b8417f6f1c6c41f33e9c74c","datavalue":{"value":{"entity-type":"item","numeric-id":4281671,"id":"Q4281671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$5FF215CB-BB22-4606-B676-C98489B5223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$BAD9DD3A-781A-4559-A294-BB0293C952CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$4CF6DA5C-AC86-44F2-B4F1-55030F3F65E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$121A59FA-62D8-48B4-B667-2197F3CE47A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647513$5176B2A5-76E4-4445-89D9-C245E1553759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75979f83f49c16579936565f94c2ab805195a6c","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98aa23305e7597639714bf8eeebffacd9d8ad75e","datavalue":{"value":{"amount":"+0.7512763142585754","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":"Q4647513$91BC5CE9-5820-41FC-A6CF-1262AEA5D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b520c90d1b42cfe6f2da8bbdc1086e7133bd14e","datavalue":{"value":{"entity-type":"item","numeric-id":4790666,"id":"Q4790666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b72cf2342ae6762ce111ddec2aff6fa27be3086","datavalue":{"value":{"amount":"+0.7512759566307068","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":"Q4647513$3718B9E1-D7F9-4DC2-A3CA-56D332E64B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ea1a72a3e3964e9778a71fc6f0c534401c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4028331,"id":"Q4028331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b10a2eb07636d29d02e28a7c0460243a0416cef","datavalue":{"value":{"amount":"+0.7137473821640015","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":"Q4647513$28EAE786-5045-4F7C-B87F-055BFBF5A5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d2f1aea5bca1e9ea33d09f2dc7fd2cfef54aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4790664,"id":"Q4790664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcf0b28ddbb3b8d14dfbb13d5b29bd0428ce0de","datavalue":{"value":{"amount":"+0.7137470245361328","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":"Q4647513$98153CDD-81C0-46A9-8B52-D583634158F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4259c7355b1a3c06577ae91e2c702cb665885f71","datavalue":{"value":{"amount":"+0.7128615975379944","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":"Q4647513$5612E041-BB99-49F3-8684-64FA3C1CA882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An embedding of Ruby in Isabelle","badges":[]}}}}}