{"entities":{"Q4923532":{"pageid":6953114,"ns":120,"title":"Item:Q4923532","lastrevid":51721715,"modified":"2026-01-19T16:38:09Z","type":"item","id":"Q4923532","labels":{"en":{"language":"en","value":"Graph relabelling systems: a tool for encoding, proving, studying and visualizing distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165897"}},"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":"Q4923532$543ADF9A-B239-4768-BAA2-25D77900D88F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fe66fa5d89784d91bd094d7098d9b6a0719fe60","datavalue":{"value":{"text":"Graph Relabelling Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923532$5861A591-5643-4EFC-87CD-82C65C286758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd22df8e94f070630bf27edd299de2ee9abfe21","datavalue":{"value":"1263.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$F5F8D852-9218-4090-BABE-D3333068D9E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a351185acef59bffb32a261c4568b7ee5622b9a","datavalue":{"value":"10.1016/S1571-0661(04)80194-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$C5BD4329-337B-4BCE-9507-15893824CCB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"963ee94ab4379a8c897b50f89fb82d7c7292c697","datavalue":{"value":{"entity-type":"item","numeric-id":171477,"id":"Q171477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$69293048-3763-4A41-96B9-62C83AA367BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf5b959fd9623f6e4d26d1880422d6de3e45a30","datavalue":{"value":{"entity-type":"item","numeric-id":879962,"id":"Q879962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$CF9029E4-A0A2-4D68-AA40-ACB8C4D8FB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a3bd90995b4e67be74404d8e1815e8de5dd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4438772,"id":"Q4438772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$9D8B3B42-5E7F-4AA4-BEAB-30C9098F072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"897a13777edf24543009f31d31f396eef3d0f211","datavalue":{"value":{"entity-type":"item","numeric-id":690236,"id":"Q690236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$2B042E40-3C0E-492A-A9D4-8AB3897762CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$DC36AC0D-D87D-4B1B-823D-90FFF8DD71A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923532$79863A72-E537-49B9-8C67-0097664E11E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$EF846C30-C417-4744-9CE3-C7689B31993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$826A9365-EC0B-45D5-8C22-A9F9C8AB936A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a839ff98ff701d25a258f6a26022274d6dc097bd","datavalue":{"value":"6165897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$500437C6-F2EF-4820-93CC-17AED51278C8","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":"Q4923532$00BB9253-94C6-4E1F-9BEA-776C49A14A05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff0fd00c81c97fa8b2b5e709ff21600a51c00668","datavalue":{"value":{"entity-type":"item","numeric-id":3763599,"id":"Q3763599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$F756424A-5DE0-4B9A-B265-CAB020D2FBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d34e2a6853f4e55e5d2ca61029af872fe0834f","datavalue":{"value":{"entity-type":"item","numeric-id":5878897,"id":"Q5878897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$89E7BD02-7297-4FF6-887A-6885EF4FC7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82670e05d4e67cbcd35d3d650c4a503d6b4e95c","datavalue":{"value":{"entity-type":"item","numeric-id":293407,"id":"Q293407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$62AF6994-3E19-40DE-8828-AE59109A7D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eebe99e883aa678130e247b99961cf48a53fb0e","datavalue":{"value":{"entity-type":"item","numeric-id":1317492,"id":"Q1317492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$EA149B64-4E84-405C-BEFF-6A8C605232AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739ecfba3b12ea1cb28dfadbdfaef9c3794f6638","datavalue":{"value":{"entity-type":"item","numeric-id":1275455,"id":"Q1275455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$A3B10325-FC19-4705-BC4C-932E7184B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1860c3db4208c84182d6e54dc7d5c28f5a5e7546","datavalue":{"value":{"entity-type":"item","numeric-id":1079947,"id":"Q1079947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$6260D908-60A6-4110-B6E1-F861A4B62C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c1979ed7445a2f54c54e090f90ed8c57ba7b29","datavalue":{"value":{"entity-type":"item","numeric-id":4502806,"id":"Q4502806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$7E3876C4-1D5D-43F6-A89C-49DBBC342131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$2F5B40E3-B8EB-4FAE-85B6-DDF5F436FA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9616b8e29b41a9ba751cdb3a01cca9a9a0364c5","datavalue":{"value":{"entity-type":"item","numeric-id":1261464,"id":"Q1261464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$4E71A35F-4150-4CEB-A4F4-A7A0A360946B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccb9a6360c4d263ca2978e92afa9ec71deff688","datavalue":{"value":{"entity-type":"item","numeric-id":4327379,"id":"Q4327379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$8E94F9B9-6006-4E56-9285-5B847488E6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46ccef1e17b5623343429d8b640e4f88ceb312b","datavalue":{"value":{"entity-type":"item","numeric-id":1891139,"id":"Q1891139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$DCDB40D6-1146-4563-8AFE-3EA04A950CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0273e40668d4e5df8e76dd6aef8baf76be7f9223","datavalue":{"value":{"entity-type":"item","numeric-id":3999514,"id":"Q3999514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$C80BF290-6AEE-44CF-A940-684908103213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef01cfc42ed19d5ee5e6db5521a8c0e03c4c3d5","datavalue":{"value":{"entity-type":"item","numeric-id":287005,"id":"Q287005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$5E2E119C-0B2E-407D-B66F-54C3CCA15AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a6be6499e222eefe37e95b9775d97555b4e9fa","datavalue":{"value":{"entity-type":"item","numeric-id":4524581,"id":"Q4524581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$DD00358F-0622-483C-A827-2CF72432B78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad45153e407fb3a7527127466eeb37c1269cd32","datavalue":{"value":{"entity-type":"item","numeric-id":4239067,"id":"Q4239067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$877EC451-9398-41C8-BB8E-BDA123A322BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d96d3ddb1ed8811f7927459493a0c065d56ee20","datavalue":{"value":{"entity-type":"item","numeric-id":5653953,"id":"Q5653953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$BA3BF1C6-A774-4919-8E71-792BAC0AB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d368581606fa0b78f626e8ba11b24daf9524eab8","datavalue":{"value":{"entity-type":"item","numeric-id":4763060,"id":"Q4763060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923532$2E9C5133-D538-4345-9A18-4A8A52CEC094","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e010ff6196be3358bc8554fcbe2d5e2b62a38ada","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80194-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4923532$E59EC1ED-E53E-4258-AFC6-F72EE66ED20F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"393898933ebe625b9535a9311ecee1db5ffef503","datavalue":{"value":"W3023534383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923532$66983B97-FDE1-4787-AD72-7AD52A61C302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7cf8d8baf9908d66c8991492ac212811395dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4342905,"id":"Q4342905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0777b2e3a21f6d224dbf1fd836cd81812ffdd4","datavalue":{"value":{"amount":"+0.8917053937911987","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":"Q4923532$3D58F41F-574C-455E-BE92-641AFAEED179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba4d1e83d1382bebcbd83d59f6e237554162250","datavalue":{"value":{"entity-type":"item","numeric-id":4921550,"id":"Q4921550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec59b2e698fc892cb657c95ef23d09c38a483f39","datavalue":{"value":{"amount":"+0.8635942339897156","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":"Q4923532$D7B01C16-2DF2-4FAF-ADAB-71C538AADDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9007a22fdbaefd84a0bbee13b5139a96ad1ff21c","datavalue":{"value":{"entity-type":"item","numeric-id":4327379,"id":"Q4327379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9daf34e1639b4090ead7bfd49b42d72e4262c6","datavalue":{"value":{"amount":"+0.8405038714408875","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":"Q4923532$ADB2602E-8687-43E4-BB10-6DB0C6D333A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0fc4538e21a658829974859bbcf6b666085e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2852055,"id":"Q2852055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dd23eb1c5d7ba73bb8dcc49a7e84caddd33cb6","datavalue":{"value":{"amount":"+0.8245935440063477","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":"Q4923532$C463F7DD-9487-4126-A80D-DB2797447721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2238e318f4ffe3ac60ece7f1b64bb7a39dcc64ed","datavalue":{"value":{"entity-type":"item","numeric-id":4438773,"id":"Q4438773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd42d0b18049a32200797b2fc7d00d29881a3205","datavalue":{"value":{"amount":"+0.7993989586830139","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":"Q4923532$6AEC04A5-78FA-4F1E-82CB-96A9EF69E01F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923532"}}}}}