{"entities":{"Q860837":{"pageid":862685,"ns":120,"title":"Item:Q860837","lastrevid":64899654,"modified":"2026-04-11T22:58:26Z","type":"item","id":"Q860837","labels":{"en":{"language":"en","value":"On decidability properties of local sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083494"}},"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":"Q860837$BEC77E36-403B-4A8F-A276-A1558A2917B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a198aea5910b6ab26bbd208562d1486d44a35c23","datavalue":{"value":{"text":"On decidability properties of local sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860837$B30135A8-E530-41E6-8F89-6FEE8AF6213F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9d3eb420e001a17caa46929beea3c20ac704d95","datavalue":{"value":"1111.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860837$642F12D7-74C3-44DB-AD51-E3D31DA31BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5cec85976887ea974bbe2cdde3814e9335c077","datavalue":{"value":{"entity-type":"item","numeric-id":324244,"id":"Q324244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$3A01FE3D-1BEB-4020-AE72-28E0907F78E2","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":"Q860837$483C38D3-B2BC-47BA-8324-E4CF163AB32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860837$8FE2DCED-93AF-4B1A-A00E-9E2F55FC1108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860837$CAF707F8-78D8-4878-8172-C047017CCA68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be4cd590218765dad575b2bbef2db42e4880d4d","datavalue":{"value":"5083494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860837$EE57C4DC-1F02-42BD-AA49-5051F6C4FD1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20acb85fc8584ca5641c8e4245321b5b154e2d5d","datavalue":{"value":"local sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$6521E6A3-703D-4456-A263-1AF505F57D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9424967bd67a0e65872cd6530b255138d589eb9","datavalue":{"value":"decidability properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$00A9928E-9DE0-4494-B35E-EB0FE238AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9a3c73b72260cfeb965f2cb3f9711d7d05e7fe","datavalue":{"value":"model of ordinal order type \\(\\alpha\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$719E408B-1835-4783-A099-43E4F2A70CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e76e8ef1c12fa5a173f7b42be8f51ca4690cf86","datavalue":{"value":"monadic theory of an ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$7D8FC5B8-910F-4883-9E71-0DADB617867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf7d31e625ff4068e33b8093b97000ec577175d0","datavalue":{"value":"\\(\\omega _{2}\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$8C4CF870-F72F-4B46-8FDB-221CA40B12A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae1c75e2f69351725124d1a282cf985d974c949","datavalue":{"value":"Kurepa tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$FF0B30C7-0D08-4CE5-A8B1-29D579068626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc2fa84864f4825460213fc184299c0c107e638","datavalue":{"value":"independence result","type":"string"},"datatype":"string"},"type":"statement","id":"Q860837$44AAB5AA-B0C3-4D25-8167-75F59E126441","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":"Q860837$1B9D6A5B-801D-4A34-B396-8B12376CFDA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95dbff61c1e32d3ad5c6b2da3048fc8386cf2335","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q860837$CB44267E-5CA1-48E8-8218-B1F6BBF6CB7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ed1270ae7253bb7cbac5dd0e9bc5c81e4d02940","datavalue":{"value":"W2569306015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860837$41EC8773-E611-4AB0-8CAE-343E684B9029","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f30d092bd9392a273a20f47ef06ab4dc28e2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1856161,"id":"Q1856161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$606BFB26-18E7-4CF3-B7D9-EB77B8F2DD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$9010359B-6071-4EBA-AB28-BC802C9742B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$B208FCB3-DB0F-4625-AE4F-A436EE8E0EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$99BDEACC-9CEE-4F6E-B319-3A96D218F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$7A6524CF-0109-4B16-A630-F0EA2897BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe406fa9d5e06b1979e5763f15ac697f81ba2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5941071,"id":"Q5941071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$4056C70F-BA84-4F8A-9CC4-C0CF9E2C5B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aecd465c7ce861bbb4464cdd910c144df3552c9","datavalue":{"value":{"entity-type":"item","numeric-id":1885033,"id":"Q1885033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$FBC0A448-F0B8-4381-9960-A75D99ECE5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886e791863cfb0ec132fc8c573772f8e60fd9758","datavalue":{"value":{"entity-type":"item","numeric-id":4894727,"id":"Q4894727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$7BEB862B-34B3-4F9D-A798-C303DF2E5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366496f27963448786a05922fbb68a33edd1ebad","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$EF8F49A2-DF34-468A-BE85-39BBB63CD226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd483f1274a4128e61c9986a9daeaa3cf7101a94","datavalue":{"value":{"entity-type":"item","numeric-id":5959666,"id":"Q5959666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$3B4F20F7-E801-4341-87E4-B5F09D3D5C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$527DB4A9-4D67-4E3F-AE2B-9F0332C9D3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$CDEC8828-45BD-41D4-B01E-BEF130592B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c4e7a4e953ca4e6f9a12b492399a81cf761785","datavalue":{"value":{"entity-type":"item","numeric-id":4206717,"id":"Q4206717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$F5EE8938-04AB-46B9-A7E0-7351D44CAA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$E618FA82-E1A7-4D7B-AE10-FBFBA689F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$0BAB52F1-758E-4FA4-B83E-E5A35C51DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860837$3F00E1AD-4BE3-4C23-945E-4F92735D385A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3271c27d1236c5455c70cd4117eafc6bb33138ab","datavalue":{"value":"10.1016/J.TCS.2006.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860837$50FD041B-AD05-4719-9325-01AC7DD15853","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a2917f64d902b7beb75408780f3551b619d4d3","datavalue":{"value":{"entity-type":"item","numeric-id":4894727,"id":"Q4894727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0be8d3a3e5868b09be14a6d219ca7fc7a201956","datavalue":{"value":{"amount":"+0.773750364780426","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":"Q860837$98A6F127-DB85-420B-8BC2-6D178FC020B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88260dcccca7a949bd71bf27d56f52655193835f","datavalue":{"value":{"entity-type":"item","numeric-id":4281563,"id":"Q4281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0be8d3a3e5868b09be14a6d219ca7fc7a201956","datavalue":{"value":{"amount":"+0.773750364780426","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":"Q860837$F495C600-4FE2-49DF-8F32-72352D1399AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ba04b45eb5daa8653447a508232d291c863a6","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82efa971124b6be2744489c1da773f00ef1feddd","datavalue":{"value":{"amount":"+0.7683389782905579","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":"Q860837$91A1E739-B306-4D1D-B857-01332ED503D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fd7f85b832bca01561a5f3b8ab19b23992d035","datavalue":{"value":{"entity-type":"item","numeric-id":3328514,"id":"Q3328514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625897b975f4dcc256d455a705945c729e18e426","datavalue":{"value":{"amount":"+0.7640696167945862","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":"Q860837$12B49146-C082-422A-A64E-385E25F91866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb7236f7c78877fc1a0c7f7f878576d0bf25b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5434200,"id":"Q5434200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6f88e0de115fbac71d0dbb47f64ecb0dc91574","datavalue":{"value":{"amount":"+0.762268602848053","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":"Q860837$049B1009-7CC3-4576-AABE-E6CAEDD30320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On decidability properties of local sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_decidability_properties_of_local_sentences"}}}}}