{"entities":{"Q2848685":{"pageid":2859405,"ns":120,"title":"Item:Q2848685","lastrevid":51834713,"modified":"2026-01-20T06:53:08Z","type":"item","id":"Q2848685","labels":{"en":{"language":"en","value":"Encoding RTL constructs for \\textsc{MathSAT}: a preliminary report"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212131"}},"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":"Q2848685$89C6AD8E-8E5F-4CEF-B09D-8D97F253BEBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e506ba7a530d9e185ae2c5e9fbfb2f3933786233","datavalue":{"value":"1272.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848685$A85955BA-9023-4EF8-85ED-8D19411E2DFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$7A6E7AB4-1BAC-4DD8-9A96-21871CB9012D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b1bce7f658807241618c24b1a425d03bccc6443","datavalue":{"value":{"entity-type":"item","numeric-id":479813,"id":"Q479813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$40D76195-DED0-4EF4-A53B-11A8D3DDC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$D0CD0AC8-D6AC-4FC5-A8E9-08AC82840550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd48eb61e203d5044e95bf99a9a9627aeaf2505","datavalue":{"value":{"entity-type":"item","numeric-id":1037398,"id":"Q1037398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$E655177E-644A-46AC-BFBB-B8D379DA6D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc54f67a4ecde059306e32c7c4714fefe997d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2845510,"id":"Q2845510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$F3DFF679-9613-4B5C-9C2E-CCAEC1CD4C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9841a4a2c68104cd90c98f0f83f348c6f4bc15","datavalue":{"value":{"entity-type":"item","numeric-id":2848684,"id":"Q2848684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$71FF6709-6855-4CFF-A39B-F34172922466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$5E46CB94-2C37-49E9-8653-934A52F48E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848685$12602887-4441-43F3-8843-EA9E6C396005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-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":"Q2848685$8C5C91F1-1663-4B9B-BDB3-9A2E6279ECA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2379befe788fbf4c0438dae695b171e70b0b7074","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610600003X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848685$F4EAC7C2-9A46-464A-A2CE-999AAE295AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848685$C0BD38A0-9298-4F43-8C23-B41C3BDC967B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"998365fc6e5d2f95c1d2d6fdaecefb323323c777","datavalue":{"value":"6212131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848685$6C213650-0D13-472B-B5F2-B154EA125DF7","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":"Q2848685$1BCACC7B-0E32-47F3-BD29-2CBD18E929F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71ce9cf372b965e36e4ae28fc6ee7bb1db367fb2","datavalue":{"value":{"text":"Encoding RTL constructs for \\textsc{MathSAT}: a preliminary report","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848685$D22510E6-C0CC-4374-9866-ABCA9F84A049","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ee1543602a49b70abf79c4f9e2688587d1cc15","datavalue":{"value":{"entity-type":"item","numeric-id":862395,"id":"Q862395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfb6bd9ce0558f7e00035708404f8a12f9967fd","datavalue":{"value":{"amount":"+0.7360936403274536","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":"Q2848685$1D777CCC-F3F2-4779-B382-72CA326627D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6732d6e9db663678f6a92a9419b533fbcb160d6","datavalue":{"value":{"entity-type":"item","numeric-id":2487686,"id":"Q2487686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a2c7389ae8682766dba8eee95f30ed2bfe1731","datavalue":{"value":{"amount":"+0.7227548360824585","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":"Q2848685$728522B3-0B1B-41CB-985E-7B4C76DA3FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2850ed93b9300f9fa6dfcd630fc70b3e6cd1a60a","datavalue":{"value":{"entity-type":"item","numeric-id":4735931,"id":"Q4735931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203575716129ce8b19f49644de66af4621f869fd","datavalue":{"value":{"amount":"+0.7029099464416504","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":"Q2848685$7912B3C3-75D1-42A7-B47A-5C42545F0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc090f046e06c5ba7334a65d09ac894baadafbac","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234e52e38fe444386fa839868c66a112072a671e","datavalue":{"value":{"amount":"+0.7003520131111145","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":"Q2848685$A879D4F0-7CA4-40C6-80B6-08677C33EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c0f951706d84d9d44f515cadada4a96e9f1832","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6ec790b635ba81c8545f3cf98c73eeaeeb33a7","datavalue":{"value":{"amount":"+0.6890062689781189","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":"Q2848685$B74BEF34-0D9B-487D-8221-CABF4B92EB94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848685"}}}}}