{"entities":{"Q5278427":{"pageid":7308002,"ns":120,"title":"Item:Q5278427","lastrevid":52859978,"modified":"2026-01-23T16:10:18Z","type":"item","id":"Q5278427","labels":{"en":{"language":"en","value":"One-dimensional logic over words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748887"}},"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":"Q5278427$BCC63096-F431-4173-AB1C-A1B5DB7222CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b7827ee209791dd055902b461c9d9e4d65c659c","datavalue":{"value":"1370.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$A7A8D083-B583-4C2B-80E1-04B2A687E4AB","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":"Q5278427$308AEE5A-0616-4A10-8AA1-C9C03B7F12C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278427$51D5B870-F572-4C6D-8DA3-6E9DF10FA42F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$1C1E91D6-461E-453A-B9E7-D16B584DCC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$53BB95C7-AD86-42D2-AD28-3CCC21B10779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$2487D3AA-3E79-40CB-8C13-5A5616C6DB8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0adc377becb0a707fd60fc6542185cd25026e0","datavalue":{"value":"6748887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$3FD4A2AA-164D-4C6A-93E3-3EA221CAA582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278427$C01B3E02-03F6-46AD-89A0-87A60A7E64B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278427$79291E33-4DA9-4542-9A09-9B14BDC95C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278427$0C1E32FC-4EF1-41FC-B023-153C04577FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278427$77201857-225F-437F-B279-9432D9D13D19","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":"Q5278427$3FEEDFA5-FA3B-44AD-B842-3B2A3833F4BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85ab7bc5855fabf59990bc19e6b7200105b2e22a","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2016.38","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278427$BB510935-1A9F-43C6-A22E-B382C9E66FDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6211dcd09c46957c8c91fb6620db84a8d61fad","datavalue":{"value":"W2548723278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$5CE28694-701E-406E-B805-4438587EAC50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45deb6ce6ce3ddbe0b4e15cbbfb17026ac8b2fcd","datavalue":{"value":{"text":"One-Dimensional Logic over Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5278427$3405F0F5-CBDE-45AC-8B66-3187453E5DC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2d6b3815e262b83ddd06f1923922baaa503f4b5","datavalue":{"value":"10.4230/LIPICS.CSL.2016.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278427$F3B1AB09-FA81-41EF-A157-52C0B80FD0D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056881fdf2e1f50ccdfb044af367edb09b506c18","datavalue":{"value":{"entity-type":"item","numeric-id":5111281,"id":"Q5111281"},"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":"Q5278427$87D2F5E7-8AC7-4241-A395-A04F6B4A372E","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":"1881cd9be203d11a5abf369b3e41389d05665101","datavalue":{"value":{"amount":"+0.8498086929321289","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":"Q5278427$CE3AEC0E-7F80-46C5-899E-7AD57E11D705","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":"676d62a478027dd2e51f934474ad7fcbe581a442","datavalue":{"value":{"amount":"+0.819381058216095","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":"Q5278427$389E57F8-B326-4A36-B166-5340F4799E94","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":"2899dacee8eeaa3547c454b3f73282dd344c870f","datavalue":{"value":{"amount":"+0.8190349340438843","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":"Q5278427$9D33C759-C4FC-4F28-AA47-81D5EDF64095","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":"67f2a6a27accbbfcf517278346bf97c24fbe8d1f","datavalue":{"value":{"amount":"+0.79469895362854","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":"Q5278427$6D44BAA9-E640-4B6E-96CF-DBA1B9498E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278427"}}}}}