{"entities":{"Q1903594":{"pageid":1914336,"ns":120,"title":"Item:Q1903594","lastrevid":69244449,"modified":"2026-04-13T05:43:27Z","type":"item","id":"Q1903594","labels":{"en":{"language":"en","value":"NP-completeness of a combinator optimization problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824606"}},"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":"Q1903594$39C25527-4F94-4A5D-99B0-5A2447F23A8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bf6b2bd694948521d31cc63f0f9859097e09a2b","datavalue":{"value":{"text":"NP-completeness of a combinator optimization problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903594$7EC11FBD-00B0-4B26-BB51-6885747F76D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f96cad1622e1276b96ab8c421afc7f8ffa41c3d","datavalue":{"value":"0837.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$EF0F6343-EE4A-434B-B119-C1AF21BC580C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ade0890bb3764c3bb5ac9a0237c454d08458935","datavalue":{"value":{"entity-type":"item","numeric-id":1903593,"id":"Q1903593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$21E45454-BA7D-4E8A-B4A2-7CB6AC4A7751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"221ce5358025bd49df98c029e677a03b185609ed","datavalue":{"value":{"entity-type":"item","numeric-id":1020037,"id":"Q1020037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$64C66EFA-B469-44E4-B348-219BA9D505F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$5EA682F0-26A2-42DB-9715-A1FEBCEC6F49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903594$9647F7EB-06F8-48CA-807B-E045144924EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$9D63C75B-5114-4D56-A20D-63D2C7E4DF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$700E3BF5-9126-493F-9F70-5EE35AFE8B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$90BA9A24-2CFA-4179-927A-2363F253567D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c7869eb455a935011d34ae12770f33869ccb01","datavalue":{"value":"824606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$DC6B1B16-C504-4741-AA0E-FD9FF8B840FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e5e9dcc8d8cf421fce4345e4457155aa4c0166","datavalue":{"value":"deterministic rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903594$A8778192-1AA4-4874-B28E-AFA82EE72963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903594$578C1781-43EA-453C-AB75-5DC416EA38BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903594$74DC41DF-3E9D-4339-AF18-66053B9A226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d1fe780203c4cc85d8ff8a80c607460d971594","datavalue":{"value":"lambda- expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903594$4E22B1E3-E4E2-466B-AC1F-93D7D068DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903594$1D42BCF2-DC1F-45A4-9868-AB1753D2473C","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":"Q1903594$8EDEC70D-0F34-4450-AA95-36F13479AB9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dab57903e7f479088b524c0f6363c6622c214fa8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040248462","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903594$FED20ECE-CC4C-4936-AC77-31B63509898F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44b6fb5a164c540b39263f4ad25b5106465d7269","datavalue":{"value":"W2091336525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$7A224DCC-B6F0-4A5B-8FF3-B33FB221CB20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$C63597EE-620F-4433-B385-CFF736E7B937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487f7cda807707c243c779e692d91d8ac1be09be","datavalue":{"value":{"entity-type":"item","numeric-id":4096921,"id":"Q4096921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$AD45168B-C237-41A6-898D-E40A97953B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$5C87A3C2-3A6F-44AB-8BA4-35A555C5F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$370F56BA-7CDE-4A4C-A0E0-C9A401A94782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$C2316E2B-0659-4AA4-A933-F3E54A9C9FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2803c7f23d92ecf33c058bcd90989f780f7fb7","datavalue":{"value":{"entity-type":"item","numeric-id":3795183,"id":"Q3795183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$EE84BDFA-0C0C-406B-853A-0B65B4A38938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$E11F5C3A-6039-45A5-AF56-C645F493245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$DB92ACF2-EA9B-4019-84E2-418CA5EB228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$9978B2C6-5745-4585-983C-89D3E6A6E0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903594$3E33F305-226D-4004-A4EE-45F8AD83FB0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20a5db7632bf177d883225b4bfb321dda7418649","datavalue":{"value":"10.1305/NDJFL/1040248462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903594$698D5441-30ED-49BE-9E62-F66A38AF7DA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17e23f676f606adbaf63688d7fe6b8ac1c54f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1095806,"id":"Q1095806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec8eb3be35d90f8f84fe562c8391bb022c07f55","datavalue":{"value":{"amount":"+0.9151982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$74F779D8-3DE5-43BA-ABB7-2CE3B31B3BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4635fe0819b5641cdf38e308fa5e379de0dd95","datavalue":{"value":{"entity-type":"item","numeric-id":3132650,"id":"Q3132650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baac3955534839223ca822930ad32ad668f0bd7e","datavalue":{"value":{"amount":"+0.9072423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$0FCD64EF-AFCF-487E-94CC-605CEFAA1758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06217e9fc4fe3832d30ecdacfa592c3f5161348a","datavalue":{"value":{"entity-type":"item","numeric-id":4407450,"id":"Q4407450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efa22c3d2737647a5f8cc9449908725f0de0aac","datavalue":{"value":{"amount":"+0.9019059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$9D354FB2-E80D-4464-A1CA-A9770DE2F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104a6ad812ef4415a6145c6e566e3b961453654","datavalue":{"value":{"entity-type":"item","numeric-id":3503495,"id":"Q3503495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8369e8551823b0649e53579b8f495d5f8ad06c4","datavalue":{"value":{"amount":"+0.89814913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$8FBA5D74-C561-4881-BF20-0E825ABE5B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbfdc94cf9aa72906b622b024bb8787cf86fd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2959026,"id":"Q2959026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4e280908d20962e0596f461985da6c0a33550c","datavalue":{"value":{"amount":"+0.8968295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$20C0CC7B-7C55-49D6-A4BA-1558D57D1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed412b06a1691778eb4d4a0ca740216772ebe26","datavalue":{"value":{"entity-type":"item","numeric-id":3059320,"id":"Q3059320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7a51ef27d39289b9f341155d984465be594a27","datavalue":{"value":{"amount":"+0.89486027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$60DA6A94-31C4-49FD-920F-6BB1BC478CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800fa30514a24f8fec61c4d7fc3353cc17601ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4864960,"id":"Q4864960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567f13ace478be585f0e8929777d053a6d3d73dc","datavalue":{"value":{"amount":"+0.8934121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$61EE84ED-3C0C-4E68-83BF-EA6D15ED169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3c49add65936359282bedbce48434af69813e7","datavalue":{"value":{"entity-type":"item","numeric-id":2686649,"id":"Q2686649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0301c83429a281ff7671cfc629b33aefc3cf5ac8","datavalue":{"value":{"amount":"+0.8909564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$3E4BB992-04E8-48D8-B891-39F162FCF726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3769c978e4c8fe970e0b6cd1cdea596d32fb9feb","datavalue":{"value":{"entity-type":"item","numeric-id":1606984,"id":"Q1606984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2eebbc603e9e2d0c247f4028e1f97b375e985d","datavalue":{"value":{"amount":"+0.89015824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$B49B045F-51C2-42A7-8C92-41DFEA0D3019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1d50812d4cef7195f02174b42ba37fc6c65ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5122151,"id":"Q5122151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed70dd97de5e5e3d28467798a1174875bda15a99","datavalue":{"value":{"amount":"+0.88947433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1903594$6C94BA5F-4DF5-40CB-8148-D39792C651DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NP-completeness of a combinator optimization problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NP-completeness_of_a_combinator_optimization_problem"}}}}}