{"entities":{"Q5111281":{"pageid":7140855,"ns":120,"title":"Item:Q5111281","lastrevid":46185241,"modified":"2025-12-24T00:10:39Z","type":"item","id":"Q5111281","labels":{"en":{"language":"en","value":"One-Dimensional Logic over Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204398"}},"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":"Q5111281$46757DC9-EC7D-430E-8CD2-48003F1083CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"376c0255755b7ff3224675ecb91e9bb020b1e4b4","datavalue":{"value":"1441.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$12767EBF-E31F-4929-AAC5-2BA6695BF203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$4CC13792-C79D-4F9E-8CF1-B8BEAD558906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$5EFD6DAE-E50E-443B-B0B7-AA2110621650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111281$73FA9758-0E08-4763-9839-482D5BD8128E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$54408C3E-939E-42CB-906F-BE9EEAFE9FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$F415FAE9-BD77-4182-AC19-3214E3587198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$D50D7FDA-A6D2-4E02-90F2-6739B10F0F10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbdc1ab5545dca0b7c3c4bf0bff486509f545bce","datavalue":{"value":"7204398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$F6D81B56-3121-4BBC-9969-D8067343392D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111281$1C9AA825-2637-46C1-898F-D231FF0BAEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111281$96C56A25-505E-4414-A0B3-F6AAC5A94DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111281$ACB8F73E-029F-4E76-889E-944A70F96170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111281$B232DF53-EF27-4151-AA45-DF8EEFA64293","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":"Q5111281$8126A89D-6DCA-4F5B-BA78-BCF5899EBDA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c922c12838ff84785d9f11ce77760dfb81a02b8","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$06231EC8-1748-4C99-B759-A40F31A0002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f875d952ba614f855bfa7c40fafda2fecf04aee","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$EE19AF4A-0625-4775-A4F9-9856D13E7815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$DF1D061B-8B64-4F59-B249-26117946A61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64db7ababba281fbc73f2fa30b4886317529c6af","datavalue":{"value":{"entity-type":"item","numeric-id":4635613,"id":"Q4635613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$F1714748-B8CF-453F-BB43-3E0DD2D324ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d4c5e426beab398f9cd0291d00caf46c2abdac","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$00F60B29-8AE1-472C-81C8-DFF43516ED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$4FE495AE-3AE6-4153-A4A9-D285EF610340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$B75BF3A7-9048-4E3A-8682-ADC70735754F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a30f9226d075a014d29ada2c1344a894704fce2","datavalue":{"value":{"entity-type":"item","numeric-id":4636298,"id":"Q4636298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$C7B6954A-3097-4678-8020-3085E8B779B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ac1bd0803b6e4f2a276c862a21b92760aed18","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$D7BB1799-D953-4989-A88C-DB6D080B3465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbe69ef7237583e0a1eea8679424d354017f242","datavalue":{"value":{"entity-type":"item","numeric-id":5278427,"id":"Q5278427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$13A6AB69-B6D1-428E-8A31-5E723C9F1843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57051d75714f24389c768017d9959a9ec3341024","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$81CCA43B-CFA5-41C6-BF3E-AB5815E447B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e77b7a3cc9785060a74d7dfac1986704fab0de","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$1F6A4A35-4085-4BDD-A241-DEE601240A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ee75763ee37528d9d069abe7cc0c6e535782e","datavalue":{"value":{"entity-type":"item","numeric-id":4635866,"id":"Q4635866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$D1EE1AE4-67E8-4C76-BE4B-6ABA22805788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c94511ad24125fb5f88bc82804c813c9bd83ed","datavalue":{"value":{"entity-type":"item","numeric-id":5316620,"id":"Q5316620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$B78CF2D1-F82B-4B03-B19F-61DC2E24CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111281$1192FD01-A5EE-4956-8386-2A534FEED36F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7798d62c674bc041002a252144e94b52172588c1","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#KieronskiK17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111281$C16B70E3-C197-441F-B00E-26A5E33E0AEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1173c5803d98d278e3dc7bbeae90eb02f3724da","datavalue":{"value":"W2774479070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$2D8DD038-1BBB-4011-BA0C-1B6BC6243AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e848eeb88467d7ef93b2e5c12767d1e84c1c9f","datavalue":{"value":{"text":"One-Dimensional Logic over Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111281$65CB710C-832A-4B9C-9D1B-11CD0DE51405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669c7ddc705a996d7715557dcbedd57e551d538b","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111281$6AE68ABF-A580-477E-B83C-625B583897C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42032f9745ace7a92b4dc862f9bd66ff8bf36262","datavalue":{"value":{"entity-type":"item","numeric-id":5278427,"id":"Q5278427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e7d3027962b3ed07b3e632b1838140b62d4702","datavalue":{"value":{"amount":"+0.8793845176696777","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":"Q5111281$D4CC93ED-55A6-42D0-A194-481E8411874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cb3c862bbc5733dc405243ce70156faad1af9","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a87445cc97d5fd902414681daa0a86004c6a99b","datavalue":{"value":{"amount":"+0.7897198796272278","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":"Q5111281$0D5E72E1-040C-4F21-9E5B-0179D672E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ee759e574a6c7d52387968dc7301a690385469","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7143f6fd1afbba1198f0c4fed25087f09be27726","datavalue":{"value":{"amount":"+0.7872081398963928","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":"Q5111281$7903BE17-7B1A-48D9-AC01-D9B811629361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b152096f6120fb56ca724e109fa8f99f15a5f40","datavalue":{"value":{"entity-type":"item","numeric-id":4636298,"id":"Q4636298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e6247990bebef468ce5c61482d9df3136da355","datavalue":{"value":{"amount":"+0.7789451479911804","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":"Q5111281$2F706534-F15B-44E6-9FD0-61AB7596B5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe6238421e405dbeac640d3fceacfe44e535294","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1047d752afefb8d4fbdeb997ea3eba245a1a42f","datavalue":{"value":{"amount":"+0.7753966450691223","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":"Q5111281$569D6A58-6C26-4B4B-A3CE-D773D596D1C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111281"}}}}}