{"entities":{"Q1863751":{"pageid":1874493,"ns":120,"title":"Item:Q1863751","lastrevid":69058050,"modified":"2026-04-13T04:14:07Z","type":"item","id":"Q1863751","labels":{"en":{"language":"en","value":"ML systems: A proof theory for contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880394"}},"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":"Q1863751$F719544D-72B5-40B6-89BA-3BD1D3D444C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4d0a3c810d7a9c810103c85f4334c7040357f57","datavalue":{"value":{"text":"ML systems: A proof theory for contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863751$BC449D63-9005-46CD-83DC-4D23DFD3A9F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"482d79b1fd9893def8948c47463419ea595e8c64","datavalue":{"value":"1011.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$E2C1E3CC-F59F-475F-9535-EDD8C51CE1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ef10df4014fe1b40f37240518f72f29f9a1bbc7","datavalue":{"value":"10.1023/A:1019967901393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$9990A70A-B318-46A5-B8A4-FFF4AAB92F9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53872013ea29b4cd7e6f796257c94f1bb4dabcf1","datavalue":{"value":{"entity-type":"item","numeric-id":814583,"id":"Q814583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863751$2E526EAC-246D-43BF-8335-5E1F3AD1D238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863751$D7E4E75C-AB5C-46BF-82A7-DDCEC1317747","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863751$AC811A4D-3AE2-4046-B507-70D3C956D77F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863751$E9860B52-60E2-4799-A6B6-9451CCA82D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$DE91CEFA-D042-409C-9CA4-21E46DFA8949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$50A92094-195E-4A2A-9241-FD25FE207C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$FB208EA0-B12E-4928-A9FE-A18167878AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f10fd785326e21926c79a6971da36675fbb99dd9","datavalue":{"value":"1880394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$1658AC45-5BF3-4621-826C-37393DF86B9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9b405efa2570e07c9a3f8683f5a0a594823058","datavalue":{"value":"contextual reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$54285022-7CE2-41A2-8C3F-AECAC4A234F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c877a302b6ee8fe03b527e046016cb97cb0e40","datavalue":{"value":"distributed information-oriented theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$FD2EE247-2E3A-4C2A-A76B-72B4E49E0B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$1637D00A-0B3E-4787-9E83-6C4F7FD2922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26553ae143a6b655fd8ce0537d83f026bdf6fc33","datavalue":{"value":"multi context systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$4DB88B09-2ABD-47F0-8D3A-F38792EF7E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$F010A19D-54A8-4BA1-A0DA-8BAF08D48878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863751$0221A941-9D35-41AB-BB89-5639532FE293","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":"Q1863751$76AE9A66-09D1-4F02-BEA1-8E96D09E65A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7609c5e101244bb01fed6214f4bd42420413d17b","datavalue":{"value":"Q57302687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863751$D96C732B-92E3-4C0B-84F0-CF8F8913AAA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee18a334787340421074998348aedb0189f9c4","datavalue":{"value":{"entity-type":"item","numeric-id":2753791,"id":"Q2753791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8ca661e3447ad13f0d6af0fa4cb36eace11b9d","datavalue":{"value":{"amount":"+0.824921727180481","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":"Q1863751$971AF3D3-8BB1-41A1-A352-959A46FB7844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440920a7fe190643d1388f31eec10018d121d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":2317972,"id":"Q2317972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8ca661e3447ad13f0d6af0fa4cb36eace11b9d","datavalue":{"value":{"amount":"+0.824921727180481","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":"Q1863751$D0C37262-1875-468C-B702-C6CE84EAE0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf3e8bc147a75a910cb9bc1a4658d5723447394","datavalue":{"value":{"entity-type":"item","numeric-id":4837948,"id":"Q4837948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d785d0b65f65d9b33545ce5eef8dc6140245698","datavalue":{"value":{"amount":"+0.7794395089149475","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":"Q1863751$8E229E8C-3B34-4435-BA14-B7428C79E677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c953ef3a6cb47cc67b40a22d3a1ddcd2424687","datavalue":{"value":{"entity-type":"item","numeric-id":5324176,"id":"Q5324176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20996157e3518471f8073da11bcb856ea5b077e5","datavalue":{"value":{"amount":"+0.7794337272644043","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":"Q1863751$4A1ACB31-CF20-4262-945F-5D6BB4CE1BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7ee5af51200783d7dad161007d9a5bf97e77d7","datavalue":{"value":{"entity-type":"item","numeric-id":1313954,"id":"Q1313954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2747938951f1dfc7fee52b31f51bfe1c8c1949","datavalue":{"value":{"amount":"+0.7673500180244446","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":"Q1863751$E99109F2-1D1D-4A0B-BD68-18790678C600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ML systems: A proof theory for contexts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ML_systems:_A_proof_theory_for_contexts"}}}}}