{"entities":{"Q2938499":{"pageid":2949219,"ns":120,"title":"Item:Q2938499","lastrevid":52172069,"modified":"2026-01-21T02:22:29Z","type":"item","id":"Q2938499","labels":{"en":{"language":"en","value":"Efficient program transformers for translating \\(\\mathsf {LCC}\\) to \\(\\mathsf {PDL}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386579"}},"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":"Q2938499$EABF6FC9-C495-4215-A915-3D014C23028B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccd4a7aa73f6aefc6c58a7cf42a7253e2bbcb5ae","datavalue":{"value":{"text":"Efficient Program Transformers for Translating LCC to PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938499$6FC36C91-8828-4E67-BC81-990432259749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3caae28cd2e1cd562406dac13c28935aa8d5e766","datavalue":{"value":"1432.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$BF8E291E-A992-4826-B1BB-718C1EA44CAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2e9a8f61e6f4287621b56e133f9ce0b8f370b8","datavalue":{"value":"10.1007/978-3-319-11558-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$EDD03E0B-1BD4-47FA-9E10-4838553D562B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"876d548835218b6faec516e1ebfd3fcde37ebd4c","datavalue":{"value":{"entity-type":"item","numeric-id":302223,"id":"Q302223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$83EA0C8F-697B-4A6A-A9BF-D798A4B08F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba1d8bfd6802af124b9a529aedfc36a0f98a16eb","datavalue":{"value":{"entity-type":"item","numeric-id":2938498,"id":"Q2938498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$EF39E6BD-5356-49D1-893D-383EEEB5C2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9622bd208146678e3bc46d7e0457e5df6f1be5b","datavalue":{"value":{"entity-type":"item","numeric-id":391145,"id":"Q391145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$8A614FAB-981C-4188-8BCD-49E398167EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"886c1025e5302941fa489496dba02bf74a66b603","datavalue":{"value":{"entity-type":"item","numeric-id":1036063,"id":"Q1036063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$C9863C2E-BB55-4350-92E9-51E78A11B205","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$D95B83D0-D6A1-48E3-B3CB-26E83949CCC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938499$75C3DAC3-23B6-4C16-A2D7-653AFB8289FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$23DF7052-4A6A-41D8-8398-45B1DB64E07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$E0586676-C64E-4191-94B7-FC5E176B1A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"997eb41769f6b572df5f0f33cb3af40540ec56fb","datavalue":{"value":"6386579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$E255D3A8-B3E0-4FD9-93EF-63BB16623285","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e8186d6f06fd6535a3362e7c64f8c6e0fd9420","datavalue":{"value":"logic of communication and change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938499$4A8F418E-DDB7-4FF6-8199-B66158118B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938499$ACD8136D-3FFB-4DA4-9871-963168135B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f048ecf7bc9716638a34ebbbb681af105995ad","datavalue":{"value":"action model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938499$C63DFD54-0855-4D84-AB74-28C3AD35160A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f3a52e707bcf269a8c92250207410655202eef","datavalue":{"value":"program transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938499$DE20A286-C0F9-4C6D-AF75-285EA16501C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb514f46579c0e41790d1a44a7f5356ff89bf848","datavalue":{"value":"reduction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938499$B63AB4A1-1365-44CD-A682-8387B77D057F","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":"Q2938499$EE6345C3-E9C6-4F75-B2EB-07873DA3F812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aac77d0bd0f148cadbe663eced382b2b297f3ea","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11558-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938499$42C0BD5B-DF0E-4560-9AF3-E19BC5BD56A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0f2fcc5484843ee2509a9c4eb1ed9f10a8479c7","datavalue":{"value":"W2201057023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938499$DF18A275-6FE4-4434-B825-4305B290659A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$857D00C9-7181-4507-B543-3041264DA498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8176c0acd02382474c77c0c675871408d34346e9","datavalue":{"value":{"entity-type":"item","numeric-id":3114222,"id":"Q3114222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$37AE0DD8-9F43-4C4D-9397-0639C316D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$357483DA-B00C-4459-BDAE-035B8559CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$292B6140-54B2-4F66-966A-15D45889A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$46CD6DE9-204D-4EFF-BCAE-67E95E05A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$0E9BD74C-2428-47FE-A99B-1BB4444359A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$06E536AD-C61A-4395-B0AA-4F17726470ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$3AA53C09-83DF-4872-ACE3-36A0A05B56E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$14DBCA1B-532C-41A2-96DF-5872B578CA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$E5F1AC2A-DD99-4590-9F87-771FCDFA65EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938499$45837649-8EE5-4F74-85AD-2799FC360713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b3baf1ff77f1d0c6421a44bb9de1dbd72394ac","datavalue":{"value":{"entity-type":"item","numeric-id":5869511,"id":"Q5869511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9480b7156e9e1ee29234fe34a2cd7c27a2d4bbd","datavalue":{"value":{"amount":"+0.9317678809165956","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":"Q2938499$5C9DC8C0-E0AB-4114-A9EA-873E1765CDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63df67a867dc8ed11991eaddd99e999d8530d58","datavalue":{"value":{"entity-type":"item","numeric-id":4967190,"id":"Q4967190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74118ff2d4774a6c3b526727a1435ebc7470127","datavalue":{"value":{"amount":"+0.8908368945121765","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":"Q2938499$380D1595-9E99-4CAC-918E-30607B42843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69893b09cd363e12307f0fab2a195914809fec","datavalue":{"value":{"entity-type":"item","numeric-id":1284702,"id":"Q1284702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131db9224a0a90bdb48f7c3682e9246fdd1412b4","datavalue":{"value":{"amount":"+0.7109314799308777","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":"Q2938499$5474B946-88BD-4F50-8767-3590C58730E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449089cc20da38c8e3f7d6a2cb7db066eec0cb14","datavalue":{"value":{"entity-type":"item","numeric-id":3677191,"id":"Q3677191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9182fb075337c9fce46c86cc35d6c471af90f7","datavalue":{"value":{"amount":"+0.7034502625465393","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":"Q2938499$2B03B36F-4D0C-4483-AD12-80162BB67B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0ed927a5072c5dc0f761f0233890cabcd1ddff","datavalue":{"value":{"amount":"+0.7024556398391724","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":"Q2938499$F00DC57F-303B-41D4-96C1-ACC921A95967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938499"}}}}}