{"entities":{"Q1057649":{"pageid":1059497,"ns":120,"title":"Item:Q1057649","lastrevid":66050388,"modified":"2026-04-12T07:12:07Z","type":"item","id":"Q1057649","labels":{"en":{"language":"en","value":"An inductive number-theoretic characterization of NP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898240"}},"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":"Q1057649$DA5D722F-6106-4689-A244-932F985D63CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac6c3acd18b597b77867adc5529956e00daeef12","datavalue":{"value":{"text":"An inductive number-theoretic characterization of NP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057649$C8610CC8-8402-4E84-9CF3-07D6984A8221","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a09d7451601ef081695c1eb6ef50d514d5caa63","datavalue":{"value":"0563.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$0F8D62FF-35EA-428F-AF34-D024BEED918E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85a7c52f17ba116182c1ff89eb150c6912042453","datavalue":{"value":"10.1016/0020-0190(84)90060-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$E5A01CB0-28FC-4412-9A5C-AED2FEE3229C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057649$0C007290-3FA2-4292-AD45-25EC89F1376F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057649$E842C0B7-B8EE-4E6C-87AE-71B79B911E1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1057649$32366C8B-E0BD-40A3-A637-DC5857161EF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f151f1c6a4925be2f652da65dd0efebc3da4c263","datavalue":{"value":"It is shown that NP equals the closure of \\(\\lambda xyz.z=x^*y\\) \\((^*\\) denotes concatenation of numbers in m-adic notation) under \\(\\bigvee,\\&,(\\forall x)_{Py},(\\exists x)_{Py},(\\exists x)_{\\leq y}\\), explicit transformation and substitution of \\(\\lambda xy.x^{| y|}\\) for a variable, where \\(| |\\) denotes m-adic length.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057649$0AE80462-BE66-46D8-B498-2A5BE85A4EB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$CE633EB7-BD56-40AE-AF82-BFEE6C9A9463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$BDE26BC7-73A2-4428-AF11-0546F8008A3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c3a719b48fb3572cc2b0e396970779fa2d51f7","datavalue":{"value":"3898240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$D19F9594-A603-42E4-83A4-53644DB26CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff119b4c9d4e6f118bef06f719408601a1230ab0","datavalue":{"value":"rudimentary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057649$F51E6330-53FC-47C0-89EB-D77F91BBD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057649$E159AA45-67D2-4895-BDA6-5FE72A0E6263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0838254da2911321022f08c2128f8bbee15d15a2","datavalue":{"value":"concatenation of numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057649$E1B0D738-0D73-4CF6-97EE-B25EBD83C61D","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":"Q1057649$77F88323-D3AF-403A-BD40-EFB95D8CBFC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0c425c29edbc524a488b0fb21554d74fba51129","datavalue":{"value":"https://doi.org/10.1016/0020-0190(84)90060-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1057649$FED06BF5-7357-4847-B081-60222BEFCE6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9852d91005b9eb24f1c63817f0c35c22207f55f","datavalue":{"value":"W2040734056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057649$3E8C9BB2-C80A-4ECF-AE94-448ECF32DC26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057649$A7135D6A-AA46-4793-9CA1-2E8E276AF52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7051ae1a6ebca1603687f3e04fd026d7544a898","datavalue":{"value":{"entity-type":"item","numeric-id":3698786,"id":"Q3698786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057649$0231FB69-CB4D-4117-AF21-7D5A11CF6397","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4559ded1282ace32d571247ea57d3d2c06177a7","datavalue":{"value":{"entity-type":"item","numeric-id":639668,"id":"Q639668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bbe6ba17c58552664ffebf7a2122ad6e7e0bf7","datavalue":{"value":{"amount":"+0.7596493363380432","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":"Q1057649$4EC9E786-13A6-416B-A411-A1F0A72D36C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d2e1980f977dae247aac621797c3fe1870caf3","datavalue":{"value":{"entity-type":"item","numeric-id":3682473,"id":"Q3682473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745321c5ef85ef8f3df6f85c416e3299b94f4c41","datavalue":{"value":{"amount":"+0.7431410551071167","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":"Q1057649$63F7D7BD-9685-4BA3-AF37-2DF2F2E4178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207bbe740ad1d5589dda67e7394a20476b9ff928","datavalue":{"value":{"entity-type":"item","numeric-id":3703297,"id":"Q3703297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3babaaa6c03405d141b25fc8a80516475cc3ca0a","datavalue":{"value":{"amount":"+0.7178657650947571","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":"Q1057649$1629FD1D-1CB7-46FC-AF1D-36158FD5477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcda242f28755549da9da9388b50a4b79f555a","datavalue":{"value":{"entity-type":"item","numeric-id":3741055,"id":"Q3741055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d64319188b012a3af4b49552ec4fc073f06c492","datavalue":{"value":{"amount":"+0.7008342742919922","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":"Q1057649$B49909E8-6A48-4174-95BF-7DB4BEC0F758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294f2345e80473dfe04b6244cc182daa017cbb57","datavalue":{"value":{"entity-type":"item","numeric-id":3800017,"id":"Q3800017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4681d83c711bae7e68f289eb13eb673c079f734e","datavalue":{"value":{"amount":"+0.6997963786125183","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":"Q1057649$B1899758-9FD9-4867-AC71-4CBD178DD893","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inductive number-theoretic characterization of NP","badges":[]}}}}}