{"entities":{"Q4205083":{"pageid":6234684,"ns":120,"title":"Item:Q4205083","lastrevid":49330486,"modified":"2026-01-06T23:41:50Z","type":"item","id":"Q4205083","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4125019"}},"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":"Q4205083$386C0BDD-C451-411D-B947-7A25F0D20746","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452023c9f52234c6328e63760f3817654405be71","datavalue":{"value":"0686.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$EF8E49F5-3D02-48B6-ACE4-6F9D12ABEBCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205083$03BCAB46-EE5C-4F07-95B8-7D43B1B55EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205083$C39FF1CD-18C0-4A1E-922E-F333B974E7E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4205083$7B967CE0-9490-42DE-8C5E-D7DAB222CEFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$A58C947D-CD19-40F7-82C1-0D73B81D74A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$5689D99E-6F58-4E92-8D0F-6D84DD30966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$CE50CDD3-B12E-41DF-8736-A102901FB19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$8FA774F6-6786-4231-BEC5-1B04E29277C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$678EBF54-4B24-40AC-8524-98EDE2661124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9918eb8252fa914dc38a582bfb972773fc15fa","datavalue":{"value":"4125019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205083$6877193A-7CA7-42DC-93FC-97F99933F67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205083$FFD0C067-ABC6-4BAB-8400-4E02416DC49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205083$C528532D-47E4-4E94-A92D-6D936E41FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0539a8123e00b2a1e17e647d0b7517687866f67","datavalue":{"value":"Horn clause computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205083$7882A219-E1C1-41DB-B18B-2FCAD2118E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7baeca7d9e2f25743b271690952e12b1b5f394","datavalue":{"value":"Generalized Church-Turing Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205083$C2857F4B-5F19-462E-9194-DA5FD2A56186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205083$98AC3294-9235-4813-9989-BA4A6556E7D6","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":"Q4205083$1BAA6E94-D64F-4E60-88E4-09A059249A8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79960c67441c0801e9a93b87e74062f60af9e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3992226,"id":"Q3992226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cee32bb6b8ecd5285be70d0831dbafa58451cc9","datavalue":{"value":{"amount":"+0.8745157122612","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":"Q4205083$6953EA44-C616-4420-BEF5-5DDE6CF2095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed700cd70fec831718e2475b7391b61f9dc31ef","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e900a2d22c951e8c886bd0472d1f3d774697b1b","datavalue":{"value":{"amount":"+0.8142591714859009","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":"Q4205083$D5EB1444-A992-47A2-84AD-396251A5E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170b70c5fd12600468aea0c0d8cd4aa0dde8c11f","datavalue":{"value":{"amount":"+0.7858099341392517","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":"Q4205083$5DD107F2-A237-4E85-9C0F-1EA636AEC3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05db21ef05e0a8a5bbdb9ae445b6e970ec6dd2f1","datavalue":{"value":{"entity-type":"item","numeric-id":3365443,"id":"Q3365443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170b70c5fd12600468aea0c0d8cd4aa0dde8c11f","datavalue":{"value":{"amount":"+0.7858099341392517","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":"Q4205083$D8BA3FD7-BF73-4049-83EB-790ABBFE328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6f7e986eb5b80a7a848e5f0c513006c866aa00","datavalue":{"value":{"entity-type":"item","numeric-id":5738956,"id":"Q5738956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0badcd1fa2ddf936e9431a823e0a4175c36ee65b","datavalue":{"value":{"amount":"+0.7742160558700562","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":"Q4205083$38F329E8-DC8E-4C5F-8C28-235484F8CC48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4205083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4205083"}}}}}