{"entities":{"Q4896474":{"pageid":6926053,"ns":120,"title":"Item:Q4896474","lastrevid":47418247,"modified":"2026-01-01T16:50:00Z","type":"item","id":"Q4896474","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937330"}},"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":"Q4896474$0DBC4987-A740-42D9-85CA-9DD140F16C9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c80cefcdc515c12e5d35fd5d7aadeea8f6296906","datavalue":{"value":"0862.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896474$3B152F29-299E-474E-9A1A-7E8D73F7A8D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef6258a24d49f3138933724f3b30422abc339ab","datavalue":{"value":{"entity-type":"item","numeric-id":408340,"id":"Q408340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896474$EC31005E-FB69-4FDD-93C8-D2C9149698BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896474$65B61EF4-51DC-4F79-A219-733F86C7078F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896474$2F69EB3F-A298-473D-B8A2-C6D28AC15272","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896474$B4EB2FD7-5C8B-42E0-B20F-402752E247BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896474$80B61CE8-9B43-4E76-92C2-4F3249938B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02fcdf603e3a61b042a6788f8c4d6a40eaaa7535","datavalue":{"value":"937330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896474$A4CABEE1-37EC-4E1D-8F1A-D7F623D1B518","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddb6b92164e4b150c7315e5feb6d9606fe9ce06","datavalue":{"value":"classical sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896474$B9E56441-1A01-4E14-BD04-33A6C89C7BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2e21408a6418554b98e8f5671019a8c793b44b","datavalue":{"value":"stable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896474$C40A27DA-5D8C-43E0-9078-7AF3BA6F9F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896474$2884D8E8-621B-4AA2-9FCD-BBC41B9A42D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d87312bdb0c94cb7463d3632e4fb2e49a300182","datavalue":{"value":"decoration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896474$960B6D71-0DA0-40B3-901E-107216298095","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":"Q4896474$CD6EB7D7-D9E0-4145-A988-68F695CA4277","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee7886267e483c781e55c64a1519c3f8896e51c","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51e671e277d54ca14a3e15f2b4027a05c72db09","datavalue":{"value":{"amount":"+0.8234504461288452","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":"Q4896474$1EC04E2C-615C-4C6E-8D5C-280F4ACA4746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b208a872be51ac8a783f6d23308a4fd5e01ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4364522,"id":"Q4364522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e93d9a77c1ff42f4e8efbc84d3ab5cc6919e2e","datavalue":{"value":{"amount":"+0.8096288442611694","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":"Q4896474$0EC30612-2EC1-42CC-BBB6-BE849E0CAC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84597e150509d61085ad91981a29e292997c686b","datavalue":{"value":{"amount":"+0.7952178716659546","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":"Q4896474$854CC80B-E380-4694-A8DB-D1E7660987B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e5bc64f21c8eb993f33e317008334b7b05469d","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f6e7ef23781fd29ccb5d61cb9acb0db821991c","datavalue":{"value":{"amount":"+0.7355844974517822","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":"Q4896474$708F0883-55A2-4706-8B82-B310AF4F1E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2119097c377c7c4676e1d99d1967489f21329ad","datavalue":{"value":{"entity-type":"item","numeric-id":2870127,"id":"Q2870127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3eac7348c790123410ef1d3824ae793bfe3a221","datavalue":{"value":{"amount":"+0.718747615814209","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":"Q4896474$5E11A7F6-CD44-436F-AC01-08B79A71E97E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896474"}}}}}