{"entities":{"Q5049030":{"pageid":7078607,"ns":120,"title":"Item:Q5049030","lastrevid":41654306,"modified":"2025-05-06T20:18:28Z","type":"item","id":"Q5049030","labels":{"en":{"language":"en","value":"A Programmer\u2019s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614692"}},"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":"Q5049030$81BA883F-D643-4B27-AB62-2C2DD467629F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08785b610f85f10ab5f58e98493573aa563bcbb0","datavalue":{"value":{"text":"A Programmer\u2019s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049030$5B355B78-A51E-4CB9-8D18-DF632A1022A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87d838b7e77999f2524939e7b89a416991df8a3b","datavalue":{"value":"10.1007/978-3-030-51054-1_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049030$F17154C5-1BC6-4196-B860-8C265378CC42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0595dd8ce50ff2e89f05b79cd1ea60e6b14e322","datavalue":{"value":{"entity-type":"item","numeric-id":2405257,"id":"Q2405257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$23235766-A36D-4BCB-BC1D-B882F5E6E1C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$36EA00F5-B1FA-4EB3-AC42-C83A0789E161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-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":"Q5049030$43CCAC6E-B75F-4201-9200-E728FD41535F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049030$6AEED23B-7A2A-478E-B188-11DB811F68C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e2398ee7b4eab5294866b40373d60323bfac3d9","datavalue":{"value":"7614692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049030$72B544B3-D841-4C62-8D24-E6F704192B93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$500CF3E6-33AE-49BF-BFAF-DB8E7F683621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9e8ebf8638aedba167339ba33eaad4bed96b34a","datavalue":{"value":{"entity-type":"item","numeric-id":27082,"id":"Q27082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$64ABE78B-5511-40CE-B8A3-7A65279D92AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$1DF11247-103C-49CF-A98D-1450202D773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"505d008ba9ec699c3e03e14abcae2354bf366638","datavalue":{"value":{"entity-type":"item","numeric-id":14425,"id":"Q14425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$233F18C9-8A1F-4477-A441-2FA1F2DB062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$1742CF0E-2BAD-4835-9D4E-CE4EABB873C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$2E5B2F2B-1FC4-429A-92AD-FCAB7E5B482C","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":"Q5049030$81A15C52-0C0C-455E-B49F-55014FEA6385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59028b4d4b9ec054414f70bc1b8c4dfdf4f4c92d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049030$BF13F1E1-66C2-4FE9-90D3-0128E1DEA1BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a4a54fae9e34d4238bb75f8b8b42f4def873cad","datavalue":{"value":"W3038854970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049030$9BD00CEC-BC14-448D-9D3D-50BD7B0AB5FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$8749B69E-565E-402D-B7D6-68ABB31D555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0640751f1f3cd25264a5ef10f535d7940db1824f","datavalue":{"value":{"entity-type":"item","numeric-id":4398334,"id":"Q4398334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$2942F5F0-2AEF-477F-B94B-8F97A21D829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7620e7d6f1e604896bd82891927e48208bb84c53","datavalue":{"value":{"entity-type":"item","numeric-id":3568226,"id":"Q3568226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$82242BA4-B4A1-4147-ADBC-99FFAD0407AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$F70FBBD2-2716-4BE5-B713-208DE10AD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514a4f7338b45fdf5de5487918e2ae3d624f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$E87E972D-1D27-4739-B2EB-1FD0085F7401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049030$01A13350-63A3-417D-B7D5-2385B04ABC18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff3aaa41cf50e9acb9a57e7059f2429093d630d","datavalue":{"value":{"entity-type":"item","numeric-id":4037297,"id":"Q4037297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f66c73175c83134f15565465f926d0c615acda4","datavalue":{"value":{"amount":"+0.79733276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$EC95E066-6C59-4387-B91E-AC258B513A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ba175c3b998324dfef7b31903800589cbb12a9","datavalue":{"value":{"entity-type":"item","numeric-id":2767009,"id":"Q2767009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d52e1085c0eae885825baffe794eeb97381a71","datavalue":{"value":{"amount":"+0.79271543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$64993D70-DE50-4652-8D51-A971DD5EF9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4758952685131ad523d60a941fd0664329c8144","datavalue":{"value":{"entity-type":"item","numeric-id":5298793,"id":"Q5298793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fceac908b3c6e56ace4aa78a1afb43059ff7239","datavalue":{"value":{"amount":"+0.76700425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$37712E9E-25B0-49FD-8522-56CFB3D455B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be140c0463cb4df409ba21079d1beb12adf7aae4","datavalue":{"value":{"entity-type":"item","numeric-id":5424668,"id":"Q5424668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545f42626f70d9dab6565b555f5e20aa61284368","datavalue":{"value":{"amount":"+0.7669693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$0469CC90-C4B2-4651-9906-4D59392192A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bd42cffcfae22945f99f5559e044d90384e725","datavalue":{"value":{"entity-type":"item","numeric-id":6083695,"id":"Q6083695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eab4f57630e538e89ea130abb1ba965cdf71eb5","datavalue":{"value":{"amount":"+0.76508385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$835DDE11-9405-41ED-8904-5B223ABBE3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7dfb7707805376da149dbb9b9f4525fa3f40ee","datavalue":{"value":{"amount":"+0.7643908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$736C829D-8CD4-4E06-BB73-3E1F582FDC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7405b9902aea4d2926eafebec2ab3bdc67136871","datavalue":{"value":{"entity-type":"item","numeric-id":3316578,"id":"Q3316578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c8f30d6a5305b2e5d41369a62cfbd03b6f12a5","datavalue":{"value":{"amount":"+0.7616287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049030$EA74D14A-7402-4566-8770-F4156DEB9F03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049030"}}}}}