{"entities":{"Q1255778":{"pageid":1266528,"ns":120,"title":"Item:Q1255778","lastrevid":67128753,"modified":"2026-04-12T15:29:29Z","type":"item","id":"Q1255778","labels":{"en":{"language":"en","value":"Semantic properties of Lucid's compute clause and its compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3624759"}},"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":"Q1255778$9CB94730-05C8-403A-A872-92EA1954741A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ff53a1d2c5c07fbda40cfa2d9c131723fcc5dc","datavalue":{"value":{"text":"Semantic properties of Lucid's compute clause and its compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1255778$AA8600F9-6BAA-47E3-AC27-F41277A84C0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d50c9c3e27e2349fbc78b6334fec32e30aa9f572","datavalue":{"value":"0402.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$E0F37244-CAA8-4975-A2E4-E7E3C78DE3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37dc81ad2a698853ff1347c69eafc6aaf07815b2","datavalue":{"value":"10.1007/BF00288532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$BD99D6CB-B745-415C-9C1B-C512FC2AEEF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4ccd7d53ae11edf87e585cdb3d94259de3a0ce","datavalue":{"value":{"entity-type":"item","numeric-id":586282,"id":"Q586282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$849C9B85-8803-40CB-8DDF-F685445840AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$8376774E-D33A-479C-BDE3-FC3520543163","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1255778$E63029EE-4337-4CB3-995D-A1CBA1A5B51E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$1807EE45-9ACD-4C46-B28A-F3B5E071B55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$F147C705-120D-41C3-88DF-C5168DE43B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c155a1406180b74142c7762df84c97045d752d18","datavalue":{"value":"3624759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$12C0A7F6-1E63-4F38-B119-D85429F6C2CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b4e2622d4b9961baeafad5b73ea0266241e9b","datavalue":{"value":"Compilation Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255778$C453F6CA-ECCE-41FE-A735-C72AAA371A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b4fc83f03bdce9669158934e3386b29d36b3b7","datavalue":{"value":"Programming Language Lucid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255778$8B830568-1497-4E34-981A-2EDB1847B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da148c68d3080ac13f42192664109ba6bdcad8a","datavalue":{"value":"Nested Clause Structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255778$DC035D85-68AF-40D6-B6F5-1948ED0E4E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad31d75b818c1b697a23baab98be3d47b7be5d35","datavalue":{"value":"Correctness Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255778$82DD57AF-2CC1-4C61-BEAE-E2C824B62A9C","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":"Q1255778$F4D72A83-6B6A-42A5-BC79-BA94623638DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2a9dc2c85c5f6705ca903610b671264d99738","datavalue":{"value":{"entity-type":"item","numeric-id":4136511,"id":"Q4136511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$00CDCE2D-BF34-493E-BBA9-9317F0B5221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$FAF86FB3-9A3F-4081-9B60-165AAF03F20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e83e8d2a85326fb9a891c06371f98765ab68a7","datavalue":{"value":{"entity-type":"item","numeric-id":4130971,"id":"Q4130971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$64F8D5ED-67D1-4BA9-B126-E98B7F45F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77daa80082c8ea39f5568f105338e0529e0b914b","datavalue":{"value":{"entity-type":"item","numeric-id":4138082,"id":"Q4138082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255778$B561BE84-794A-4F0D-91BE-3A2A9F5B00D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb34c6c13c794f2c3d561c3e56f6e930a41c5f31","datavalue":{"value":"https://doi.org/10.1007/bf00288532","type":"string"},"datatype":"url"},"type":"statement","id":"Q1255778$7D89FEBC-58D8-4E47-B375-DCF7E6EC8943","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1d394731feef0680477a0267435ad248adc6b87","datavalue":{"value":"W2064553030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255778$2E751C95-C9DD-4B6D-97AB-3158DB0D2E9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic properties of Lucid's compute clause and its compilation","badges":[]}}}}}