{"entities":{"Q1583350":{"pageid":1594090,"ns":120,"title":"Item:Q1583350","lastrevid":67921053,"modified":"2026-04-12T20:14:12Z","type":"item","id":"Q1583350","labels":{"en":{"language":"en","value":"Interconvertibility of a class of set constraints and context-free-language reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521797"}},"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":"Q1583350$79D7BC7E-B49F-4446-9924-3FEBABA939DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"429c2e4f4495c2d23361dbac4f48a370f1599f5a","datavalue":{"value":{"text":"Interconvertibility of a class of set constraints and context-free-language reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583350$FB2FDACA-8CD3-4045-9B25-C01B5E613A29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"597d491a862bcecc984797f13ad325b98269eaf4","datavalue":{"value":"0949.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583350$05B14753-764D-443E-84C7-4845E75CCAB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"704cb695de6c45b5e74ac2d37dea3a4b858ea5f5","datavalue":{"value":"10.1016/S0304-3975(00)00049-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583350$4A8782FC-F7D0-4047-A03C-D74C13A39DBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$AC7D8941-69D2-4731-AED7-01A424E2756F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-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":"Q1583350$7E4870E2-8C41-4194-9F87-DBF263FE36B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583350$6828100D-48E2-4076-898F-8B0CA872B5DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f6ef4d2e9267125fd650bbdf8b9046ab320852a","datavalue":{"value":"1521797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583350$E8C18092-BEA0-4079-BA74-1428E7E98C7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb0e49e121883884ceaa5a58b0adcda174f78e5","datavalue":{"value":"definite set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583350$8F4FA279-21B6-45A1-A77B-62A8464F7BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1537bdeceb87795d5f454d99fa39ea2738d5dc6a","datavalue":{"value":"context-free-language reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583350$54E8D349-914C-4FE9-BF38-371F1FA228E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"219c22f8a4c885a0aaf22711819cf85a15bf7fb8","datavalue":{"value":"path problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583350$978BC5EB-EE2E-44FA-915B-CD25D78A95FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583350$878B1286-4006-493E-8C68-AC09ABB2768A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bef7138da5e67e17b9b39795068d400b3d747e06","datavalue":{"value":"complexity of program-analysis problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583350$B7F026C9-25CA-4CA1-A4C8-3C823BB1C290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1eadb453aadaefbedd484f13f63f5d97cb39528","datavalue":{"value":{"entity-type":"item","numeric-id":2568452,"id":"Q2568452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$8D301FE0-A2D6-4E99-B73B-B81500739036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$18E2F9AC-4F0B-47C7-97C9-C0966B683F07","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":"Q1583350$DBBE3798-A596-4122-B769-C46C650D4DC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db0574f6efeabb53fa67517c500d9ce45fa4285","datavalue":{"value":{"entity-type":"item","numeric-id":4645285,"id":"Q4645285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$2E500DD2-ABA0-46DC-AC3E-75AFFDC7BBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf18d2718be7ee584421120df810281e0646ead","datavalue":{"value":{"entity-type":"item","numeric-id":1249040,"id":"Q1249040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$1FC69A08-F081-4EEB-9479-745E6BCF2DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944d11f57df22916bf6d751f60919e8d5446f58","datavalue":{"value":{"entity-type":"item","numeric-id":3323837,"id":"Q3323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$936B65B5-60BE-48D2-9021-66264674BDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$546F3D46-8A67-4F0E-A249-1BB4061CB323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$4F3BCF42-2504-4523-AD09-67AB215F5CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d32270460e49f99416cf9e4f7a558708e1423c","datavalue":{"value":{"entity-type":"item","numeric-id":5348872,"id":"Q5348872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$B9639954-6F78-421B-A3C9-F1A5AC3CB6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$1BF840EC-8B64-40D8-9E59-A3D87E4B1DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af68074f2d1776cf675bb0280da9b618076d6485","datavalue":{"value":{"entity-type":"item","numeric-id":4130985,"id":"Q4130985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$6B9AA1F5-D1EC-4684-A24B-BDA9847020C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccf5232b036f67b2639037197b54918003f4487","datavalue":{"value":{"entity-type":"item","numeric-id":2565054,"id":"Q2565054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$AD938E34-257B-49F1-85A6-454F60978B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cada87b04098c4eb67ba22aabc908393750a666","datavalue":{"value":{"entity-type":"item","numeric-id":4940927,"id":"Q4940927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$7A9E4EA4-3DCD-40CA-9EC5-E233D69C9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65cb3591a6d59a7254d57416c9f430197e36e06","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$EB2BEB97-F043-4447-AAF5-9DB455ADECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9deecb43d633f0a679ddf4b2f213ec299c95d3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5585029,"id":"Q5585029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$B2982E39-134D-4D39-B3FB-955CFFBBAF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$2021AAE8-C47F-4F81-9F47-35B4362382A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583350$80409671-3FB9-4459-8FFD-51A4A9E30838","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0906669b5873bb74ef6dfae5003a8c18ec9a8f48","datavalue":{"value":"Q126296747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583350$3207B89C-2C8A-41D7-BA75-CEF79F7FF0EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf7a1fd688a9f0e8bb851de9a577524ce268e52","datavalue":{"value":{"entity-type":"item","numeric-id":2506490,"id":"Q2506490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbfce0181e68a66f5986c523092fe231569f9c6","datavalue":{"value":{"amount":"+0.7600454688072205","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":"Q1583350$F019FD69-B773-4C96-B45A-BC019C2F4FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c3826c2527c60891ad7f13fdbc2292e0e051f4","datavalue":{"value":{"entity-type":"item","numeric-id":3578206,"id":"Q3578206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d29a6ffea2e9578d092967022ee369d24272b7","datavalue":{"value":{"amount":"+0.7564415335655212","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":"Q1583350$AEB7C11E-F331-4D20-B597-0C9799C6AAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512ad91b4a9a6472c4d792bb43d14c098a2e7b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1271568,"id":"Q1271568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e93fe2cedca0437a2f46b41838fc14828f777d","datavalue":{"value":{"amount":"+0.7313133478164673","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":"Q1583350$CEDF6801-78E7-4789-A2D0-6BDC65F74CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98242d6c70f9d56586f33b129963682c024d6","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4327681e631b024701945e08cd611fbd5a3974c3","datavalue":{"value":{"amount":"+0.7309669852256775","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":"Q1583350$992160C6-B2F0-48DE-AB50-2CDC509ED30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fcffe3832a141070adcd6b7d81c9ddc4fa0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3172863,"id":"Q3172863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a24319734033f5e0402efb5565af2dd6f62e2d","datavalue":{"value":{"amount":"+0.7240161895751953","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":"Q1583350$84FC67D1-44D7-4460-97B3-63126BA44001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interconvertibility of a class of set constraints and context-free-language reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interconvertibility_of_a_class_of_set_constraints_and_context-free-language_reachability"}}}}}