{"entities":{"Q4589207":{"pageid":6618792,"ns":120,"title":"Item:Q4589207","lastrevid":41061328,"modified":"2025-04-18T01:50:53Z","type":"item","id":"Q4589207","labels":{"en":{"language":"en","value":"An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804728"}},"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":"Q4589207$9E788B91-16A5-4171-BF2C-E89E56C8680B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"073c84168ed4c033ab8e65ddb87b3e83bddde88e","datavalue":{"value":{"text":"An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589207$8D3302B3-06E7-4451-AFE6-89E6B633EF6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab61cd3f02e2f3499aa082f24e9467fcb0a336fe","datavalue":{"value":"1373.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589207$35C1B694-8A01-4103-89D9-4B8E8BE1D359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d951e2a39f77d3eeac791409a85e79e3cc6adc23","datavalue":{"value":"10.3233/FI-2016-1410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589207$17907314-7347-4C9F-8DC4-1B30D10C96BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09250e68a98794abbd0c7f37d6f4260946a7b666","datavalue":{"value":{"entity-type":"item","numeric-id":357922,"id":"Q357922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589207$C6E7521B-2A5A-4DFB-BB60-D7E394138F9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589207$10F40758-8410-447B-872A-CABDAAF8EB44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589207$55BFF668-C98E-4098-9F6E-AF3AD25D5A78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589207$33C37456-1F70-46FE-99D0-2B55171DF5E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ab94586bd611bc062223fffc0a24be747a30c4d","datavalue":{"value":"6804728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589207$C3D3344E-27E9-4BF6-AF17-8D4AE592D46C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf299b0e637db0f541ab26dfb362107a1a966d4c","datavalue":{"value":"program models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589207$05E71D62-E179-4FC1-BA0A-200B261469C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589207$A08B533F-B4B7-4F2C-A81E-5BC4F8E76E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589207$C89CD9E4-F47D-4319-8824-A2530087B755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589207$E2E1354E-4DAF-45EA-B488-5BCEFA6E1FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40c4a0cfca0bf3ad31d7aef9d2398fe485aaa9f","datavalue":{"value":"left absorption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589207$1080FB18-03D1-4FE2-9D50-91B95137EA80","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":"Q4589207$08C43532-75C7-4A5D-8EA7-712A2880130D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8585f354fedb419f573a2fdf8e01d8539a519d0","datavalue":{"value":"https://doi.org/10.3233/fi-2016-1410","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589207$FEC58CD1-580E-4580-96D2-E641752B5620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23e1dfec9a429ed4f714c676eb7636f6cca8b59e","datavalue":{"value":"W2398836986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589207$43077C4F-BA2B-4460-A383-8761D810FDBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315a7a1d636d01cfb11c2ae0b8d4ef634e0c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1758688,"id":"Q1758688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d470d016832291f33f8477bdc15e735959ff2122","datavalue":{"value":{"amount":"+0.9205572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$75982447-6AF4-407F-B72F-424608EA21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e6e0792e368a5d09e553b21da7848e8a49482e","datavalue":{"value":{"entity-type":"item","numeric-id":2452734,"id":"Q2452734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c8ce2fba07665e8fe3bb9ed54e842fe86398b4","datavalue":{"value":{"amount":"+0.8967815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$FCDE4C41-9C67-49A6-AC72-E3942E3DC32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b8cf63221bde1ed75af1c50425439388370185","datavalue":{"value":{"entity-type":"item","numeric-id":2191014,"id":"Q2191014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac737178c248fe097c79bee367bc90291fd97d8","datavalue":{"value":{"amount":"+0.89523757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$CDCE027A-0096-4D75-98C1-4FE27389889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ed7a83ab87906e96e64e62a9583b1f1e855e64","datavalue":{"value":{"entity-type":"item","numeric-id":1111006,"id":"Q1111006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df95cf064229bc4f2674de4151b2a35c747ed057","datavalue":{"value":{"amount":"+0.8909745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$3B4C5CE9-1C8A-4971-9464-ABAE9217E73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc07928af4949a1dcefbdf5fbfb948d733cd720a","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e158339d2c143401324fd5926399ef1d72a887","datavalue":{"value":{"amount":"+0.8784859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$74C9CA31-5E64-4413-9FAB-F00A12BD7195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231a0dfc0faeaf2dc44d1ff3f66dd9f72fd0f47b","datavalue":{"value":{"entity-type":"item","numeric-id":1594177,"id":"Q1594177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a146bb8bea3281c4d9a0fd004e849e2bab9f50","datavalue":{"value":{"amount":"+0.8745296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$C1FA4DAF-BBAD-4707-A36B-0BBF25370381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b13ab3f853f32d4db270c23d99db5f3353d32d","datavalue":{"value":{"amount":"+0.87113625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$4A140807-B536-4E5C-8AFE-3BFF216DBA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13406164bbb2ee8dffa9e87bee72d8cea17accb3","datavalue":{"value":{"entity-type":"item","numeric-id":5479149,"id":"Q5479149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a864cb67c44a05cea0d76bdee51ee60f52bcbcea","datavalue":{"value":{"amount":"+0.8705293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$787C3CC2-0D8E-4B39-A341-EC9A2ABD3508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bef11032a86e0846a0cc529c96dd87c17b04901","datavalue":{"value":{"entity-type":"item","numeric-id":3636883,"id":"Q3636883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9d347520de5ba7027172efee5e9742759e3947","datavalue":{"value":{"amount":"+0.86984867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$112FF4D2-5D2F-4ABD-B3FB-0C8A56CEF70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5657386bbd9603b9fe83e53f8b37e30d8a3b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1822233,"id":"Q1822233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831946c9cd25b94294f27d7bfcc8fdbaa598d82c","datavalue":{"value":{"amount":"+0.86884105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589207$49310555-5FB9-4BFC-8EB2-5C94161B11C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589207"}}}}}