{"entities":{"Q4222844":{"pageid":6252445,"ns":120,"title":"Item:Q4222844","lastrevid":46608843,"modified":"2025-12-25T05:01:18Z","type":"item","id":"Q4222844","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231529"}},"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":"Q4222844$BCC42446-F683-4138-A43A-5EB55619959C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72046b3a50c31f16c66277c4fdbac086e448ffdd","datavalue":{"value":"0908.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222844$982E8213-D1BA-4A95-AE96-52A772EFC1D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93999ca0789e250fb0db50708f38a31742036836","datavalue":{"value":{"entity-type":"item","numeric-id":550252,"id":"Q550252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222844$C84607EC-7AB1-4199-BFF6-9C9F5F8964A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4525c955b47badf335bb39d178a4075baf3a0250","datavalue":{"value":{"entity-type":"item","numeric-id":1345899,"id":"Q1345899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222844$40142DD2-8B95-47C9-8A30-99C09245BC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991173f2ea22332135ad6abd3f0c984815ecedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1345900,"id":"Q1345900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222844$80DBB8C6-C8B0-4AD5-AE3C-A92F66282961","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222844$B7534206-A1B8-465B-B0BD-9D72ED4D7748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e9a11fac8810b56142184512d5df7faa83b3ee3","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#schellinx","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222844$C48E0746-BFC4-4449-AE1A-0A670210D19E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222844$CE2B03DE-B2D5-45D8-A705-B3D76B23C62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222844$916FF481-AC87-45C3-9579-E28A55AA5B74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"219321156c6ccada4b9f856008852d141a0ca2bb","datavalue":{"value":"1231529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222844$1A6C73BB-FA43-4C2C-898C-E33EDCB0A360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c816f5349fb909abc49bc4c15dc1db0f8b10feb","datavalue":{"value":"fragment of classical sequent calculus LK","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222844$BD288296-B961-499E-8A72-CC4C164B0DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45cd1f2a501dc32be2ab2e623b4bb99e01ef0131","datavalue":{"value":"computational isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222844$1AA718AB-D898-4A92-9E8D-0C1D862F59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4026a75b72e1e72cde00e685c92ecc3f1f9ebd08","datavalue":{"value":"reversibility properties of classical rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222844$658B6EC8-A723-4C2A-BAF9-32ECFFC1BD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b06075f263fc66fe1c25009d6246d401bdd00d","datavalue":{"value":"Girard's denotational semantics for classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222844$6D6446BF-7F92-43FA-B03B-D102D375E0E5","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":"Q4222844$1588FF76-5F8F-476E-83E4-8BE7C4869C16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441716e34dd313377e651b9dcaf1008f82275ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1398471,"id":"Q1398471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d593b377b99332d7e0be4d2a0610aa8d8f956d13","datavalue":{"value":{"amount":"+0.9000852704048157","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":"Q4222844$E4F15BF1-5840-4EF8-99AE-72BA43D16189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693a42c13d14166cbea12d11a5c153d2ecc42079","datavalue":{"value":{"entity-type":"item","numeric-id":3117775,"id":"Q3117775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbacfe649840fe54bb07bb3873cbebd88d55709f","datavalue":{"value":{"amount":"+0.8013231158256531","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":"Q4222844$84983E07-5AC4-49EB-97BA-0CD2EBC9CB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc04a9ccbd9afff3043d7e8e5262fe9f64f512e2","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9321acef89029e4a46c20f3258153dd1abd306af","datavalue":{"value":{"amount":"+0.7752805948257446","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":"Q4222844$F02E80D3-439E-4F2F-A3BA-B78B879C9DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b258f0d28130d56badaf6807fd32b2190d526b","datavalue":{"value":{"amount":"+0.745204746723175","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":"Q4222844$398DC027-92D0-4F79-81A9-28C6D6498620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222844"}}}}}