{"entities":{"Q3008233":{"pageid":3018957,"ns":120,"title":"Item:Q3008233","lastrevid":51267992,"modified":"2026-01-17T12:56:51Z","type":"item","id":"Q3008233","labels":{"en":{"language":"en","value":"The representational adequacy of Hybrid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907959"}},"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":"Q3008233$D6528C44-6B23-4920-921B-309475072520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a232df199be8b258efd28df4a78131af8ca1b6","datavalue":{"value":{"text":"The representational adequacy of <scp>Hybrid</scp>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008233$91912FD4-08E0-4F2C-8426-9141F31376F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a14c7982626eb5e6484668b661e87a7c8abdf1f4","datavalue":{"value":"1248.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008233$0CEFFCE9-C0FB-414D-9C92-A62A5FCA434F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f64c410a0eb2ca0e34cc95603f160755034a8bcd","datavalue":{"value":"10.1017/S0960129511000041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008233$3AF999C8-F0A7-4A0F-B554-DE0927DCC52D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$B5362157-6A01-4A77-9021-36B41A1095E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$725B0919-A1DF-4AB7-91BB-037367230BBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-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":"Q3008233$F8C33F2C-6159-402A-B52E-DA96E8E10D35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008233$671AF90E-5611-4915-97E8-E1CE3FEC0F6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c093c90882c6de5616bc54c1f60827917ad3c180","datavalue":{"value":"5907959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008233$E9549628-345B-4F61-B7D9-41CCBC008DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4646b1bb4604468361350769ee663d6a521dbc64","datavalue":{"value":"Hybrid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$671DAFB7-D541-4CB8-8249-C1328CC67F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$18E875B3-1E3A-464C-825A-EA9F93DEDD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$F5EB1186-E9BD-46A8-A07A-ED0CFDB883A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590380cd72f3fc970a2c9abf2791907ec6f55a41","datavalue":{"value":"higher-order abstract syntax (HOAS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$E36234A6-1A84-4A59-8234-B70F4A3A8C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0344c97ea2c64babb9fc92f563ae5eb6b7101ef8","datavalue":{"value":"de Bruijn expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$9314759B-3D55-44B0-8B47-C247D7385726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f8cd2aa1cc0aa3ff20fd0060a9ddac359a2b55e","datavalue":{"value":"\\(\\lambda \\)-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008233$5EFED4DE-1B9C-4320-BB90-23A5AD3C06C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4af8ee555123677c11f05f4a7acea2db389befd","datavalue":{"value":{"entity-type":"item","numeric-id":34406,"id":"Q34406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$91AE1BB6-DADF-4E50-8423-B3CFDC6E5417","rank":"normal"},{"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":"Q3008233$796B4876-8E80-42B1-8332-AA4564043870","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":"Q3008233$3D586312-110D-4368-B3AC-86907478D4FF","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":"Q3008233$C4F4D249-335B-4736-98C0-6B60F6E08152","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$CD754B62-A030-4E8C-979A-0CD1031DB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$DAF6F483-B804-4DFE-92F9-ADC1966B5935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008233$5C39473B-6158-4BD9-A275-082AC0B42673","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5baa16fdaa8b40bfaaa90a35bc38dba53b41601","datavalue":{"value":"https://doi.org/10.1017/s0960129511000041","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008233$0003F141-8989-4AE1-AECF-8BE0642F5F55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba662f3a59b1776032a19dd6521400937808b8a3","datavalue":{"value":"W2013542353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008233$BBC461ED-142F-4B8F-AFAC-4998FF5AC7AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47167d4bb944e79729d3ca171d41ed04cd2ec74","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7e084a4575dccb2397c7dd1e91e2921993637b","datavalue":{"value":{"amount":"+0.8192876577377319","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":"Q3008233$F78C936C-7BD7-4F9C-90EF-6BA092F10F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fd235250d30da0faf61c0e4b5ff185a6dd416d","datavalue":{"value":{"amount":"+0.8178400993347168","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":"Q3008233$0561EC00-8BA6-495A-AD03-BA4DF3B7AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2a6ec1f489d756f6b308bccbd87a5b30a3aae9","datavalue":{"value":{"entity-type":"item","numeric-id":4484329,"id":"Q4484329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474e64a83de84ffa46b340e8bc585e8fed5960ad","datavalue":{"value":{"amount":"+0.7796255350112915","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":"Q3008233$6CB79DD1-0803-4EE6-A0F3-1C18C1828634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7219781fca10499402bdd7f7a93765fa8b68f","datavalue":{"value":{"entity-type":"item","numeric-id":1744412,"id":"Q1744412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf84e82c9639e6c96e9e2319844204c5840eab5","datavalue":{"value":{"amount":"+0.7586442232131958","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":"Q3008233$66012E1C-4BA5-44F9-A9CD-8E64BB39DFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5785f35fa1650aa4321af2f4dd630e62933ff2c6","datavalue":{"value":{"amount":"+0.7514514923095703","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":"Q3008233$FD362310-02E8-4469-9306-CDA72F0B7680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3008233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3008233"}}}}}