{"entities":{"Q5111278":{"pageid":7140852,"ns":120,"title":"Item:Q5111278","lastrevid":75008380,"modified":"2026-04-17T12:25:02Z","type":"item","id":"Q5111278","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204396"}},"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":"Q5111278$DB8D09CF-3EAC-4EC1-A8FF-52BB9A3836FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44591915d7cbaea5eb29de3725c14193b0280001","datavalue":{"value":"1441.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$6A406DC3-A767-4886-AD60-90E1F8C6D006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e331a56534fb3d15d7a09cc088a9f710c573114","datavalue":{"value":{"entity-type":"item","numeric-id":434348,"id":"Q434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$DCDB2B65-A6F2-420F-9136-E3D8F8B24F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111278$E7415237-5914-40B4-B20A-BD4EEC04B2B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"288612697e47c36570daacd3b479a409f79bb696","datavalue":{"value":"https://arxiv.org/abs/1709.10453","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111278$D7C08E52-1AD0-4D50-BC9E-E083DB65146B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$A7C51278-C60D-41A3-859F-2E1539BBE3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$676B425B-508E-47DA-A7FF-62AC22D0DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$945110B5-7BE0-4CE1-A440-6A2647DE84CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ff124f481d9acb4375923cc15c3a6dac67179e2","datavalue":{"value":"7204396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$24D051F3-2419-40CE-9A35-C31A287BDE18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf145db45f93231927095c789f044a568edc1f29","datavalue":{"value":"sub-linear space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$371E125F-FA5A-462A-9E53-FF2AA2CE0957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b98e8c6ce4607610076f5e7b09228f4f56cc76","datavalue":{"value":"linear-space hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$AD007773-348C-4021-86CA-4D43BB534447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b3b388ba4f37f43fb9a39cec24205870744a4c","datavalue":{"value":"short reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$DF6CCF6E-5676-473C-BA28-4657B340F6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668cd2dfa50f11da94ae31e68d0e5d786d0ec324","datavalue":{"value":"Boolean formula satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$B8C8A65A-2F43-4CD7-A7AF-97FBD657326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5eaf00cb88b2bb177711a9a000279c4f1516088","datavalue":{"value":"NL search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$B6157E84-5299-4392-8383-8BB2CAE87A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10384c050adceebfa0a94f1afd31e1f06d99d3ec","datavalue":{"value":"NL optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$D7B79E51-5F22-48D9-B19C-7FC65F4A3EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4396107110b0a259a86dc4a32b4cac1c606a3df","datavalue":{"value":"syntactic NL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111278$EDBB53B5-153B-427D-A6E7-0FFC21640DC3","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":"Q5111278$EBD3E259-52C6-48B9-AC2D-190F7F8B8D82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2a1ac4e864d41c30b8a828a68a91d18d8ecae","datavalue":{"value":{"entity-type":"item","numeric-id":4258216,"id":"Q4258216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$18B22A6E-49C0-4BA8-85BA-3C00F893950F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae59d18a471764f9f7ca3b95b5752d8f8a2107d","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$ABDE6BFB-319B-4AAE-96E5-EF4A22A90CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$ACEE028A-7B76-478C-951B-DFCACA95C293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d11a5e7485e13b7dfb5d1b3e55c60e3428e99031","datavalue":{"value":{"entity-type":"item","numeric-id":2868671,"id":"Q2868671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$748EE8EA-F4FA-4FD7-B865-40761A8CDC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$E563602B-6CF0-4917-9538-A6AEAED20B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$BF79BF94-F444-4609-A7FF-15A1CBB18F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$260A7852-2066-400C-859D-A267855A2BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$7CECF0D4-5814-42A8-B90F-5C123C45FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3689bff1eff016924b71b1d4bc26a105386c2829","datavalue":{"value":{"entity-type":"item","numeric-id":673615,"id":"Q673615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$40A29DC4-3CF0-4416-AB22-1D3BE83D1028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$90372814-2C1B-45F5-B95E-81F43814D6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d396cb7909eb8ef7cf9892a2d4d1be562fcbdc7","datavalue":{"value":{"entity-type":"item","numeric-id":4109298,"id":"Q4109298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$9B503A22-0E77-44E6-8E69-179EC9A3681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f205a11f3d8ebe2e6f8fd38842f98916ec8b9","datavalue":{"value":{"entity-type":"item","numeric-id":4904144,"id":"Q4904144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$582CF5A3-9826-4304-9C12-6010ADFFE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873424cc8d4e93946989cd39def93178ca9012e8","datavalue":{"value":{"entity-type":"item","numeric-id":3604402,"id":"Q3604402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$9317ADB1-B093-4784-9355-6E7C511C249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$88168AF9-83E1-45FC-BA15-8DBC177CC58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f200ddc20c2d33390fb94670a066f08d95c0e9","datavalue":{"value":{"entity-type":"item","numeric-id":1215271,"id":"Q1215271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$0647239D-045F-40C2-8B92-5B3EF2211A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$16CE306F-522A-4776-8789-99A496DB91B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343b7eb2de34b14053b77dda4df57cbab1508730","datavalue":{"value":{"entity-type":"item","numeric-id":2642909,"id":"Q2642909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$1BD6FC37-DA13-478B-AD3C-5DAF4859A0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a690941cdf90114b54ae4ee497c0278dbb375bd","datavalue":{"value":{"entity-type":"item","numeric-id":2867130,"id":"Q2867130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111278$2D874C32-0394-4B18-968C-BF5FFCECB327","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff0170e327c415c5235cf88f42f0f69976500ac8","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111278$F0D1F816-D9B8-45F9-9140-C6C4C26CC941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a43605efdfa29a28d4e77a2a3241758a63b611","datavalue":{"value":{"entity-type":"item","numeric-id":1567402,"id":"Q1567402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69725a857fad636727681ea7b7416668f352fd2","datavalue":{"value":{"amount":"+0.7430252432823181","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":"Q5111278$D84211DD-D506-4E36-A48D-7DD73E851762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce5d30f9f86b1a8a259791f5ae8056d1bf92de0","datavalue":{"value":{"amount":"+0.7311088442802429","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":"Q5111278$9EA06395-F8E3-4D8D-A0BF-83B93C2F69A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111278"}}}}}