{"entities":{"Q4842535":{"pageid":6872115,"ns":120,"title":"Item:Q4842535","lastrevid":47341360,"modified":"2026-01-01T10:47:51Z","type":"item","id":"Q4842535","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785046"}},"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":"Q4842535$9882E2D2-383A-4F37-BD37-622ACD86AFFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9f93c2d4801044634d916300930a7abb38179c3","datavalue":{"value":"0828.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$BC3EC406-56B7-409A-9969-CDEA283BC6B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842535$8A4E5184-49ED-45CC-AC1A-0CBCC9D00CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842535$EE067692-E09E-425E-9DEA-26A0C3363BAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$AE1CBCB3-732A-4644-9E30-2431D4CD67A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$23C5AF65-2AF0-4434-B3D9-2BAB3BA75693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$58383919-CC48-471A-BCD9-F804A2A53925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$8AB7E97D-09DE-4983-AA2F-D0FFDC9B8341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$6AE57B81-0768-4D75-AE05-6317D5298DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c615872a0eacefed2bafd4d21c4bb4125ffc5b1e","datavalue":{"value":"46L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$7E492D1A-D8FD-45FE-BA73-5141CC356485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14cccb158ac3ea86613fec2e2919fa30b0605dd8","datavalue":{"value":"785046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842535$AECF3D29-4C56-4261-BAF8-F7EE9A7B6600","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162853d244d906c8fe257a2f492fa7d7d9a7b0bc","datavalue":{"value":"\\(C^*\\)-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$26A78E3C-68C0-47D5-A72B-2D98EED33CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$FD78A847-FFF5-4BF5-A707-D8C92A61266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$01C8F7C3-FA85-464A-BEBC-6D23E41AFDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$5801F87F-80D6-442F-913E-DB4E7C9557F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$14894FDB-7F67-4994-8A01-7B46312546D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4c8bb252268ecb7f947b8e6d081d6c9119cf81","datavalue":{"value":"extended sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842535$6066714C-2C47-4C40-BFE5-56A19E53816F","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":"Q4842535$6357DE8D-3851-480E-A222-8A3C3F27B7A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133ecd69b264a4bba32dc6700dc9229d4e3c7b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0591f85974ead11ca08c40640d75383ab607b9","datavalue":{"value":{"amount":"+0.8768289685249329","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":"Q4842535$1C53C5FC-955C-4539-8B1D-90879FA65C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1b4286d348483573245aece781bd3fd229ede2","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b9d4095bc4f13b81b4fef6610afed5702c51b3","datavalue":{"value":{"amount":"+0.8412804007530212","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":"Q4842535$1742AFC7-F741-4775-8F37-5F2840FF5E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3a50e1f9853b2cbfef707fe02b3d3e119348e3","datavalue":{"value":{"entity-type":"item","numeric-id":534694,"id":"Q534694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3273c96effaa74c7e18c2d6087fe5e7d8ae806ba","datavalue":{"value":{"amount":"+0.8378567695617676","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":"Q4842535$A6438174-ABCB-446A-B2D4-ED1068711960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb994b7c0cde8d0774ce2622148a6c66c729d01","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91eb4fba35c671fc93f675ebc24bc49f03563886","datavalue":{"value":{"amount":"+0.8256100416183472","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":"Q4842535$A276D0F5-55D8-46D0-815F-D799254BDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723210faae92311ee48806307dbf53c656bf794b","datavalue":{"value":{"entity-type":"item","numeric-id":4263859,"id":"Q4263859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593e2af59a7f61eb2a5b4206e0f3acdb5ebb5bf7","datavalue":{"value":{"amount":"+0.811007559299469","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":"Q4842535$B60FAEED-C242-4C86-92CD-A1D05D178199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842535"}}}}}