{"entities":{"Q3761671":{"pageid":5791577,"ns":120,"title":"Item:Q3761671","lastrevid":87609017,"modified":"2026-06-04T12:07:49Z","type":"item","id":"Q3761671","labels":{"en":{"language":"en","value":"Information-theoretic Complexity of Program Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011902"}},"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":"Q3761671$CA9F6D32-8ACE-4FFD-81BB-F89AD23633DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89edef1c0ef6e5c5e25024ec51f4605f9f0b33b9","datavalue":{"value":{"text":"Information-theoretic Complexity of Program Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3761671$07EE6453-3B95-4814-900E-0F3A7D0687A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ce0dcfccae1ad385ab1c8f1893e4ec6605b9e2","datavalue":{"value":"0623.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$4B5E78C9-414F-47EC-BD7C-75AB14A9B057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf5886f936cf8976a70d9e980665750e4bc4dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":3761670,"id":"Q3761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761671$7E80D504-D569-4DC6-9597-B576825AC4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec947f1ee2c08b25d393f874fc08b5124e84fb74","datavalue":{"value":{"entity-type":"item","numeric-id":1271253,"id":"Q1271253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761671$32F15FA2-E0D8-4862-8043-0FA057641FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3002bdf14d2fb893ffd1ba9d52357ce202efa97d","datavalue":{"value":{"entity-type":"item","numeric-id":3197810,"id":"Q3197810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761671$EDB3F27B-9FC4-4681-871E-F5CBC0A3FAAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761671$915EC986-82DC-405E-A136-D32809950034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3761671$EC503E10-11F5-4A33-A1D3-CB8EA698844D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$645F1F79-EA15-460F-B6B1-3589D146FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$05E15A36-432F-4958-96AF-0DA8FE698528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca83b7c7ff9e9b5715b1ce73556d8d20bfa6c204","datavalue":{"value":"4011902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$38542B04-7502-4BD2-B93A-FC6835B6E9A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71eab47e9e07192adf1db12e6be44729d2cc443d","datavalue":{"value":"metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761671$CEBBC2E9-DC7F-45DF-B756-89338263F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770985f080cf7b74b83f95917697209df9bc2231","datavalue":{"value":"cognitive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761671$30D1DAC6-A66D-403B-8C0D-FF69521B8D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf9de184749abc29987b533eebd3d7872a6d3453","datavalue":{"value":"information-theoretic measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761671$B8980F45-4E33-4804-AD4B-D89C8A483D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761671$FA493A0C-A30B-41B1-BC6D-79A2D03B652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e900c6122ed6f703e1b4e82d4b6f37781598b3f","datavalue":{"value":"modularity problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761671$D68CBCED-6A38-4C83-95C8-1AFB82DE1760","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":"Q3761671$0DF52E4C-D81A-4233-A79D-3491BC5E0626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"846736fa975c2005bc1e112c6e5c2db2a2b67706","datavalue":{"value":"https://doi.org/10.1093/comjnl/30.3.223","type":"string"},"datatype":"url"},"type":"statement","id":"Q3761671$655D7EA3-66AE-479F-BDE9-ED8048FC36F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a744f7f2387812e10754fcad1ec4298140f8e3d","datavalue":{"value":"W1989472349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$69869ACE-1AA0-488A-95CF-C03D08B90C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21d8288def83bf3bade6c28ef7f5fe793dda8f1d","datavalue":{"value":"10.1093/COMJNL/30.3.223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761671$3BBBDBC2-782C-41CF-AB5D-D54F4029134E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2246480974b26d53eb1dd388b6037f9b2782478","datavalue":{"value":{"entity-type":"item","numeric-id":1210320,"id":"Q1210320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591bc9f78fc650a75b4bc66207f69c07a1d06d7a","datavalue":{"value":{"amount":"+0.7561772465705872","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":"Q3761671$07C7CBB6-9EFB-4847-8489-60A4B94C0117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5b6c6413b5f1e824753f27edd3055bb6c271ba","datavalue":{"value":{"entity-type":"item","numeric-id":1328506,"id":"Q1328506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd95d5061d1d8f02f6e27f0dd491a040e18d5fca","datavalue":{"value":{"amount":"+0.7176908254623413","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":"Q3761671$0048D284-A651-434B-8B17-87B8A9457889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f52422dd5d53034a3e6cf73b309565a17a4bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4896252,"id":"Q4896252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca156450ab3674f889f20b11817abc5f62b4909","datavalue":{"value":{"amount":"+0.7098006010055542","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":"Q3761671$0B27747D-9A7E-48ED-BBFF-240DB654CC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81976f51b345a258fdbbdf80330f0392d521e27","datavalue":{"value":{"entity-type":"item","numeric-id":3719804,"id":"Q3719804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7730bfccdb514d2fb7430be3a891505be9997b82","datavalue":{"value":{"amount":"+0.7059341669082642","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":"Q3761671$697E9B33-5093-434F-8E95-E8366128BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf46a26a0f7febfcc3bbcdf69887d44cbf08e4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4002171,"id":"Q4002171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f036a9417d69b44cdc6e8b723d8bf7d1519313","datavalue":{"value":{"amount":"+0.705559253692627","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":"Q3761671$26ECA4DF-BC83-4E04-A626-D5BE410C24E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Information-theoretic Complexity of Program Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Information-theoretic_Complexity_of_Program_Specifications"}}}}}