{"entities":{"Q6485502":{"pageid":14064160,"ns":120,"title":"Item:Q6485502","lastrevid":47780926,"modified":"2026-01-02T16:27:35Z","type":"item","id":"Q6485502","labels":{"en":{"language":"en","value":"Reversible Programs Have Reversible Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627904"}},"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":"Q6485502$4B8DB6F4-9BFB-47A3-AE03-CFD608577165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed379b9ab28195fa66edd64c85ef80fc7e151755","datavalue":{"value":{"text":"Reversible Programs Have Reversible Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485502$174399EF-5F46-4FEF-B89E-DB6A4141216A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a58f5849a12dcee815d8e6a9f0419acb6ce7a366","datavalue":{"value":"10.1007/978-3-030-54997-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485502$AA2E9F09-D276-4FFD-B228-A8EECC88093F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81032b0f581db8e37581bd17c6ad01498f4c3819","datavalue":{"value":{"entity-type":"item","numeric-id":232939,"id":"Q232939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485502$8B28ACDB-C4C4-4147-8E08-C580B08340B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddd19080782ef3d0653cf21ee6fa204019c2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":511930,"id":"Q511930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485502$90057545-E90D-4401-AFE3-069155BEFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5816e02ff4625b7af5cf30c896d10baac124759","datavalue":{"value":{"entity-type":"item","numeric-id":896905,"id":"Q896905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485502$154E4EAD-4A77-4A1C-A1E7-FD86B0498394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d972cd4ae468df8a020ac64c0aa1c2073a938584","datavalue":{"value":{"entity-type":"item","numeric-id":6485501,"id":"Q6485501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485502$22360A15-52BF-4238-9B01-3FB66F6B93E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485502$DCD3DA3C-3A8F-4CFE-85D9-DF8E1E3B8B9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485502$0CFAAC4B-0D41-480A-93DD-CA6CD972625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485502$7ADACDCC-0123-4E8E-9AAD-BE3F4586D983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c929e4a9fcdf389b414fbb88e018fad5d55d260","datavalue":{"value":"7627904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485502$C55C324D-9C50-4F3F-8309-0C4752E0A20B","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":"Q6485502$AECB8D78-BDF2-42CB-B44D-66DF81EEDDB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7647a12420b7a552fe1c8753f10b9a6203dc1628","datavalue":{"value":{"entity-type":"item","numeric-id":2409740,"id":"Q2409740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5b2c231679a91f7d7247a747fb9dbf2ee74988","datavalue":{"value":{"amount":"+0.8044437170028687","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":"Q6485502$D61C1F25-6EFF-46E4-B58F-F09FC33B90D3","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":"d4762fbc69f8987acad88c970887cb6939403ac6","datavalue":{"value":{"amount":"+0.785773754119873","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":"Q6485502$82506F89-CFF5-49BF-8B53-02A811A434F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4847efbb75eb4eb7dcda3759d11625987989d83f","datavalue":{"value":{"entity-type":"item","numeric-id":4580228,"id":"Q4580228"},"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":"Q6485502$F30468C4-3C6E-48E3-9689-E0FAE9759919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f6eb19223f5d24236d3bcb4db635be202e8871","datavalue":{"value":{"entity-type":"item","numeric-id":3000598,"id":"Q3000598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b066ad63d80302a9f23dc4fed6be2614c8541c","datavalue":{"value":{"amount":"+0.780888020992279","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":"Q6485502$5267BBAE-F115-4EAA-94D5-2500605BF1F7","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":"c82bbaf459724cc11ed5319fb6de88ffd827cd25","datavalue":{"value":{"amount":"+0.7696381211280823","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":"Q6485502$C8BA49CC-F214-4D22-AE04-5DB6525F90BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485502"}}}}}