{"entities":{"Q4508638":{"pageid":6538231,"ns":120,"title":"Item:Q4508638","lastrevid":97256615,"modified":"2026-06-05T13:43:49Z","type":"item","id":"Q4508638","labels":{"en":{"language":"en","value":"On the Decidability of the Equivalence Problem for Monadic Recursive Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513015"}},"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":"Q4508638$BAB725F1-F193-42CB-A7D9-2FFE157954EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"482f3f94c2f034b8c9ba28e195399a4c36dbe447","datavalue":{"value":{"text":"On the Decidability of the Equivalence Problem for Monadic Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508638$AF190EA6-8781-4FBF-9638-AD22C4982BB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c245eca17f99d15f7934f456cac197104fa1ab4","datavalue":{"value":"0962.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508638$AE9A2D9A-674C-4835-9BEC-20B7E461A607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$326AAD2C-40D2-4BB8-A3AD-1B1A58C7B4B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508638$7C64019F-6AA6-47E6-A12B-96DE5FF271F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5c320406fd662e633b3c215f9cde1a138622c84","datavalue":{"value":"https://eudml.org/doc/222080","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508638$CC8F9CC2-228A-4896-906D-55624A396B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"086b84d0c73695603dafaca45e31a695d2b8bbad","datavalue":{"value":"https://semanticscholar.org/paper/ad9d66164bee511fdc10f1717d665d40a6a598c8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508638$2384BB8C-7711-458F-BFB5-B3B2ADE6ECE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508638$9F0FC94D-6607-4C29-A995-529ACFB946EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bccaf218b503d2f8adc605d742f211addc61bfc8","datavalue":{"value":"1513015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508638$3A81DE8A-6B98-495D-8BBE-6092DF8DFB40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac910c73430fa5c5444ec560dd42acc7b81eaae2","datavalue":{"value":"deterministic monadic linear recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508638$4BA0ACB3-4F2A-44CD-A893-7D7DBD296135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$3FD46532-825B-4D55-B9D2-41F737DB29B9","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":"Q4508638$FF7A1678-2B58-41CC-AF48-9F516835CBA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcbe1014b3a30037cfc64548eaa937520820c9e0","datavalue":{"value":"W2077330640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508638$E7D30F8A-1907-4180-9CF9-83CAACD45DBF","rank":"normal"}],"P223":[{"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":"Q4508638$227BA137-5806-4861-BE47-1B70E8AC819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$BF9E148B-2EF0-4811-95C9-72D8FBD5A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff7e072a4c7f53f3bc24f79973b0257c1b7a61e","datavalue":{"value":{"entity-type":"item","numeric-id":3813316,"id":"Q3813316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$D20AC69F-F76A-4FE4-8908-99ECED81ECDD","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":"Q4508638$D916CB29-00C4-4BC8-825D-77AFF38481BA","rank":"normal"},{"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":"Q4508638$820897D3-43CB-4714-8362-066E8EA83CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff5e5ed9a47676d1f71c039408d4e7152ada392","datavalue":{"value":{"entity-type":"item","numeric-id":3912019,"id":"Q3912019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$0E26C0C1-286C-4B2B-BDD9-5965B368F816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a92f45363c3ae0e6efa2126d5098c043e8f28f7","datavalue":{"value":{"entity-type":"item","numeric-id":3766814,"id":"Q3766814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$2512603B-1B3F-4108-86CE-68BA41D66F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$FA55BA56-0751-413F-A750-A23F630411A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$83904711-5998-41C2-B088-3975FE6DEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$E1A6A8A7-9444-4EC7-B4DA-B2BEBBAB4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec024039d0711b454a38dc35d8131b4a871843ef","datavalue":{"value":{"entity-type":"item","numeric-id":4818837,"id":"Q4818837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$AD10DCE8-D1ED-43A1-9423-5E1E99F13210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$BF505142-6FD5-4DC1-9004-319EA332C296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$020D83AE-F35E-40AB-8890-C1E786171F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda427bf3691d6d17e30eb998c33bad84c6e4597","datavalue":{"value":{"entity-type":"item","numeric-id":5732102,"id":"Q5732102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$B2B6CE15-CAFC-4578-9DB3-6852EAFD19CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d81b3779271358fea4fdbe3911005cfad6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":912596,"id":"Q912596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$CD86410B-99F4-454F-937B-84DC40251EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6cdf0d3ee21267b106f16a8288b116398b1ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1162152,"id":"Q1162152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$9BA3B68D-AF9F-474E-B627-6C406B2938F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5ec48a7b899135d2776088741ccdb02fc393e","datavalue":{"value":{"entity-type":"item","numeric-id":1894681,"id":"Q1894681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$54770E8F-5239-4D6A-99E6-91D8020C6C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$5DAA2C10-BA3F-4297-99A5-D36F63DB5AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d3b2bf9b35de0a1131318da886f8a8d3efeb15","datavalue":{"value":{"entity-type":"item","numeric-id":3247440,"id":"Q3247440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508638$8B3A130C-7046-47B4-8F9E-830F1D2F3BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4525feea8c8bd7a5c03d56b7ae465807f287f2f4","datavalue":{"value":"10.1051/ITA:2000112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508638$780DDA1E-613E-4938-B62E-9462514CEAB6","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":"eb045cdb110f006ab40fb0a99ec6d20c654f72e4","datavalue":{"value":{"amount":"+0.8270896077156067","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":"Q4508638$D7E7640F-5EF7-4975-AE27-37F25B144AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfd25a90f76d69f7dfb65b5a83bd48f204e87ad","datavalue":{"value":{"entity-type":"item","numeric-id":2939010,"id":"Q2939010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abe61e193c2ce745d289a8e06c138862003fcc2","datavalue":{"value":{"amount":"+0.8145325779914856","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":"Q4508638$70D80C19-A8D9-499E-9E2F-5F6CA843359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb3fac4457df58b48204581c8c5353bdeb720e4","datavalue":{"value":{"entity-type":"item","numeric-id":357923,"id":"Q357923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53ec1329303d0dda02961ab6dbc2d4267f75db7","datavalue":{"value":{"amount":"+0.7933611869812012","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":"Q4508638$BB92C1F2-15FD-4371-AB6F-3B33042B265D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3961881daedb1be6dbd20244f964d63eb204b8","datavalue":{"value":{"entity-type":"item","numeric-id":3773319,"id":"Q3773319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f342a1dec9a774b0d0d74dcd7ac5c9ef67a9a16","datavalue":{"value":{"amount":"+0.7820590138435364","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":"Q4508638$1CFCF4E7-FD2D-4D09-A3AA-1A97B1A959D3","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":"53ee7fef8cd70da5ce95d1f1f449baf9743dfb09","datavalue":{"value":{"amount":"+0.7753660082817078","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":"Q4508638$DD3B5133-0404-4485-ABF3-78210BD6F06F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Decidability of the Equivalence Problem for Monadic Recursive Programs","badges":[]}}}}}