{"entities":{"Q4716271":{"pageid":6745848,"ns":120,"title":"Item:Q4716271","lastrevid":46463307,"modified":"2025-12-24T20:20:34Z","type":"item","id":"Q4716271","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 949290"}},"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":"Q4716271$E58C879B-E56A-44BA-97C7-AC0EB051DDFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c06c2aab7764e0fc13565a97664c12bce000ee03","datavalue":{"value":"0868.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$14EB6D97-350E-4714-9497-5AF59B5D053A","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":"Q4716271$14E77635-930B-4E0C-B4D8-C4BB33180991","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":"Q4716271$03C4788F-7112-472A-B025-6B3501781A02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf80918924619bee5a9394ae26c1c7a83195bbf8","datavalue":{"value":{"time":"+1996-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4716271$D3A3E350-EAF8-421F-8BBF-1C8AA8606B7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$6A2AB9DF-329B-445E-AC08-942FFBC1EE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$D7BCE59F-C9FE-466E-ADDB-915767C8349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$F7416F9E-02FF-4A2F-B0AE-B8DC589B7262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$2DDC8E02-563D-472E-88FE-0441BF06F87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$BE373ABB-7163-4462-B5FE-739231964B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$35AEFC46-454F-4A33-BC70-AC3C51736619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$8F796AEE-E622-4B00-95A3-720A84FD06AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$9383BCAE-A025-43DA-B63A-1357C27B6EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$6C44CDE6-F9C6-41A6-A98C-9F5F93348EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$9891E450-3DF4-4F44-A373-D2F829D42763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e9074830048aa95c241621a42baaff049c4382c","datavalue":{"value":"949290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716271$5FB15FEB-C7D5-4C77-AD43-394BD7CD6AB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$49EA38A4-165C-4570-9452-08D0013EB1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$95CF5057-3CD4-48F3-B377-AF8FBDE23905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$F4349BD7-0B12-44A1-979D-86D9A8020CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$9494D2C0-D794-449E-8F99-BFBF5FE50164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40270d208f9c7e90a686bc544563e5234d1d04f1","datavalue":{"value":"Gentzen type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$DA7C0A84-F9F1-45E5-8815-5D61DBBEBC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$4749822B-4609-4695-9F3D-B5508396F5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$364093F7-B637-4A6F-8CFB-D37F3D9F5E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$724C06A2-F897-418F-9878-75DFD5E7E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35e3f0c0581443c3dbdf431aaa5a7a9a83634","datavalue":{"value":"contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$BEE44AFB-4E49-4BDE-BEC1-653101A0D9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$6EE49672-2C2E-47AD-AC2D-6B8E42B9CD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$791B77C7-38C7-47C8-9647-C7DF4CC93E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$3C1BA77E-350F-46B1-A5E7-DC8E9B386DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c1502535bf10e9b1df1f224c00abf1d051825a0","datavalue":{"value":"formulas-as-types relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$08666C23-F347-4F69-870A-7B1C2010B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$62140B77-030C-441E-869C-6038C4C2D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58240fc6fd18ed006ad20ac43f9ca1f0eeabf7eb","datavalue":{"value":"coherence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$224C60DF-1793-422C-A873-7EC657B7DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$FEC14298-40A4-4C5F-BAA0-E677A9AB8DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f2795e69acdf7f65bc20e3e3146a0504e7fe25","datavalue":{"value":"second order Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$9417F8A0-198F-45DF-8ED7-050DB45E7CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e489e9f697d49e6fe340f30e2bfa259f3b34b8","datavalue":{"value":"intiutionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$03DDFD21-DD2A-4F37-8FFD-EE7D555EB10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05837ae35465312889c4197cb6f87eb36c5e902","datavalue":{"value":"Hilbert style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$AA219376-C8A8-4AB0-BB36-130F4B25AA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$8A044C76-1530-4E90-AFCF-49D0DE5B60CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$C456D7A4-FF22-4430-B129-B2D8681AC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392af5a4ed573dee4a4f02980b3e0f2791c4dd9","datavalue":{"value":"connections with computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$7B61DB66-67FD-43EB-9D6A-ACD503DC6627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716271$36D59552-6BB6-4AF2-81C8-CB6E84881BCC","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":"Q4716271$62DE69BB-DD6F-4AF5-A47A-891D715134D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62db80fd192bd409c1d682c81cadc8d95ae413a","datavalue":{"value":{"entity-type":"item","numeric-id":3138826,"id":"Q3138826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e868beec8cf9b1516a465527fbda073e3c09d98","datavalue":{"value":{"amount":"+0.8255009651184082","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":"Q4716271$AB49A445-0338-46DD-8350-A85FA61109AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75d5087b8325fa1c328b14556878a27ebf226c3","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eaebfa8f9d526726a1ca87de9485dfe3eacdbcc","datavalue":{"value":{"amount":"+0.8153733015060425","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":"Q4716271$8D6DA5EC-B958-4405-A1D9-CE928AA8B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dff92d0ec4445ae93ac2583555fd6e9188f9b63","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e3ae56b3954fda6cac9041b49752a20a919cc7","datavalue":{"value":{"amount":"+0.8116216063499451","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":"Q4716271$4797AA87-A2FE-4ED4-AF13-AE18BCAE86D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288a955c766302812835c6cfdaef0e8e005df925","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"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":"Q4716271$AA95CE97-340D-471E-992E-5C721CB3B5E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4716271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4716271"}}}}}