{"entities":{"Q2405251":{"pageid":2415994,"ns":120,"title":"Item:Q2405251","lastrevid":57897849,"modified":"2026-04-03T00:16:33Z","type":"item","id":"Q2405251","labels":{"en":{"language":"en","value":"Decidability of the monadic shallow linear first-order fragment with straight dismatching constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778405"}},"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":"Q2405251$8FC3A2E4-B85A-4AC3-9236-4AB60F169D7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fd5f17f7e1a5d062f5013b78479c355e9e739d8","datavalue":{"value":{"text":"Decidability of the monadic shallow linear first-order fragment with straight dismatching constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405251$2073B509-7FBA-4AEB-A303-EA17F7806D29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50c2cf8a9ae26f59da5a14e075ca6031adde95a2","datavalue":{"value":"1468.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$F57E6B55-4ACE-4677-B550-A110EB458AF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"495478fee4ce8fbdded7d2a1e4bfa7b7b53db046","datavalue":{"value":"10.1007/978-3-319-63046-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$5F83FD82-58AC-4D0E-A369-A3C43726104A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68e2e1694746069837183ce414b2e41c22d965a","datavalue":{"value":{"entity-type":"item","numeric-id":2180213,"id":"Q2180213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405251$E0B60F9A-AFEA-432C-A183-C81EB348FA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405251$187C0856-FA85-4DA3-A59E-FD230A4E9B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405251$897450BA-52EB-40D3-8FFB-AAFB8B37B6B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf688e735cbc26e324a3313dc1fd2fd9d27cacf","datavalue":{"value":"https://arxiv.org/abs/1703.02837","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405251$31340D40-1B99-4094-B05A-F6A72926E32B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$0B49DE8A-7081-4BE3-B7BE-1FAD3E20E9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$69E6D2B9-5ACB-4B10-8478-8A096F1B0EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$587FB8EB-6E92-4E64-8837-9FF694278E0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74d9003e28198e18b85b14171a8fa5c17ba1d202","datavalue":{"value":"6778405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$51FB01C6-31F3-4A30-B42A-552D9483EDD7","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":"Q2405251$54D445F2-8C28-4834-8933-4021A8329CF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5e714cedfa23deac9a40f0a2c7bc619ac88be07","datavalue":{"value":"W2604353058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405251$F1800471-8FF3-46E5-B64A-619AEC12CDAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675cf61082922d5d5d600d8d64fc3c9b7af64a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4783300,"id":"Q4783300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3edf63c1b5ba8933819f47a7a3dbad1d4a167b4","datavalue":{"value":{"amount":"+0.743097722530365","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":"Q2405251$005D210E-C4E2-4F8E-8C63-0790A3908B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3edf63c1b5ba8933819f47a7a3dbad1d4a167b4","datavalue":{"value":{"amount":"+0.743097722530365","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":"Q2405251$0141260E-8AC6-4F36-9A38-FD0E84923DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c488f14b9af1f5d770c311c1cc6fb76240f298","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10cc43e912755c9c1ac16ca372a623224eb2c92","datavalue":{"value":{"amount":"+0.7307126522064209","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":"Q2405251$3B850186-8B9B-4F62-B370-AA1C2B362315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492f275bbea14305f80c00fb6ea001bcb08ecdee","datavalue":{"value":{"entity-type":"item","numeric-id":5717466,"id":"Q5717466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6083bb0bf0f2957743886aa45f0c2d78a047e9d","datavalue":{"value":{"amount":"+0.7200782299041748","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":"Q2405251$B41577A6-7F12-443F-8439-E9F2F3F8C739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493d075083faff0a7bd192dc11dfbb8af6d49b5","datavalue":{"value":{"entity-type":"item","numeric-id":1863828,"id":"Q1863828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc324f69beb06a94273c0b45bad110b43bff5d3","datavalue":{"value":{"amount":"+0.7131901979446411","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":"Q2405251$619ACA13-E799-437F-9108-A882FB797869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405251"}}}}}