{"entities":{"Q1643149":{"pageid":1653890,"ns":120,"title":"Item:Q1643149","lastrevid":74209557,"modified":"2026-04-14T18:58:23Z","type":"item","id":"Q1643149","labels":{"en":{"language":"en","value":"Avoidance bases for formulas with reversal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6890635"}},"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":"Q1643149$461990C7-257C-41AA-AF2B-734B6989F966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21621c3a3fedcfa9913fcf2c0c7418e77e26185","datavalue":{"value":{"text":"Avoidance bases for formulas with reversal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1643149$8D883A00-6027-4AC0-A0C9-686357E87277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2414300066166e3809878a2d514d8aabf248f765","datavalue":{"value":"1395.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$D7E4F22F-FD9A-4423-86F1-1E302D62426E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7d7e2c7b3a01468c115e8f5c9f176f4cf098d4","datavalue":{"value":{"entity-type":"item","numeric-id":405074,"id":"Q405074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$164C4EDF-A734-40CE-A55F-A893E56073A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8579d08d02888dcfc6c4a0d1e7ad3780689962","datavalue":{"value":{"entity-type":"item","numeric-id":284844,"id":"Q284844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$0A996BFE-9606-4FE7-B392-D0513FC171DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d6b5e515dceb221a589d7f5f19f5051245a01e","datavalue":{"value":{"entity-type":"item","numeric-id":1413461,"id":"Q1413461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$436699F2-90CF-4CA4-9558-BA3CF52DAC43","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":"Q1643149$59B491A7-5F0A-4B65-9525-95E4C32E5386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd17038de34ba641d5c32a5b9fe80d7d6b162e71","datavalue":{"value":{"time":"+2018-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1643149$E8A78124-F1D6-4BFF-8559-8D985A6C1AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44dc12264f3d15b7197805d8c3c6c8a4d980d25e","datavalue":{"value":"https://arxiv.org/abs/1711.08025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1643149$C29AA456-E29C-4369-8F8B-D92A29AD9CB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$3E23C43B-4107-4CE8-B622-E929E6300E44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"274f5a64eada901a2c7fc79f4b12bd182b6aa308","datavalue":{"value":"6890635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$356B8956-8121-4F54-8E68-95672C6460FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d589d1418bb454d0d57abd8c2020b4fc06552aa","datavalue":{"value":"pattern avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643149$64B22C1E-60F2-4FE7-BE07-F3601FA0CC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac12485290e6d081062553209291c6c95a4756f","datavalue":{"value":"avoidance basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643149$2B5FFF9D-7F5F-4452-9484-F5F12A41D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0517a3c1980e2a6d11743963af3f934d540f660","datavalue":{"value":"formulas with reversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643149$EA111CB3-1045-4044-BC0C-BECF34F87647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3500e58e5449855f30e7feba84bee064a59f040c","datavalue":{"value":"avoidability index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643149$E96F3DEB-BD49-48BD-8CCF-E398AC91D281","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":"Q1643149$E883861A-F9B0-4CF4-B571-2E43CF2F7902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ce74aeceeb0516105cee479e9e7d507caed185","datavalue":{"value":"W2963806363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$0C7CFDC2-809E-4A65-AA49-E6EA9FA22F9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ac228e0a8acb953c0ce04885ae6edc96ddec5c","datavalue":{"value":{"entity-type":"item","numeric-id":908709,"id":"Q908709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$FE967BF6-DDE7-4590-B09D-2D55684EAEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4acdd5f2ec903f4dc0bbc15472965e640d891c5","datavalue":{"value":{"entity-type":"item","numeric-id":252854,"id":"Q252854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$99D77F9C-4076-4E9A-8448-EA6F3551615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f5a9b8885fa604a6984478e4290b2c61f2569e","datavalue":{"value":{"entity-type":"item","numeric-id":5365323,"id":"Q5365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$22002A94-BCE7-49DC-B6E3-079164909BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cd85d2cb43adf60a4597efb714312eb5f9010e","datavalue":{"value":{"entity-type":"item","numeric-id":4638263,"id":"Q4638263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$BE6D156C-CBC3-4C05-A36F-0BFD008C15C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73587b53fc877d004432e7849130e27fed93efcc","datavalue":{"value":{"entity-type":"item","numeric-id":3457636,"id":"Q3457636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$3D8D9EA8-3660-47E2-AA3F-2580FD9DB537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a362f32a65ed316e5113388bd523b09c0195ebe6","datavalue":{"value":{"entity-type":"item","numeric-id":897919,"id":"Q897919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$EACFCD67-4386-4552-98CB-A32C4B2C61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539d0f71c49fdea0bbe5491ba9d5863bba97ce29","datavalue":{"value":{"entity-type":"item","numeric-id":1743715,"id":"Q1743715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$F655CD8F-DA41-40AD-ACED-8DF936DC8738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$D226C284-3C1D-4022-8E74-23D59E6066E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dd34140d96420e45c69fab96303f7b246099c0","datavalue":{"value":{"entity-type":"item","numeric-id":1184978,"id":"Q1184978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$C27B0C43-B2F3-4B5C-9A78-BAF0D2EC78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f414b9ea6adc0b4e47e61f4708d1d85e9b51232e","datavalue":{"value":{"entity-type":"item","numeric-id":3734729,"id":"Q3734729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643149$D2CE3BC1-F028-48F7-82CB-DA6A7ABF167C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0be6cf599d6d05c39e6d7d5d8668012dda055b33","datavalue":{"value":"Q129680058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$8CEA0C83-D1B1-4046-AFA2-364131EECBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e800c0540bfaed0213d2b35bddb89bf2814095bd","datavalue":{"value":"10.1016/J.TCS.2018.04.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643149$4EB191CE-746D-4798-888D-727B5CE00552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ba93173b9a4b01cbf434013c4fcef23b3a8f55","datavalue":{"value":{"entity-type":"item","numeric-id":2664959,"id":"Q2664959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1565279c280f8cb5c5f63896ca62268c8e13b9","datavalue":{"value":{"amount":"+0.8937128782272339","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":"Q1643149$2AF22927-0780-4D05-9CB1-6348BF316FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6968cd6ef4161b24b503191a6e77cd2e53884cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5365323,"id":"Q5365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476c8a00470419a3d4b2b95942865577ea0be729","datavalue":{"value":{"amount":"+0.8636095523834229","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":"Q1643149$C2242F9B-F259-4646-A77C-E219468E04C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d256f33bfe12bb6cdff7f764002bcd3952ec004","datavalue":{"value":{"entity-type":"item","numeric-id":4638263,"id":"Q4638263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590781e7d14a72b0e2ef0d1ae6a36e11e56b1fae","datavalue":{"value":{"amount":"+0.8516303300857544","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":"Q1643149$41ABDD43-70A4-4E74-8196-689D7859DB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a15d523966c19c369403b761bd2e609daaa98b4","datavalue":{"value":{"entity-type":"item","numeric-id":2011639,"id":"Q2011639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce55e98650fbaf3a021b72717b35c8d93f087aaf","datavalue":{"value":{"amount":"+0.85006183385849","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":"Q1643149$6EDBCB1A-A24C-4DCD-A0C5-526D980EE238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fbb285e549669f2cf59fbac7c25670cc3b7da6","datavalue":{"value":{"entity-type":"item","numeric-id":1743715,"id":"Q1743715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39859195745c1cc03e6edfd20a8045c61f08bfe","datavalue":{"value":{"amount":"+0.7995519638061523","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":"Q1643149$173D232C-42F3-4704-B3DD-20C29AA9F58F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Avoidance bases for formulas with reversal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Avoidance_bases_for_formulas_with_reversal"}}}}}