{"entities":{"Q3773319":{"pageid":5803225,"ns":120,"title":"Item:Q3773319","lastrevid":52085765,"modified":"2026-01-20T22:04:35Z","type":"item","id":"Q3773319","labels":{"en":{"language":"en","value":"Decidable subcases of the equivalence problem for recursive program schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033056"}},"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":"Q3773319$7A356A20-CD63-4D86-9249-BF74B9E80828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09d8ab75f0898fe7015411ccadca55602061fc75","datavalue":{"value":{"text":"Decidable subcases of the equivalence problem for recursive program schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3773319$ED538B1E-CC9C-42E4-974D-F799F74094B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d67a149b5330393d08cbb689264c993c31e16062","datavalue":{"value":"0634.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$06706901-B833-4E45-9D89-E66104ADB8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$C651FCDC-C0A3-47F3-A891-ECFE1402E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$2FE4893B-7B1F-4411-B2FC-A62E883989DC","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":"Q3773319$DE5F7C8D-4A98-43D2-8F94-AE6D3E8D72C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3773319$85D4565B-3024-4A14-8A58-AF781DF986FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80eff688dffc07b89ed6db8cb96bda06d4911465","datavalue":{"value":"https://eudml.org/doc/92287","type":"string"},"datatype":"url"},"type":"statement","id":"Q3773319$A8D29DE6-14EE-493B-AC00-EDDF6D4B8DF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$2B6F3A1F-C739-4BE5-B480-38725DDA903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$2167F4C3-3742-4B42-8ACB-84D4491E6215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c78f9bc8c3002fb39f77410289007dd02accb21a","datavalue":{"value":"4033056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$BE02A612-02DD-4DFA-A073-678D3CBAB376","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773319$436E30AA-7E0E-434D-BFBB-5D7E068A449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773319$25A180FD-EA9C-4226-B59A-AB1F31D7A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7008e8c3b0c78ec8ee38db66fe1dc38415235921","datavalue":{"value":"polyadic recursive schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773319$898EB4A7-D65C-478B-9D53-9705873C5A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8742bca698a881433279e3e78dd39e5a21a3dc","datavalue":{"value":"deterministic push-down automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773319$AD2B396C-D09D-4641-8CF0-E223F0A4C030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773319$17EF6960-6401-47C2-BD74-E491CA431505","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":"Q3773319$A55BE78C-0721-4FB7-9823-E6071AC47641","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"615703321e0f671cb3ca03475b528c32b26a5ff1","datavalue":{"value":"W120038171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$AFD364E1-1ABA-49D4-919D-2136E82974F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$05F675B7-188A-481C-BDD1-6460A3405E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e53b524783342ef77e9ab35eb1d97ad2f84d98","datavalue":{"value":{"entity-type":"item","numeric-id":3727408,"id":"Q3727408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$81EC888F-A8A4-4F4E-A35B-E44A44B52404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc94892434143ca76461e4c7d3f378a2a29e97f","datavalue":{"value":{"entity-type":"item","numeric-id":4141220,"id":"Q4141220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$2E3ECF4D-1B2A-4620-AC0A-FCD4B561731A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583fc00d1fe73786a69f9291791be750d1c45cd","datavalue":{"value":{"entity-type":"item","numeric-id":1246271,"id":"Q1246271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$208EB44D-ABEF-4CFF-9E5F-8D52877E5AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f527d72b96c9481541844d5a6ff6f3274415d596","datavalue":{"value":{"entity-type":"item","numeric-id":1137390,"id":"Q1137390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$1E7A195C-00F7-47ED-9CBE-AF24E27571E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed064d2aa1673b15586d1589ade04e39cc9ec0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1232171,"id":"Q1232171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$85C76243-CAE0-43A0-B759-69B7FE1ABD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$C3423550-A0A6-44A0-ACF4-7A6B0B2CF12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74feebd6aeb7b6a39ed2486078ddf173d7310a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241985,"id":"Q1241985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$B72E2B78-2B4B-45ED-8FC0-C269F26C7BA8","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":"Q3773319$D105B8CE-6697-46CE-94D8-46AB793E8008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47eda8706272aab1d3b8f9dffef8b9da1b3e0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1158965,"id":"Q1158965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$C9783C23-F228-4045-84F3-CD94C13D1AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cda73737862ae25acf95e82a813fd5a18542be","datavalue":{"value":{"entity-type":"item","numeric-id":5525346,"id":"Q5525346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$10C03B2C-45BB-4691-BCB4-214400468070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$239A5A32-17FD-4809-B2C9-856874278B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$5FD2C86A-0BD7-4BC3-808C-6E021C0F07DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$A9158FF8-2B58-4827-A7F6-D35FB81AE8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$0DAFD2A0-1AF8-4C92-9C6F-E9023658DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff8b19dadebd5e3dfb4db8cb0e80dde8d233cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5684249,"id":"Q5684249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$B923CE3F-3E49-4F74-8CD2-682A79C25F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b510e9c2e4788a1a257024cb68c915630bf6900","datavalue":{"value":{"entity-type":"item","numeric-id":4050185,"id":"Q4050185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$F2AF12AF-6D38-497E-A914-F183121D6363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$88C0DE84-88B1-4E60-9EA9-EE74CB8893CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df000af455f92229092d2f091c1587b6080cf496","datavalue":{"value":{"entity-type":"item","numeric-id":4174788,"id":"Q4174788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$CC17C441-3145-4AB7-B685-B21957E9D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f655404f5019528c0ff6f0cb07a94b157182d6db","datavalue":{"value":{"entity-type":"item","numeric-id":1158757,"id":"Q1158757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$3E56F532-5000-4E16-A9B2-416247821C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d79a54e9d8e3f1095414b960fce7b5a319c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$FD0E2FC3-128E-4CE7-BB4B-2D63DC1394E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773319$8EA8E8F9-91F4-41A5-92CC-3035DC9AD6F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9c56786bc4ad897a70f1bed92343c012eecc573","datavalue":{"value":"10.1051/ITA/1987210302451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773319$17B0E26C-0898-4BFA-8065-2819B43E4527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d85bb8599979d06fc1d25092e2c7753143ffc85","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2732e88a25755128c077d1a795ac2e5532ee8e","datavalue":{"value":{"amount":"+0.808948814868927","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":"Q3773319$A804A19C-7A07-47B1-A5B3-A934700D9D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce4e8da4113540ca53f3d85bcb8424000dde90","datavalue":{"value":{"entity-type":"item","numeric-id":2753669,"id":"Q2753669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2494d270eb61ea371aed160bd9baadc68dab85f","datavalue":{"value":{"amount":"+0.803277313709259","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":"Q3773319$1C6EC136-F279-43C4-9A70-6EF2CB971A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0933bcff42ee2f9a266beb5c67870d22cb096","datavalue":{"value":{"entity-type":"item","numeric-id":4474205,"id":"Q4474205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2494d270eb61ea371aed160bd9baadc68dab85f","datavalue":{"value":{"amount":"+0.803277313709259","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":"Q3773319$9F82FFE8-99FE-4070-97FF-6AD3CCB61D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a377e916cda9b2083b2bec4752a8f7c95efafaf6","datavalue":{"value":{"amount":"+0.799444854259491","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":"Q3773319$3AB5205F-A5D9-4D08-852B-F6D3B763D84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7474deaf010284a6123f19247aeda7fdc6a5ede","datavalue":{"value":{"entity-type":"item","numeric-id":4529994,"id":"Q4529994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da4959430fa5cff8383a406d40974fe3ad80754","datavalue":{"value":{"amount":"+0.7905102372169495","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":"Q3773319$B3E6E38C-BFB1-45C1-9200-AA6204304BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773319"}}}}}