{"entities":{"Q2740983":{"pageid":2751722,"ns":120,"title":"Item:Q2740983","lastrevid":47665393,"modified":"2026-01-02T09:18:24Z","type":"item","id":"Q2740983","labels":{"en":{"language":"en","value":"Automated complexity analysis of Nuprl extracted programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642195"}},"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":"Q2740983$CF167406-B473-4E7D-AC9C-3579E80FB27A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd570ce19a720f365c30df5f49423efde75ca46d","datavalue":{"value":{"text":"Automated complexity analysis of Nuprl extracted programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740983$567C62FC-044F-4A18-8491-186253EE6476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"990afcf1af9c8e1cd753e4cdb865a4485ba116ad","datavalue":{"value":"0987.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740983$16A7D09A-25F2-4CFE-A5C4-C35DABFD89A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b88cd086705d011a89035aa75de47d3cf31bc95","datavalue":{"value":"10.1017/S0956796800003865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740983$84F5312D-3959-4652-8CC1-7EE997CD4F40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527eb1b95c20c7df4e98fc29a45cb74f2a3bcf07","datavalue":{"value":{"entity-type":"item","numeric-id":1827391,"id":"Q1827391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740983$66E73C0A-A59F-495F-B4F3-AD546FA8E346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740983$0DDAD25C-3083-4C4A-B823-F61BFC730417","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec0d1f7b256dd154235761701ce51cccce41ab1","datavalue":{"value":{"time":"+2002-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740983$DF0B5731-F8D8-48E8-9D38-745EE4BC42AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740983$EB4AA4C1-1088-4CAF-B6CB-495ECA9B3524","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78248cb71f70b687bbb00c345b274733fe19e2d6","datavalue":{"value":"1642195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740983$6C6DC7CB-9796-4784-8F96-D99FEA19B0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb682f0da870296212e6f7f2775d3933568ebb6","datavalue":{"value":"automated complexity analysis prototype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740983$DE09E26E-3326-40F3-8782-B95C1FFA87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c5825ebc8b96556025ebdd6f5e67a4fb03a05b8","datavalue":{"value":"symbolic evaluation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740983$25DD6642-4EBD-43AC-BEBD-6D5A21763C29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740983$DDADE492-6CA7-42F0-98EF-AE5B6333E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740983$72EBD855-7D8C-441F-8C6E-01B359DE5D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740983$D7375B11-633D-4BF4-B8CC-8D280B818732","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":"Q2740983$A080696A-4650-4A51-9E40-5CF8FFE21069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce505f9754c3baba0e930b4c1c1e51d6b14bf8c","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12431441f5901d2f316a250f7d5070b66272747d","datavalue":{"value":{"amount":"+0.8405843377113342","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":"Q2740983$327EAB0F-555B-45D0-AEFD-8D3932AD7513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4570e91d20fbdb6fff2c47cc37373e3cce529e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7860d5e3745e7c9c547edae82cc625408fdde958","datavalue":{"value":{"amount":"+0.7471514344215393","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":"Q2740983$38932A2E-3B3A-4099-8D74-9EAE3A2C31E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ce7408ebe9c4f82ebcccba787dba6f4ad2d28f","datavalue":{"value":{"entity-type":"item","numeric-id":5714440,"id":"Q5714440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a5ece970a8ccb5de3cc54d1d4d74c1154b1bb6","datavalue":{"value":{"amount":"+0.7453604936599731","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":"Q2740983$D55A8847-A08C-4676-AABF-7460A9FC702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a3e91c8cd85565ec20f964395c4ef32d010ad","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220a96afefb9406ff7dd1e66aecb50efa77bbd7d","datavalue":{"value":{"amount":"+0.7423189282417297","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":"Q2740983$650516C8-06C0-474D-86D0-8E836F956A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079150d9d2f78bda3ae431ad670120f8be60c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8441e0cd9961b9c2806be0e1670d2d99dc3c46c8","datavalue":{"value":{"amount":"+0.7421988844871521","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":"Q2740983$4FC82A7A-1908-4261-997E-4571C96D7D07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2740983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2740983"}}}}}