{"entities":{"Q3866085":{"pageid":5895990,"ns":120,"title":"Item:Q3866085","lastrevid":54567530,"modified":"2026-01-28T17:03:30Z","type":"item","id":"Q3866085","labels":{"en":{"language":"en","value":"A New General Approach to the Theory of the Many\u2010One Equivalence of Decision Problems for Algorithmic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3668573"}},"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":"Q3866085$E3D138D6-41D0-483D-B047-B15AD39BF370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb023fd3abe079d0c53058713401074197f56a5","datavalue":{"value":{"text":"A New General Approach to the Theory of the Many\u2010One Equivalence of Decision Problems for Algorithmic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3866085$3FE23230-186E-4791-8D37-B4851E3EE018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd7b4df8c9014f0f02cc6a47fc3a10ba07327e4c","datavalue":{"value":"0429.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$44022314-A458-4AF6-8BD6-ADC79F6362D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3866085$4EEDB6CC-CE27-411F-9CE3-A520B34BB80D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3866085$AB2AA28A-2B79-45A8-84DB-AB8EE4539F75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3866085$920E0BA2-A821-490D-B555-9B49D2527DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$2314FC85-EEC2-43CC-A042-9B7F254E830D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$E8F5530F-3B99-4782-95A5-6FC09A919038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$56A60001-0C3D-48C8-99D7-BDD1900BBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$F461FEAC-832A-4743-B913-309C479C7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$E80DDEA1-E3BC-42A7-B17F-D3EE51D91126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$E0F4AA98-64D8-40E5-B90C-2BEA1D32A0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$0F4D7189-840D-4B7A-A30C-FC96ADAB1416","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"797818a953986f2c8b17c37394e33652453465ed","datavalue":{"value":"3668573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$DAF5E5E5-0BF8-4425-83AC-D5868F632172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2def1eb9faf8246d628ebefb044a7a036ce857","datavalue":{"value":"algorithmic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$F1F324BE-69FB-400D-819D-D10EC8235D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$193DFCEA-6FCF-4682-A256-7F4D1A494453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddc613e0ca65b3002ddd101f356fa4eb8b17c06","datavalue":{"value":"many-one equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$8E676676-0A8B-4053-A1CA-62C9A71CCF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aab5700fac4760b8abf11c9af2fe6031985cc04","datavalue":{"value":"recursive reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$4FE15682-CC21-441D-879B-F53DF24DF304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f4794de1f9348fe684668489fd2ab25f1f4d6a","datavalue":{"value":"register machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$92BE6A27-7A09-41FB-A9D3-3FC474BBF75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a92cf76388ca9c5de50560c36c21fc6723e516","datavalue":{"value":"Markov algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$7FB559CF-7BC1-44A3-8BDE-55DDAD166DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7fd71c45c3ec574821ea7dae35cee1e6ae176","datavalue":{"value":"semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$F119C0A6-DF8C-4BE4-A522-5CA5CFE88F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$C3FCCFA2-37F0-4CD9-A8AD-0FA7083C23C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"623f4d457c31798598ff20c05d24c01c8cd5955f","datavalue":{"value":"Post normal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$11DE16AC-4A69-47F4-B7E8-A05B99C55EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f97dec6bff53205bf55123a75220dbaed2a75f","datavalue":{"value":"representation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$AFB8E15D-E11F-48D2-B2F1-C837CB9452D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ce310c2b5b5020b5142af815a313da7b34fc6b","datavalue":{"value":"partial implicational propositional calculus in two variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$1D7BF23B-4EC0-4A7C-B08D-049240DC9AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8878a7934879be139bb80c3ae77042c630f0771","datavalue":{"value":"word problem of Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$BAA0F829-21AB-48E9-8B13-1A0F6852E184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9a1c4a139253217bbf8f24b3b65c5c0682d02f","datavalue":{"value":"recursive classes of first-order logical formulae with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$617B1E3F-8DF4-4D96-A745-47FD31E840EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866085$0553B105-5A2A-4085-ADF4-733A43ED5553","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":"Q3866085$91F10380-9AD8-41AB-8114-9735194F64D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0bb3be954e302d2388dd0b6e7ee66a096ef538","datavalue":{"value":"https://doi.org/10.1002/malq.19790250707","type":"string"},"datatype":"url"},"type":"statement","id":"Q3866085$042E8166-12D1-485E-A013-860D30FD6FC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dd74a23be2199718468a978a5edff77941927c3","datavalue":{"value":"W2028126029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$F22B7674-C666-44E1-BCB8-0D4A6EC46C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"592292f0ef07da51c9e7552320936000f281d5b8","datavalue":{"value":"10.1002/MALQ.19790250707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866085$1ACF0BFF-EB54-4D23-8729-B6BD587D246F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3866085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3866085"}}}}}