{"entities":{"Q2407108":{"pageid":2417851,"ns":120,"title":"Item:Q2407108","lastrevid":74123013,"modified":"2026-04-14T18:30:05Z","type":"item","id":"Q2407108","labels":{"en":{"language":"en","value":"WQO is decidable for factorial languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6782892"}},"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":"Q2407108$683C10B3-7A99-4D21-BF80-F9D0CB0CBD50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"232019884204d19400011137489e9626609ad76c","datavalue":{"value":{"text":"WQO is decidable for factorial languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407108$ABFBC9A3-9400-4388-8C47-6ECD5E74C4FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dfa99e9bb8aa87b368e66bf94a5043a6467c825","datavalue":{"value":"1376.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$6D213888-1755-40C8-8548-738CA269B4AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f53cc709002ec5e7bb752385f5b2a2cab2f396e6","datavalue":{"value":{"entity-type":"item","numeric-id":306705,"id":"Q306705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$61DC38D7-8A70-47CB-AA79-D6E6A40BF3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9924970a3259a1323042c8227a65163844bb317","datavalue":{"value":{"entity-type":"item","numeric-id":317397,"id":"Q317397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$F28A2EB8-7FBF-4414-9AD6-4BA6E9689BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc064f468259febd73b32b3d4190ac362136567","datavalue":{"value":{"entity-type":"item","numeric-id":933598,"id":"Q933598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$8F4125EF-2677-4998-83FA-E7043E18BAC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$ED961D19-498E-4AA9-B546-496B2FDA1CA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407108$2A06F193-4127-4358-9871-F811B7FD68CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d3dc50cb204ea177c97cc5aed239135661421c9","datavalue":{"value":"http://hdl.handle.net/10754/625350","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407108$AD3BDD2B-4840-4EDA-94A6-9096F7D50F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$F1B40284-463E-4DF7-B174-EFD6C7492DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$8455B569-5744-4941-9BD3-3C8114C7D2CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30da99639093960cf83cb185aeb7dde974d5cd38","datavalue":{"value":"6782892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$938B56B8-6519-4CAB-B960-E3139C78D5F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407108$5A374A7A-420E-4CFC-B512-F01C84A0CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c606851371ffc9f7f757382c09ed569eda6a8a0","datavalue":{"value":"factorial language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407108$B0C4DFB6-311D-428B-9143-C3EB8AB28CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2363d166b5b9fc791a0d6228cc5a474e45585fdd","datavalue":{"value":"polynomial-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407108$FD60435E-6623-402D-8062-53FD6C793D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4dbee0d48d17c0702756f23f68f3af28651233","datavalue":{"value":"induced subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407108$94BC1E3D-3A34-4FD0-872E-2C1C203481A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cdcc858e642c37f46f6fa377f2e2634fe466a35","datavalue":{"value":"permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407108$D340DD60-38E3-4E6A-8C8F-75865072F993","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":"Q2407108$2415F103-9A55-4EFA-A627-2DFA7423BC9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12d4d15555ee4819639df1a20c7a4ec96b213b3d","datavalue":{"value":"W2743994595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$DE40101E-17FF-42E8-B5AC-A20D15DF5822","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a432367dccb70b1b29dfcfa143a53c8f4c43c30e","datavalue":{"value":{"entity-type":"item","numeric-id":698442,"id":"Q698442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$8B9247E6-B6B3-4C01-A6EC-5F119253EAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfce96e7e934070789517e6396d8940c1e3c186a","datavalue":{"value":{"entity-type":"item","numeric-id":890007,"id":"Q890007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$16649F38-E1BD-4010-94D1-F606D25D7B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4e130914651833c480688bb0652baeb3464fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4910442,"id":"Q4910442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$EA9E5544-1CFB-4D6F-B4C6-72EB224DD48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64688ea0d040bf594003845ce67e5773b625da02","datavalue":{"value":{"entity-type":"item","numeric-id":2474234,"id":"Q2474234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$7AE91304-5F81-466F-8AE8-C4EB5185DA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9d304a1306d35ce87d90e6cfe14f34e811c7a3","datavalue":{"value":{"entity-type":"item","numeric-id":1850501,"id":"Q1850501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$2098328B-C257-4033-A03B-FCE8214FF3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590f321285074e3ca978723231274a99cd379395","datavalue":{"value":{"entity-type":"item","numeric-id":293331,"id":"Q293331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$633F5AA6-497E-4A1F-9AE5-7FBDFE78E723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba55eceec9b0099a0d50d8fd4afdfde5cf5d769b","datavalue":{"value":{"entity-type":"item","numeric-id":5752616,"id":"Q5752616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$801C0785-4EBE-4F83-AAFB-BC5575770253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830be22a6e3b7250ff86f56fa3d9f66fedf932f3","datavalue":{"value":{"entity-type":"item","numeric-id":1338899,"id":"Q1338899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$05FB7CCA-CC46-45DA-8647-144DC689D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e732ac24fced24328d5e2eb0ec178a3b48efbf","datavalue":{"value":{"entity-type":"item","numeric-id":4020706,"id":"Q4020706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$E7AD3A80-7E1C-4E4E-9F41-66AC7140E2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$5384A48F-A42E-428E-9510-84E791712F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2313891082cbea3cc15052ff6cfa68e2652de2c","datavalue":{"value":{"entity-type":"item","numeric-id":972858,"id":"Q972858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$AA2468C1-264D-4717-B4DA-6EE59F58B595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10d24abf721a8df6288cd380a4994e5d5f5677e","datavalue":{"value":{"entity-type":"item","numeric-id":2275404,"id":"Q2275404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$6FB924A5-8E75-4F5E-8E75-D4E3A3C87B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$8262979C-5B9B-4F66-9800-A81BB4DA35A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa5da026fb5f727390401441810562cb30a1c30","datavalue":{"value":{"entity-type":"item","numeric-id":1349106,"id":"Q1349106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$08133F34-4BB2-48FF-AC45-182835C39939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0f4ad021673248c27451b22c4375e8bc812f85","datavalue":{"value":{"entity-type":"item","numeric-id":5668845,"id":"Q5668845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$D60C0222-EDB5-4A46-B571-8F80EEB425BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$B92B37B2-053E-4D71-AAD7-CD7391DACEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9ccf1390b71d9e519c14302458b3071bedcccb","datavalue":{"value":{"entity-type":"item","numeric-id":1967117,"id":"Q1967117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407108$D14232A7-E2F7-479B-915C-068C53C726D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62ef449dd4c577569bb1fcd130c3387b2fcf3c94","datavalue":{"value":"10.1016/J.IC.2017.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407108$FF212550-A04B-4A4F-BDCF-8677B8D6185E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38fee2c6e07ea32fe77e6e370078079e067d504","datavalue":{"value":{"entity-type":"item","numeric-id":4910442,"id":"Q4910442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34fad8e7c6f7dd6dbfea38818a4d0973eb8c2f6","datavalue":{"value":{"amount":"+0.975574553012848","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":"Q2407108$72F48934-DEC4-416E-BA50-19EB67A14420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd61075b7901f939396737670a55b11f958210a8","datavalue":{"value":{"entity-type":"item","numeric-id":1356526,"id":"Q1356526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93131f9a72e4c435a322de5e8649bd2a3c41980d","datavalue":{"value":{"amount":"+0.7848250269889832","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":"Q2407108$BB1EE0EC-5A11-4085-B454-D64994B08DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb7d4b8dc772b637617d6058aa36ab0e8153a3","datavalue":{"value":{"entity-type":"item","numeric-id":2179340,"id":"Q2179340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5182b72aaa6f2cd1d5ea395b338daca4e5f590f6","datavalue":{"value":{"amount":"+0.7524836659431458","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":"Q2407108$88ED265F-C0D7-497F-9553-1D5EEBE7E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edd98026e0a5256be213e20d0209c0b3fe37c66","datavalue":{"value":{"entity-type":"item","numeric-id":1275465,"id":"Q1275465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b827d0d44af67a83eec3a20cb202ac76a97934","datavalue":{"value":{"amount":"+0.7386746406555176","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":"Q2407108$7FFBC4EA-5C9F-4553-BDB6-56DB8D09FC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420f2d90a84e42e09ee8510bb2e2e5291c22b099","datavalue":{"value":{"entity-type":"item","numeric-id":3533001,"id":"Q3533001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d61cb646f4961f3cda3ba78bea4638f843a475","datavalue":{"value":{"amount":"+0.7385615110397339","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":"Q2407108$A3651720-03DC-4911-AF64-C5F30B9B0FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WQO is decidable for factorial languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WQO_is_decidable_for_factorial_languages"}}}}}