{"entities":{"Q4499084":{"pageid":6528677,"ns":120,"title":"Item:Q4499084","lastrevid":47029041,"modified":"2025-12-26T02:03:37Z","type":"item","id":"Q4499084","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497485"}},"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":"Q4499084$908C2257-C16F-4C26-A498-694BF00ECAE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63315802e3d41649a68cccd048c7c4c38b39a93","datavalue":{"value":"0957.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$6850F36C-9E7B-4DA2-9044-20D65FF44332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499084$11E376C8-C51E-4CDF-9978-AD3B53CA31D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499084$07D3A556-4F18-411B-9125-D0365EA396F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4099843518a30c1bf03605cf49370c7e4c9d446d","datavalue":{"value":{"time":"+2000-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499084$56266BAF-FD28-4356-8909-CD81BB876C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$47C224EF-7461-44FB-AA61-CC8CB5B0D448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$C5941171-C736-4B9E-803D-08534F780DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$89D5393B-CADE-43DA-AB67-72FD0259B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$57AC0353-6711-4C0D-A01D-61464ECE78EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$8A2707C6-8A85-4E9C-9903-E4BF172B4631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$593CE021-2DE0-4847-A253-6D7EC51599AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$11C339D8-B4DB-427F-99AF-E6DC1B711FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$CF5EA243-95D9-4062-8F07-02FB75B0E6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$F1FE2D28-10CA-4308-B1CD-33F17F10E748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$1BC57353-DEA0-4C5E-B779-D6455C61FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$58240A7A-9100-40DC-AF08-7B1FA5E8F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$1ABCEC26-6F5B-4ABE-B750-7496B5863112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ba2d25b5554211dca7fa8ef378c36b8c32a253","datavalue":{"value":"1497485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499084$742ACBAE-F3D2-4D34-BD4E-C402AC1856F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$53760EFE-3AEF-4FF2-8CBA-3B1FE55DC31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$A2F5C3D1-A1F4-4FDA-946A-24E8DE2BD730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$D4F76AD2-7C71-4B77-B052-EA4037FD5055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$8AE915F9-BFDF-406E-902E-8CB0EAEE242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$3310962B-7283-44A9-A27F-4A2685C31E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$1CAD6864-0B79-4ADF-A4EC-BCF736F3F348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40270d208f9c7e90a686bc544563e5234d1d04f1","datavalue":{"value":"Gentzen type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$9ED6E998-91FB-4809-8671-20F04F136BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$BAEC9D85-2ED3-475B-8A30-27B71F79DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$7F40E9B0-3940-4951-BD9F-5965EC9BF9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$1ACA6340-6A60-4A0A-B94F-542D3C596DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$241E9A87-CFAD-4B55-AEA8-85012598D31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$4D207C38-6BD8-467E-9FB7-FF27EF1603F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c1502535bf10e9b1df1f224c00abf1d051825a0","datavalue":{"value":"formulas-as-types relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$DADE5275-990B-4D68-8DF3-A69531F642C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$B23A26B8-B6C6-49DB-AD3F-1BC6DD64818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58240fc6fd18ed006ad20ac43f9ca1f0eeabf7eb","datavalue":{"value":"coherence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$1A543E38-00C7-4DB3-8913-F08E46B2D105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$2A846117-758E-45FC-83C1-B738913D6D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9118e5e69eea02e39047e12fba5745791d12afd9","datavalue":{"value":"second-order Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$74BDFC18-B41E-4205-A61D-44A44C46A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$70F49FBB-E22D-42E9-8EE2-E1A5AB40F4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663724a584ae0fdc852525414dac0b555577df3d","datavalue":{"value":"Hilbert-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$D0625491-007A-45B8-9CFD-0DC567D21F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$007D4061-F06D-49B8-B6F1-817F75D22654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$DA6BD719-5983-41DD-9020-337DBB307B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392af5a4ed573dee4a4f02980b3e0f2791c4dd9","datavalue":{"value":"connections with computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$0AB48632-1A72-4848-867E-74B5D0D42ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$14831B4B-E119-473D-9505-363598D55285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920ccb18e50a6b284330e655c270f7d4fb771fcb","datavalue":{"value":"Kleene-style sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$40A4C115-F330-4FE0-A794-03200CCEC130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d191b743440d3e0da79316573c23530b97bf05","datavalue":{"value":"multi-succedent intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$E3031520-3DB4-4442-BB96-8E2A3CC1A10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b737879ea509a88da69fe41918c39ccc302d7cb1","datavalue":{"value":"E-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$D100CDAD-7808-452C-A348-7CE605341A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59741a317de4e1edabc5a6c0e0ae478ac2e063d8","datavalue":{"value":"apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499084$8639EA1F-6DC1-429D-BAFE-1C0E92E01C78","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":"Q4499084$D9D9F580-175C-440D-BD4C-F3A167DB2AA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cdb5ab43aedf42f847f2dd88988398dece14b6","datavalue":{"value":{"amount":"+0.8287419080734253","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":"Q4499084$5AC17B90-309B-4C5F-B5A9-F1873ECE692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feee21bbf6f762f351a1e431f58cacd4d9eecc2b","datavalue":{"value":{"amount":"+0.8077726364135742","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":"Q4499084$4AC9D296-AA43-459D-A793-BFB5CDAD37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8d33dcd38f51b0bd34c290a6c06517ed4a3d65","datavalue":{"value":{"amount":"+0.8028036952018738","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":"Q4499084$B7E1C5F3-730B-4D78-8C04-B97D807CFC04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499084"}}}}}