{"entities":{"Q4601030":{"pageid":6630613,"ns":120,"title":"Item:Q4601030","lastrevid":52996379,"modified":"2026-01-24T00:05:20Z","type":"item","id":"Q4601030","labels":{"en":{"language":"en","value":"Undecidability of satisfiability of expansions of \\(\\mathrm{FO}[<]\\) over words with a \\(\\mathrm{FO}[+]\\)-definable set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827351"}},"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":"Q4601030$C9D0EC9A-DB3E-4272-905E-2F7D022E2D04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8da014d156f92d35555e811a4b921201cbb3cca","datavalue":{"value":{"text":"Undecidability of satisfiability of expansions of FO [ &lt; ] over words with a\u00a0 FO [ + ]-definable set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601030$CF618BF6-04C0-471D-B877-DBFCD08394F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04db661a040c7817b2b84872667cd61b46860ac3","datavalue":{"value":"1420.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$79C73DD7-4392-4AD3-BEC2-90956C2E7F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a32622b0f303773cc490ef873f74e6a0835153a6","datavalue":{"value":"10.3233/COM-170069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$5033A6AF-2629-45E5-A030-5481A4136323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afedfce075464657e7b86536005d5e58f39dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2988841,"id":"Q2988841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601030$C14FB740-AFD3-4C21-837E-82423C4F19D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601030$AA71776B-2C65-4801-8A00-4C72C9AC2975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2870c2a89ad093911e8a3011d1a5f8b51084c5a2","datavalue":{"value":{"time":"+2018-01-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":"Q4601030$D136CB5D-4FFA-4A76-A477-11CAD15EA71A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$B94BA519-0F83-4183-8DF1-57BB41EB5EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$D1F90C82-AE0F-4E4D-82A6-7C9E8E1911D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$4F8C85A5-6CAE-471B-AA22-29420837BADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ddcdfd3684a6ba51c0ab5e9cdeadfe521f51dc5","datavalue":{"value":"6827351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601030$709FC871-EF87-4B9F-981D-B899BD7AE3B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601030$86FA7223-3D0F-467D-81C4-1C973A849BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601030$3E8ABC9F-B023-4A3C-A335-0F51BEDC1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601030$9E0528F7-2645-4842-8E9F-1AF3E0318759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601030$BF673618-3C30-4425-8F08-78A2304DE9E4","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":"Q4601030$279A9293-7051-4197-A495-06E80E8B4EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9744f14dace30910cc69859cd7b8a9c21053e28f","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078a8646ac92051f64917a3676833a97f781dfc8","datavalue":{"value":{"amount":"+0.7748581767082214","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":"Q4601030$280239DD-AFF4-4EBC-A216-9FC12421F15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7170ca260ce782184f7916d005a10919e7f971cc","datavalue":{"value":{"amount":"+0.7474952340126038","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":"Q4601030$89186356-0C7F-40C5-9377-F1658CF8C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c3cb152194c7daba1a29eddedfc80c7f25bc2","datavalue":{"value":{"entity-type":"item","numeric-id":715044,"id":"Q715044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d198958c6a59c5c0cc1372a41edcd03dacb1c11","datavalue":{"value":{"amount":"+0.7456656694412231","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":"Q4601030$DF66BE1B-C46B-43AF-B011-495E717D5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50685542b2a989ed71feee7e1077a2c877f97ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741287a64205e89c76bc49304b5cef89cccf7b75","datavalue":{"value":{"amount":"+0.7368714809417725","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":"Q4601030$6C224F52-B207-42F2-AF96-44708975FA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28960c1b77eaeeee4e6c9304c76ebe8fac61a6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6393d88c412a1556c9c3f9f58c9b9ba0e756435","datavalue":{"value":{"amount":"+0.7317366600036621","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":"Q4601030$7E26B1CC-AEF5-40F5-946B-F562076DA740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601030"}}}}}