{"entities":{"Q1051428":{"pageid":1053276,"ns":120,"title":"Item:Q1051428","lastrevid":69720702,"modified":"2026-04-13T08:56:44Z","type":"item","id":"Q1051428","labels":{"en":{"language":"en","value":"A view of computability on term algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3812961"}},"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":"Q1051428$192A9247-8A29-4A92-9515-CBCB13EEDC5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"835bd73f9be4406056aa28b7c2a6b27d06596ac8","datavalue":{"value":{"text":"A view of computability on term algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1051428$1A6E2838-65F1-467D-8F22-CB60A5668804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc05ebec723cae2d47a7b0ccf92bb626b4e19100","datavalue":{"value":"0514.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051428$5418CA49-D1F2-413C-BA73-0974BB680760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e87c686a4ea26b81118cee04c93896d04cefadc","datavalue":{"value":"10.1016/0022-0000(83)90008-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051428$22AD97F2-C8FB-4BEE-8F85-DEAB2127557B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd6fdceed74f0eee3649031585ea7dc277baa4a","datavalue":{"value":{"entity-type":"item","numeric-id":761748,"id":"Q761748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$31E799C4-B090-4410-8C2F-D84E7C95C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"583de4124f15c247a9500773af92fb0a2a754160","datavalue":{"value":{"entity-type":"item","numeric-id":1051426,"id":"Q1051426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$5DF3FCBF-5140-486E-B6C0-C3F6CA947150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4f7a3e43e2373442571d8f585ff428c543144a4","datavalue":{"value":{"entity-type":"item","numeric-id":1051427,"id":"Q1051427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$0E917CAB-E23F-43E9-BF07-C65F31C5B7D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$9C3D0CD0-0A25-4EE4-933C-D8B775C02F96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1051428$D7CE1611-870A-471A-926B-D2BDD99778B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051428$9208EEEF-99CA-41AC-A9D5-05E890D62CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7df062701a18d01152a96566a056fd3e0c097e1","datavalue":{"value":"3812961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051428$3F255DAD-FDB7-486F-B713-439608DC89B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c948178d0808e3fb03859b6fca5e7cb82c212e67","datavalue":{"value":"computational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$6F92E5A9-E9AE-4E97-9ABE-DFFC2D07652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$9F405778-2860-41F3-926C-A49206339B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$F4B9CF7E-66FA-41C2-8597-92C376716259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b7f24788b45ca8fa2721f3d75165f51cb409ef","datavalue":{"value":"finite binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$B3C0EA84-2072-4B48-AB83-D8C96E5C5F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7051a28ad36e5100a07c69eff07a493c97a69","datavalue":{"value":"LISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$00B6CA6D-06CC-4C62-8B89-D195C670189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$3B0118F8-03DA-4030-B4FB-267FF63F544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051428$8CD16800-6972-4FE6-906B-B86D46126E28","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":"Q1051428$55DDEA37-33DF-4E3A-AFC6-F45AA4B74BD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"654b2ffe7fc9b56ce4056b54a804c9c6df164172","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90008-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1051428$88A8C686-AF23-4655-9D4D-A09CEDC062E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0640ac31d845b53f93a6923173911f2a1cf6a26c","datavalue":{"value":"W2019794090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051428$0A00892A-7266-4F5A-BA08-0E8E1044D840","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f65e2c0e5569766f713b06731c3a4efec50e40","datavalue":{"value":{"entity-type":"item","numeric-id":5719494,"id":"Q5719494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$CAC82808-17A0-41BC-8D65-03B95A6057D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d84bc52ac0b6ae327590eeb6d0b17cd5b2dfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3855168,"id":"Q3855168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$0CD42DD8-92BC-4F7F-BFA4-9F5E76AF9A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af07ed634de9f51b7e6d766af2f375d106b19e1","datavalue":{"value":{"entity-type":"item","numeric-id":5737082,"id":"Q5737082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$4F1D934A-A658-42F9-9283-B1BD2E56A496","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":"Q1051428$C3CE9018-ACA2-4645-A6E6-15DEEFBE225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6da331e810a932dbfb0f056c5c8b01e6d9d2c37","datavalue":{"value":{"entity-type":"item","numeric-id":4127984,"id":"Q4127984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$0BCCB8C2-266D-4623-96CF-0FC1ED70D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$E67F74BA-84FA-4586-A7EB-611C37DE5D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$4D7E00FD-47F2-4792-A704-4B51C84B6C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8528e1f4f082d8f3a7c4c87b3334f87e15a45ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4055171,"id":"Q4055171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$65EAB928-31E7-4A85-A1F7-05555FC2F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e876a74df4c5afd434282460ace786203847bd5c","datavalue":{"value":{"entity-type":"item","numeric-id":4131020,"id":"Q4131020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$1F12D9DB-D025-4841-B572-7C6E82E9E21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c15dbb5ead0de21da0135759d207f2e598bd1be","datavalue":{"value":{"entity-type":"item","numeric-id":5623672,"id":"Q5623672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$48B33FDA-2DDF-42BF-B735-35D0B36E2DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$194F9A48-3E01-49D7-BBEC-BC28CC3220DE","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":"Q1051428$BC24E441-FB54-48D3-9BD1-EC864835BFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea543bac8e8888c498dbda7a65973d22168e1c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1151750,"id":"Q1151750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$D67FDBC4-90DC-4B29-A7D9-033CB76F4870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f748fd00b0db98771d085f7c976c3b27f2ef7470","datavalue":{"value":{"entity-type":"item","numeric-id":3928239,"id":"Q3928239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$E3825256-CD8A-4DDF-9399-A1A3CC92FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$7A9446CB-5923-4504-B0BE-D9372F99047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$126189A6-1134-4AC3-929E-3A1BF480FCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$3A58FD0C-E6A6-48E7-8FB4-D8119A4EA818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$312B4F73-C9C5-4186-9FF7-93891DD6B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7091303a5936a3d2add9212809debc0350ec7c45","datavalue":{"value":{"entity-type":"item","numeric-id":4185781,"id":"Q4185781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$257F49BD-B728-4E82-8ABF-3E0BCF55DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$8D767CDA-A29C-46C9-8937-E98B9FF036A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f99fc0604c1edf1b44f83c3b9538e477322458c","datavalue":{"value":{"entity-type":"item","numeric-id":4143082,"id":"Q4143082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$E733BDBC-810B-4334-8A36-D2A8F7A56EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9a1e50831b9a5cd08a6a33132a8100644040a3","datavalue":{"value":{"entity-type":"item","numeric-id":3947137,"id":"Q3947137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$DB3F4094-5930-4051-A70E-FFCD4B59417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d40262e40546fb7378a636362fb0921a73dfd59","datavalue":{"value":{"entity-type":"item","numeric-id":5835096,"id":"Q5835096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$CAABB1A0-75F9-434D-81B0-8462F5CCDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$CDB86172-6D1E-4D68-8D31-C75656500B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$CF4350AD-200F-4744-8B7B-045240683A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$0F293A06-2F6E-46E5-AC01-CA574966A879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$8FEE195B-1C7F-4620-B644-40FF3C0AE2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$4D5C8D46-6D15-490F-A796-A741360E94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d3cd96fd4ad92cecf31ed20f361a790694b8e9","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$47C4F810-0835-4ED3-BA2E-4E23796E3BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc5868a200717d03b4edcd9321fd34a55daf668","datavalue":{"value":{"entity-type":"item","numeric-id":4091436,"id":"Q4091436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$03566D75-C19A-4C70-BCE6-10137CF19BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f38f8d83c5d0ae69e89eb682e129720a43deae","datavalue":{"value":{"entity-type":"item","numeric-id":5668779,"id":"Q5668779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1051428$22C80F24-A90E-42E2-8D7C-9BD4ECB4AE37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A view of computability on term algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_view_of_computability_on_term_algebras"}}}}}