{"entities":{"Q808245":{"pageid":810093,"ns":120,"title":"Item:Q808245","lastrevid":64488216,"modified":"2026-04-11T20:13:07Z","type":"item","id":"Q808245","labels":{"en":{"language":"en","value":"On total functions, existence theorems and computational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4209585"}},"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":"Q808245$796D79FD-A046-4820-BB74-377705319208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cba9cad17880911fde49442f4dd2212b36615b2","datavalue":{"value":{"text":"On total functions, existence theorems and computational complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808245$BDB2D09B-FD71-4303-B722-CA187C1A0C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02169b77cb0a64e440292017d430cf85ed6c3dc5","datavalue":{"value":"0731.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808245$8AF95B43-F1D3-4EF3-AC85-D9DD5A6D5DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c78750ba8c1e74133e1a496e4331e1e54223672","datavalue":{"value":"10.1016/0304-3975(91)90200-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808245$39509FBA-72DF-4387-95AF-71FEB7717EB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be690050f94666bf6766a43de05350885a6401a1","datavalue":{"value":{"entity-type":"item","numeric-id":613423,"id":"Q613423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$A1FC24B5-FF07-4AF6-9FDC-E2A480A3810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$3C973B5C-A6F0-4182-83DC-4740B2D3E0FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$E2284EE1-767F-4FE2-9098-FA436DDAD577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q808245$AAFA5782-DF94-40C9-B5FB-EB9BF29934D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808245$2856531B-483D-4362-A4F4-DB560BB85277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808245$CB122F8E-2AEC-482E-A818-563BC9D1B5F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04bceed3d399915bd157c0622fe422c8e21d5ef6","datavalue":{"value":"4209585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808245$03DF22A3-B2B5-4C6C-8633-2B2759686C66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf9b66607f42a6f250e07a4ef3af8538c303d25","datavalue":{"value":"total functions from NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q808245$5CB2DF07-01F0-497C-B659-6853C0B390BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e06480081810a5de939ead1194ef216055f9a1","datavalue":{"value":"Nondeterministic multivalued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q808245$DA59EECA-8D38-45D4-9386-49C6A09D3481","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":"Q808245$EF5C07A8-F69D-41B5-A2A8-918EC884BBEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e2c5246172b5aa8717d5936f7b97d7076bc110","datavalue":{"value":{"entity-type":"item","numeric-id":3941433,"id":"Q3941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$3E93CFE0-BB20-4EE9-9744-D73774D51ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9556b07decab54f0004fc47b4383cad55a1de3f","datavalue":{"value":{"entity-type":"item","numeric-id":2527120,"id":"Q2527120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$0C973BDE-BAD6-47CE-A58B-8D43BC9ABBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e5bd18b456670d066598f219d6e5b72a14a969","datavalue":{"value":{"entity-type":"item","numeric-id":1191824,"id":"Q1191824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$2679A4C0-234E-450A-873B-B13DF63288E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$92EBB57B-B1C0-44F5-8BEE-B36128EC3FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2a1fd947a97ca682bd2c95d18f80fb26ddc59a","datavalue":{"value":{"entity-type":"item","numeric-id":1196718,"id":"Q1196718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$250D5B85-3013-4F53-B8D0-D5E5309FDD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4595ce32dc37d8c51890a63e450951bcc0f15d0a","datavalue":{"value":{"entity-type":"item","numeric-id":3989816,"id":"Q3989816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$71B66803-78DC-4B20-9717-860DDD0640AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538de0152ebdec9732d0f9cf12c3446215cdfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":5514161,"id":"Q5514161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$369F8326-D363-49C8-BE13-67C8F2BDD258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbbe3ac3158330a6990b58a9a558d77085ad86b","datavalue":{"value":{"entity-type":"item","numeric-id":4039868,"id":"Q4039868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$EF409716-A10A-4939-9EFB-1CC69EC385EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3ef38ef005c69e7bd0fea842b7da511c1842a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077450,"id":"Q4077450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$9C8B6EF7-55C9-4B5A-A0B9-39353B369095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aff975eccecff8ea8e44d6f9771213807b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4016908,"id":"Q4016908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$C42B255F-36A5-4F0E-B981-4B088E08F6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e99c57ce868200fab8600503bb63ff57b9c656d","datavalue":{"value":{"entity-type":"item","numeric-id":5728041,"id":"Q5728041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$7A04B884-CA1F-40C1-BBED-0A8574D4D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fdeac57e6ae30181fb2db5f7f4e10e134e5670","datavalue":{"value":{"entity-type":"item","numeric-id":1232181,"id":"Q1232181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808245$13251EE1-0314-4460-9FED-F6910BDD3DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af5ca757c25c8db274e3ccec3fdcbe2899f8c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1745728,"id":"Q1745728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1d517c1f84e828fe72fcef3331462d10aa9305","datavalue":{"value":{"amount":"+0.8335241079330444","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":"Q808245$EEF3CC29-0FE2-40E4-86F1-DB7CEFA86B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb3399cb60d0ec1eb6652df66844c4f06f12ed","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f419fc72792842eb6bafc5b52924177fc39809","datavalue":{"value":{"amount":"+0.8318946361541748","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":"Q808245$4ABE7745-0A74-422A-BA7F-408E5CA47E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f815916addb275b16970a4479fbfdc3a0200409","datavalue":{"value":{"entity-type":"item","numeric-id":1893076,"id":"Q1893076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7f986684b4000abf5a43dc337c97ed90b9a545","datavalue":{"value":{"amount":"+0.8286656141281128","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":"Q808245$A0B7F486-7C87-4B80-A771-5400F8A93D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef819654a8b43c010dd6c6be56a2056fe3ae1db9","datavalue":{"value":{"entity-type":"item","numeric-id":4993302,"id":"Q4993302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3099b5724fdd3d47779486db800eac93d76ee4e9","datavalue":{"value":{"amount":"+0.8132559061050415","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":"Q808245$F23D1F1A-F0CC-4165-986C-B7526D715962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09aca1b897ecacd7ebdd06fa0620f7cfa1d08f7","datavalue":{"value":{"entity-type":"item","numeric-id":3068643,"id":"Q3068643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442232bd35227d9779c79085e28c41073cf20938","datavalue":{"value":{"amount":"+0.8132553696632385","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":"Q808245$E28A2364-3C38-43DC-8DA6-82C532237E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On total functions, existence theorems and computational complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_total_functions,_existence_theorems_and_computational_complexity"}}}}}