{"entities":{"Q4580228":{"pageid":6609814,"ns":120,"title":"Item:Q4580228","lastrevid":53167322,"modified":"2026-01-24T09:03:50Z","type":"item","id":"Q4580228","labels":{"en":{"language":"en","value":"A certified study of a reversible programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917247"}},"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":"Q4580228$D96C26BD-5975-4009-A552-F46242F4C76D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"863c0cc3b66c043dd9fb9938a38cdf4981b00339","datavalue":{"value":"1433.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$9A9CB0B5-5F9C-424C-B767-653D0B0881FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$208DEF38-CBAA-4D6C-9F3E-AD93FC15DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdfd87b35a7d031d9833942021cae5a85bc092fd","datavalue":{"value":{"entity-type":"item","numeric-id":737107,"id":"Q737107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$157DFFD0-C28A-43B5-ABE9-8B1790D82F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$BED88EC1-E7BF-4F43-94C4-1547DD1FC9A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580228$0DFBDEC1-05DA-4509-A813-35F9E206E054","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$E136D33D-BBC2-41D6-B085-6BE5EDFD9093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$4B948A2B-7FE3-4CD1-A95E-33D70422F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$598CBDC6-B3CE-4887-BB11-CA242411C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$BCDAE0F9-48C6-43AF-BCBE-92AB1EDAC3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28766ce1bd13807f3e05ac44d5552153ce462c92","datavalue":{"value":"6917247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$A5D195A9-CA0E-4681-B04F-99856079B92B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b681b4145c9fcdb8c1a25739bacb3d3866714f","datavalue":{"value":"reversible computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580228$A78A6C80-F335-4C8F-BBCC-DA076E39C998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72283757aee3236fe2e99f1ca591d9674c933d6","datavalue":{"value":"Janus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580228$E4E0FC6B-E56B-4B32-8783-C8898662A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580228$87029E99-FE05-4BE0-A1A4-6328BC69A826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5ad480b9c6fa51899ee6106634fa855b5ed825","datavalue":{"value":"bi-deterministic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580228$CA2778F2-6F84-4536-B503-E0F741F88608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580228$83A69528-92A3-4BBC-95F6-F9B03E0DDF0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$D4A5AC68-D200-47B3-B9E1-504C9B43C44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"169979d55a50fcec4f970be3a14488243f68158a","datavalue":{"value":{"entity-type":"item","numeric-id":30868,"id":"Q30868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$1B9479A6-A0BB-4129-806C-0274F9744ECA","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":"Q4580228$F67AF7D7-BCE5-4645-ACEB-05B283AA80AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$7F1AAAA9-6ED5-420B-BCD6-09CF36BF186B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f5f7e15cfa9dd7cd8a67a7c7d669dd5ce3d690","datavalue":{"value":{"entity-type":"item","numeric-id":3000598,"id":"Q3000598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$F9150B75-2E2B-4831-AD1B-227528DB8730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bee5a6d227a942412fcba1b1507aa14cc9bd941","datavalue":{"value":{"entity-type":"item","numeric-id":3499767,"id":"Q3499767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$90BC5DE0-DA3E-4837-8042-26359AB37918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$48A575B8-911F-4A57-B21E-FB1E7AAA13E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b134c489ef3023af867487d565081ebe9b47c","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$B5CE77A5-D3DF-4727-A641-51807A52EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f616d79f26fcad691e031d31d2524b8669486c","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$351BFFFA-B861-4A80-85A5-48FD2B015DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f5a2b7d02ee7831dc14caaf2be7f86f6302b68","datavalue":{"value":{"entity-type":"item","numeric-id":3453735,"id":"Q3453735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$5823950E-D015-469E-9DFC-1C3BE22763B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a934ab984113a8f66e970f91671b532e07ca44e","datavalue":{"value":{"entity-type":"item","numeric-id":737109,"id":"Q737109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$4B4972B9-859C-4F2A-9A71-B9C48BC8AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$EE1EE753-C80B-4447-85CC-DD9402DF0098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$FC406BDC-B4EB-4E3F-B8D6-E3E214544093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97acd7dad682c3c767826ba4f87a0ec4ad0386ac","datavalue":{"value":{"entity-type":"item","numeric-id":3519506,"id":"Q3519506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$02297942-53EE-406B-A7C8-078ECAA107D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43e36238b5fbe19fd4ec373f051c3c2b3c20475","datavalue":{"value":{"entity-type":"item","numeric-id":2973238,"id":"Q2973238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580228$FEAECE64-7D0A-4340-976C-36282219EE35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"638587444961ad24ea703508ce49894e70f36bf4","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8477/pdf/LIPIcs-TYPES-2015-7.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580228$D1853AF9-7B0E-46A3-AE77-650CAACCB8C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7fa26bc8d459808e384de2ce7f6ebf4b21e8f28","datavalue":{"value":"W2623394745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$CF2A77BE-C299-4C8A-A39D-83DE53CF269B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"523b12c747fb362b77718371f240b0687afc4a4e","datavalue":{"value":{"text":"A Certified Study of a Reversible Programming Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580228$5AF8D3E3-7A12-4F2A-B6BD-A884CC9443E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c1cf2b71090879386e0ceffb31717b0abfb0a6","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580228$8A65598E-5B58-4F3C-8B22-7A3F8987B5B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e8799463768b21d95350349f61898a7e5486d8","datavalue":{"value":{"entity-type":"item","numeric-id":6485502,"id":"Q6485502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c061d62603c8d54b085134eab97577e0589e9f93","datavalue":{"value":{"amount":"+0.7852163910865784","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":"Q4580228$BA2F3CEC-4E31-48D3-8583-8C5844BF04D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af2def0494025c0d554dfb657d432df20f46d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2176686,"id":"Q2176686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8081c25ccbf56236a4f0fd2ef0e75a68d00f8a","datavalue":{"value":{"amount":"+0.7440798282623291","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":"Q4580228$F098931F-58B4-4E81-9D33-5FE10D2C7299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5599abd4d81c423e3b687b2e22cdbf617b2fd0","datavalue":{"value":{"entity-type":"item","numeric-id":2902497,"id":"Q2902497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137608593cd201aec43e5a6f61200646fb6a2eda","datavalue":{"value":{"amount":"+0.7428262233734131","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":"Q4580228$4F79E058-D1D5-4947-AF1B-F805DDB4D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039845eaa5d018b8575304e64ee2e831103e8826","datavalue":{"value":{"entity-type":"item","numeric-id":1796398,"id":"Q1796398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340c7def876b861b814967c9bfa49b6ba08f6026","datavalue":{"value":{"amount":"+0.7409366965293884","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":"Q4580228$B8113D39-E36D-42D6-B6C0-55DC4BDB81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d0eff52d93e2c04ed7b0683ade34d794c7115","datavalue":{"value":{"entity-type":"item","numeric-id":4585070,"id":"Q4585070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047bd883ebf493dfc30338b47b82a14b9d26302b","datavalue":{"value":{"amount":"+0.7348020076751709","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":"Q4580228$F40CAF4B-2182-4166-A5CB-797E2DFA3591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580228"}}}}}