{"entities":{"Q357923":{"pageid":359690,"ns":120,"title":"Item:Q357923","lastrevid":61219503,"modified":"2026-04-10T21:56:45Z","type":"item","id":"Q357923","labels":{"en":{"language":"en","value":"Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198428"}},"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":"Q357923$4035ECBA-3B3D-4D0D-AE3E-25EBC36E6F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19dcf7a889d16b5a97f5a2e29d1b543b53062d9e","datavalue":{"value":{"text":"Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q357923$2409ABF8-3959-4EC5-AAB7-5253EFBA42D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8522b89008bf3af2aa46fbb0850461e94ce87dbf","datavalue":{"value":"1269.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$20460AAE-2A5D-4BD5-B6F1-105162593E10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38a587b254e57addb3c6e65c716867a8a5523a19","datavalue":{"value":"10.3103/S0278641912040061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$867056EC-F12F-465A-80C5-9E79E478594E","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":"Q357923$00770FAC-1552-44DF-BD81-CE6079EA8039","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa4e0e353121dae82cdaefca14a62dc9d4bb34af","datavalue":{"value":{"entity-type":"item","numeric-id":163582,"id":"Q163582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357923$BAC6F598-C52B-49B0-85DE-E72FA18FA92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q357923$E5EFDB82-2B68-4672-91B7-371CC139B5A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$5F3B7CDC-A94C-4C4D-9F34-CD6CBE036981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$70A39354-C245-4DCB-9D89-7D8CC6601524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$ABB93D02-D8BC-4C32-9BA6-77FA10F2ADAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5338019e05779dc86c7be858d9790b80ab64d4e2","datavalue":{"value":"6198428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$8289B023-FF1C-4154-893E-32FED3CBF01B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a622e83842a7c48af763fd92cc6b4c10e72c9850","datavalue":{"value":"equivalence test","type":"string"},"datatype":"string"},"type":"statement","id":"Q357923$F83AE97F-1DEA-474D-BA8B-2CF7DD8B0B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q357923$7854FF72-9FC2-43DC-94E8-3349239228A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q357923$70413D20-C3F7-410F-BC5E-C75BCE05B1F5","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":"Q357923$A3F70FAF-D71D-49E4-A3AC-3E32324BFC31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"163e69448d39ad531e4cc97f8ffafd03a99ce660","datavalue":{"value":{"entity-type":"item","numeric-id":1393937,"id":"Q1393937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357923$47BD6C07-7C62-4A04-ABAE-220506183006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a2683c14499aa11e6f27fa400a157ff6431c25","datavalue":{"value":{"entity-type":"item","numeric-id":1238426,"id":"Q1238426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357923$5072441E-396C-4DC0-9971-D7B47A2A2691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7def7b2ae18dbc0a350c044c925bc9196bebb94","datavalue":{"value":{"entity-type":"item","numeric-id":5445415,"id":"Q5445415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357923$FF74DB08-2F19-4878-B8A1-FEC4B25F2D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766193ea784b0bffcc9336764f331a23489436bf","datavalue":{"value":{"entity-type":"item","numeric-id":4041106,"id":"Q4041106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357923$25CA9ACB-D8A9-489A-A864-F2A3EA4050CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6b71d173227174f0dbd6f8cef5b98d651ba5cb","datavalue":{"value":"https://doi.org/10.3103/s0278641912040061","type":"string"},"datatype":"url"},"type":"statement","id":"Q357923$0E228F06-5AC0-4CB9-B95B-16F2C39F2A22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df305bb9f8d0f4129b71e49bf6fd490a3e3db87e","datavalue":{"value":"W2091706487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357923$FBA14F64-8F2B-4EDC-AFCF-F0F087727FB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f835e40ed477460c1a6fdf98ff70cd7472c531","datavalue":{"value":{"entity-type":"item","numeric-id":5445415,"id":"Q5445415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629808d78534a542c5f49aefc8f2e36a40802236","datavalue":{"value":{"amount":"+0.8985877","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":"Q357923$83872DC3-FA26-43DE-859C-851B5C90A789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a930055d753478b3a2ea3281f3a0f499ccfb4647","datavalue":{"value":{"entity-type":"item","numeric-id":5947813,"id":"Q5947813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ca5335e5bc475a91e20461a36410807435cf3a","datavalue":{"value":{"amount":"+0.89064264","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":"Q357923$2946B7C4-B744-48D5-A1C1-2AE3F4F5DC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4e493219cc37897fafa3a59caae91d217d725","datavalue":{"value":{"entity-type":"item","numeric-id":2346993,"id":"Q2346993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0b2eafc0ced6b992b2c1213c017cd57d6700ab","datavalue":{"value":{"amount":"+0.8739502","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":"Q357923$FE997021-4130-413E-A696-D057399676E3","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":"4bea82dbc3359ca951a8b31e34863996d6b93560","datavalue":{"value":{"amount":"+0.8704119","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":"Q357923$A11A084B-2666-44FC-9140-6F98637EDB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830eb0cd341f3c625e8f3be0a8b640489eeb53ca","datavalue":{"value":{"entity-type":"item","numeric-id":3222193,"id":"Q3222193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe4f700b3ac9fa30b1aef0e8723d984f7a914b6","datavalue":{"value":{"amount":"+0.86449236","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":"Q357923$A13BDB94-2499-4BA9-867B-EDF62318320B","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":"d07fe4cf35a95311177fe67a74656cbcc16fb40c","datavalue":{"value":{"amount":"+0.86355335","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":"Q357923$DEE7D147-FEDB-45EA-BEDB-24078BFBC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc8a65db36e2585bd6d0f1ce39d415365cc8b27","datavalue":{"value":{"entity-type":"item","numeric-id":912596,"id":"Q912596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b65ce3743b6fcffbbbeb517e3cb3d6ec395aa97","datavalue":{"value":{"amount":"+0.86270124","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":"Q357923$D794A4F9-7B7E-4AA5-BF1E-2454467429D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb21189303bb798e0396e00c1d86fa944a89e6ed","datavalue":{"value":{"entity-type":"item","numeric-id":1592932,"id":"Q1592932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6d556f27dea61c67d91d7664412fe440507489","datavalue":{"value":{"amount":"+0.8611115","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":"Q357923$54E04910-504C-494A-BD34-F7C14D379AA3","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":"4de523710b827156d728ec990bae9f41e097abc5","datavalue":{"value":{"amount":"+0.8579279","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":"Q357923$DDEB164D-C1BC-4E8E-B64B-3E686C5BCDD0","rank":"normal"},{"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":"9773b3ca29becb8d3ddda92602d92977fc59425b","datavalue":{"value":{"amount":"+0.8564536","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":"Q357923$411AE95C-C4B1-4575-9046-1F9FEA40B6AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm_for_verifying_the_equivalence_of_linear_unary_recursive_programs_on_ordered_semigroup_scales"}}}}}