{"entities":{"Q1104071":{"pageid":1114823,"ns":120,"title":"Item:Q1104071","lastrevid":49176733,"modified":"2026-01-06T17:22:49Z","type":"item","id":"Q1104071","labels":{"en":{"language":"en","value":"Pebble, a kernel language for modules and abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055004"}},"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":"Q1104071$CDD6F0FB-F5B7-4FE7-84F4-2D6CF5D35F0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"644f24e8dac9372b51357dded9fa6a9c31f0b02b","datavalue":{"value":{"text":"Pebble, a kernel language for modules and abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104071$2C0A8724-C9A6-416D-A409-59021EE25894","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15ba43ed66bb8b621360e01e118974b85328df5d","datavalue":{"value":"0646.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$A6309F76-A72D-4C2D-A168-E50003A399AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c17c9ab6aa5e4eae7bade6e748f312f3f102c4c","datavalue":{"value":"10.1016/0890-5401(88)90011-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$DFA89B58-0784-48D7-B939-2058BCD49802","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$F03F7500-F51D-4DFB-921D-3624EACDE696","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104071$82B31544-29EE-4643-91EB-5CA2B773704D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$4C9C3CC3-3F98-4615-B532-AB62C22DB0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$E761ADB2-3034-4159-9A60-FBAD0A335A98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9342c50d4d73be90e96e333961ade3ac54cd6d0c","datavalue":{"value":"4055004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$90FD1209-2859-44A5-9A5F-287EB92B3BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea2c32913639954917ed4a13323024b135eacc3","datavalue":{"value":"kernel language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$84183B8E-C7F5-41E4-B593-2FDE09FDCCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$98E8A7D2-53FC-4844-81EF-EA91262AA6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$C2F30CBF-79C6-4A0C-B661-12B063FB4ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d68e3c12b442d5c3fd8c97262c92d38404795","datavalue":{"value":"interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$B7F97236-F521-4E21-964E-078A5CF36496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$F6A22296-A2A0-4D60-AFE6-924349D8816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$B807C371-BB75-4484-BBEB-0BC678AED486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18b44a75d362762e006a2e3a7c87dfc6f06915d","datavalue":{"value":"generic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$0C2B1DD5-D5B9-4524-BE8F-542DB2BC4D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$53F57033-0B54-458B-9523-61851D75ED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c5c807fcc057e4374a8c8679097e83dc600416","datavalue":{"value":"unions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$EBECC5CE-0FCB-44E9-B3CE-1ACE41D17C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"494eb18c4b2fc74723041de9ca0daa7b75261ddd","datavalue":{"value":"Pebble","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$D55FC94E-5960-4665-A33D-D589B4316669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$AA04B19E-157D-4E7F-BDE7-F98BCDC9CFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104071$B1B84614-A124-4155-BB38-F8467A5FD503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d2d5b01eac9c1e85447cff2c9d5feef38aebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1249427,"id":"Q1249427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$2C92FC93-55BC-4317-902F-180E9749B52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$68B217CD-FDC1-447D-BBC9-23F793909500","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":"Q1104071$85BE45DF-2817-4EDC-8429-80A2A4BE0C16","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":"Q1104071$42A96F66-664D-4C61-BECC-9FB798D71337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"633db22d0590c83ebe689ce11b2fbaaa4d4cf457","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90011-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104071$3BBAC0ED-B6AE-4A09-B84B-5AD5A298A197","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eccd8e41267abda2ed97a4c97a4b09fce809e41","datavalue":{"value":"W2039123207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104071$5580DB65-97AD-4ACC-BB7F-79D873281759","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"412e966220448a108b3ed1e7b6596aafc43ee7ef","datavalue":{"value":{"entity-type":"item","numeric-id":4154049,"id":"Q4154049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$0ECD255F-FA61-40D7-9B34-60A3495C92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$784C8840-FD4B-43F3-934B-B64C016ABC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$67CBF4B8-AC0D-476B-A581-B919166D1D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$081C8E4A-1A00-4124-B451-0BDD68564CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$A6B6F206-3062-4325-8D8E-0AF15BA4F448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$2525EB48-F78F-4D4A-BA8D-5AEBAD0AFE0D","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":"Q1104071$384089DD-5EDA-4B67-AFB3-7EEE3AA05780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a4263da91799da38dd66031867c7e7f893c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4195975,"id":"Q4195975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$F81B5A26-5B41-426A-8ED7-B37BB5C5AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104071$438B401A-256C-41EF-95FD-C0F6FFC3CD3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08b82dd91c86124531cbeaa176ec78881d3e6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3345748,"id":"Q3345748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6ba0dcd769257bcce688db5313651285e4f561","datavalue":{"value":{"amount":"+0.8913589715957642","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":"Q1104071$06738790-E782-42E7-87C8-F9D72B3DE3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3584590168a93919ee0d5ce711e60706822b644","datavalue":{"value":{"amount":"+0.7104243636131287","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":"Q1104071$4F14AFCD-4795-4ACA-A0B6-9157CB416651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652580eea7a88c8f4ca946a7eb70a8c19bc2820a","datavalue":{"value":{"entity-type":"item","numeric-id":4507960,"id":"Q4507960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd01c2d0cf3c2e4c374c1727fb6a94005466195","datavalue":{"value":{"amount":"+0.6957537531852722","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":"Q1104071$5AAEEE82-FC86-4978-A4D0-2D4B5F731031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f034a101acada3934d653956c6ddaf0cb1000961","datavalue":{"value":{"entity-type":"item","numeric-id":3677152,"id":"Q3677152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3f3c675cc693a9f384cb6b8ed831955b1d6bc7","datavalue":{"value":{"amount":"+0.6786097884178162","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":"Q1104071$BF3D0CFD-64FA-4942-8944-E5FCC447CD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be2b9bc247dee9644e1cbeeeef502eff1d521aa","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0c7ac5db5b21c44d6459c5f49ce1ab2c8c82cc","datavalue":{"value":{"amount":"+0.6766902804374695","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":"Q1104071$3C5D83BF-19FA-485F-978C-5A65973B12C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104071"}}}}}