{"entities":{"Q6493421":{"pageid":14072194,"ns":120,"title":"Item:Q6493421","lastrevid":38015180,"modified":"2024-12-03T12:08:11Z","type":"item","id":"Q6493421","labels":{"en":{"language":"en","value":"An axiomatic theory for reversible computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839133"}},"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":"Q6493421$BD18B461-7C8B-43DC-BACB-CEF3213D3392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae26011d531fd1859e31f7e33dfa1997226a2db5","datavalue":{"value":{"text":"An axiomatic theory for reversible computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493421$20A611E5-759E-4973-9547-C1D861DB6EB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d70d2d2e74cf80ddb90ffeb8eebc99cacb5d1c6e","datavalue":{"value":"10.1145/3648474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493421$1EC614C9-13E0-4A42-9539-4570AD0CDDCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$72185B5C-31C0-4516-9DC3-BE64F92D64FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$67FCE00B-1F8A-42FE-B330-6BABD7FD82CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$D0F50AFF-9966-4392-8BBD-32660D5E0DBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$4F52DA24-D703-4F42-96F6-9F46F051B80B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493421$7A8301CA-1E5F-46C3-AD1D-6EDF364253E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493421$BD02E9C9-5A47-49CE-B3B8-F9EC7DC70D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493421$31D99EA9-B4C0-4C3A-A843-84ED8CBBB2A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd6744c6da4d33728f33e5827d5ed5554e394337","datavalue":{"value":"7839133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493421$28A2C798-07D7-4AD4-967C-5B1C9362A05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6493421$1E76A88D-0B7B-4F81-939E-589E20B57588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e957ae6b9701bd9902f1c3b2d7df0625b85f8e1","datavalue":{"value":"labelled transition system with independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6493421$9CC01ADF-A885-4EE5-9087-F5BC61B664EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2bcf17bc3433aff06320a65a1ebc84ebf491b8","datavalue":{"value":"causal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6493421$4F7E96A8-F78D-4D5D-A9B4-7AEF39F53952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6a3856a9502691d528818620724ed5f5d1d507","datavalue":{"value":"causal safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6493421$22DC98A1-9F14-414E-9609-AF5DC4487248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b22448afda4e4daa97cd2d6cd2a1e11b08e674a","datavalue":{"value":"causal liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6493421$A75F2346-6248-43D5-A80A-A29BD0988D89","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":"Q6493421$056987DE-A71A-49B9-8AE8-9C73E281BA60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82c6ebae46b22253c326483654f403b09de3071","datavalue":{"value":{"entity-type":"item","numeric-id":2097423,"id":"Q2097423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$09D48ACD-6B6E-49C3-9EE9-2882625DB6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27900bace3dea310f9bcb8d8ebed7e8bc96c783b","datavalue":{"value":{"entity-type":"item","numeric-id":5162607,"id":"Q5162607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$2FDCC8A0-FF7F-4CE7-8633-C275B19776E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8568828469fc274fedb043f6671f683a79c1b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2152435,"id":"Q2152435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$242A4AA5-6BA3-4F3D-91D8-A2377DAA4343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4c8ba449b23aff2db6449e0cf6745b29f5f10c","datavalue":{"value":{"entity-type":"item","numeric-id":5216332,"id":"Q5216332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$690F4355-0FB3-4A39-822A-5549ACDA7F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54171b297d4974ab02782948f074e2ea7aef5335","datavalue":{"value":{"entity-type":"item","numeric-id":6135754,"id":"Q6135754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$9946CF1D-17C0-4C74-8DF4-98A680142D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60b33fa75df8ca7030919472cfc287920f19c7","datavalue":{"value":{"entity-type":"item","numeric-id":2165209,"id":"Q2165209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$5802CB28-E9F4-415F-91BB-B753D32A873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$EF7C7646-515E-4DA9-9F7A-9D4C5F4B4DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$3683F7EF-FE4C-4366-9633-9FB7F0A51627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$5137F6B5-1C26-4494-94C1-54BC85E8068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672334a78e6ba3872670873eaab5c6b9b65ed764","datavalue":{"value":{"entity-type":"item","numeric-id":2866345,"id":"Q2866345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$0015F419-5647-4D24-A42F-8C8B5A279927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87daf01ebe20a1763fa4b3b128cd1e0b0400e64c","datavalue":{"value":{"entity-type":"item","numeric-id":516034,"id":"Q516034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$80A109E7-5C5E-4A52-8ACF-8067B9FD0B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f78f9dcf3b82cc21798c9f3e41b89513d761c98","datavalue":{"value":{"entity-type":"item","numeric-id":5925541,"id":"Q5925541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$E2A50FE3-1629-4415-92D0-FA0AA9EC4C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed59c92bf006faeead83789a95804c8b75cc0a9","datavalue":{"value":{"entity-type":"item","numeric-id":2423752,"id":"Q2423752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$7CAFD9D1-57A1-4890-B550-E3CD1B78D546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdbb23f1c0347d1b2c1593217f2ee076e2f5a6c1","datavalue":{"value":{"entity-type":"item","numeric-id":2097430,"id":"Q2097430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$118FD0CD-4A0A-48D7-B061-685EB6F6D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$6F2B1390-BD0B-4ACB-96A0-5FC0BD65B5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d0ca159962f6adf424cd0290e2086786a9ca14","datavalue":{"value":{"entity-type":"item","numeric-id":5089300,"id":"Q5089300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$176A04E8-35C2-4AB5-AE0C-42C278025ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c45d830275a4a379c3d68f31c25ab39d3810a9","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$863B0D81-FBB4-458C-91AB-E787AFD8F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d890132b51f25b4782527e6e3e488b70b825c88","datavalue":{"value":{"entity-type":"item","numeric-id":3453755,"id":"Q3453755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$67B1EA22-8F14-4C91-9DC3-F48E49AFE6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$8047112A-E877-4ACC-9E4C-201E8CAB2983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b499d373d3e1fef9dfa9765dc61a243dacacb02","datavalue":{"value":{"entity-type":"item","numeric-id":1648893,"id":"Q1648893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$DC8C033C-A927-408F-9EFA-4D16A4B2FE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6c670858c666964a1760602fe084699e2f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$60E42915-4DF5-440C-869A-CB56E04B0BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601dde63f14f6902ce8587d228bf28a238e85b26","datavalue":{"value":{"entity-type":"item","numeric-id":2200840,"id":"Q2200840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$B4BEB556-4DD5-40F9-9D36-DB249C3276B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4184a61ad50d805d51dd885fd536840fd5ad22","datavalue":{"value":{"entity-type":"item","numeric-id":2039888,"id":"Q2039888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$CAB08050-69CA-4314-81B0-D1DCDEB697D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaa05c5a1230a87b78bc7a7e877f11588855b5","datavalue":{"value":{"entity-type":"item","numeric-id":5129948,"id":"Q5129948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$70A02EB6-A02A-4815-AE5A-FFDE270B82E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a66f6af01f8ef65e9926b33b3c3e33db40185c","datavalue":{"value":{"entity-type":"item","numeric-id":1796367,"id":"Q1796367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$0B4B2BAB-E69E-4126-85F1-8221C6D6206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bcf248d456c61a3425e176dcb6add098f14a24","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$70762914-2249-4BCB-B81C-743585B66AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$CC04C94E-17D2-4793-B457-8EE8AE904CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$0B40AC30-C9C9-4DE0-9396-9435B361CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e9f7209572e585461a3808309c0d34dce1fee4","datavalue":{"value":{"entity-type":"item","numeric-id":2842116,"id":"Q2842116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$F5A5DAEE-F3BE-4161-81B8-4124D052C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716489887c5a7ddcbc2ae337ada864435937348a","datavalue":{"value":{"entity-type":"item","numeric-id":890616,"id":"Q890616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$95247F1F-2631-43ED-A1DA-9BF128F13626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$40FBBA29-EA96-4F76-BA23-8803ACEDD763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397bbef5c0c69635d6569bdf42b2fdfcc7de066","datavalue":{"value":{"entity-type":"item","numeric-id":3763607,"id":"Q3763607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$3323D332-A607-4F84-AE4B-0F0E9A0D5341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$E0200BED-5AD7-4C2E-86D2-CE1E3E806025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493421$08D7BCDB-E599-496F-8EA7-9CE7501B593E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6493421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6493421"}}}}}