{"entities":{"Q4714397":{"pageid":6743974,"ns":120,"title":"Item:Q4714397","lastrevid":41686320,"modified":"2025-05-07T05:54:36Z","type":"item","id":"Q4714397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 941039"}},"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":"Q4714397$6D1A3D11-226E-443E-8BB7-FD73D7A88C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7ca56b3ea84c19b132d4e0de8a058e0aeb59c5c","datavalue":{"value":"0860.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4714397$060EDFC7-BCAE-4818-ACD6-E8E80F62CE22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d77036adeab8664572cb1ddfc734431dbcbdf52","datavalue":{"value":{"entity-type":"item","numeric-id":690116,"id":"Q690116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4714397$4BCA2D44-C893-43D1-8A0F-BB13ED845222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"411978527b05491a026c32c1eeb973f7d7729313","datavalue":{"value":{"time":"+1996-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4714397$508C9EF0-58FD-4124-9ACC-F630B9FAFFA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4714397$4AB8C122-C6A1-45DF-89A6-F2FA3E63D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4714397$760B48C5-706C-4746-BA7F-5C00E00D0DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4714397$BD83C071-572D-4180-BD2F-068A2161D656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2fced1d0c800f008744d10e15232f1db977de1b","datavalue":{"value":"941039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4714397$59014C98-84DA-4758-B1B4-8A66AC36029A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15766574fd001c07c773d66c2fca5e49f13dbf8","datavalue":{"value":"elementary proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$EEC1FDAA-3D14-4FC3-A9FE-088EAFDDA440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$33EC85CD-CF74-498B-A3A7-7066C8BE3E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$5BF7642F-8482-4B65-BCAE-1D149A201373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$9290CF29-B892-4E11-9F67-0EBCC3D0DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$3E094E4A-7637-4230-AEE2-138138F28CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2d7e0839ec691c2ec1d06d06d94814fb143e19","datavalue":{"value":"elementary arithmetic without induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$978DB7EA-2147-46F1-B916-AB9D8E7B24B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$0779BEB4-AC3F-48A5-AF2D-96DF7D49CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4714397$37ECF739-04AE-4B6E-90D0-41882F9506E3","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":"Q4714397$919D2E18-4515-4501-A8DD-8C7904C918D9","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":"da27ac6aafecb36e174598b69128147df7d074dd","datavalue":{"value":{"amount":"+0.93665284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$73C328FB-9983-497E-8EA7-C50D194BD40B","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":"da27ac6aafecb36e174598b69128147df7d074dd","datavalue":{"value":{"amount":"+0.93665284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$EA90D679-1436-4651-8D96-15A63FD08DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0df44d7c07aedf7d0687bf04e63a76c6682a76","datavalue":{"value":{"amount":"+0.915095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$B6A0C865-5BA2-40A8-BB95-60F9A65569CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749d3636dd25bf116c421540e4812e7a6e6b8ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5435631,"id":"Q5435631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c88a6ff930e836f93abb561b42c793a39eba7d","datavalue":{"value":{"amount":"+0.90378606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$8DDB5E7D-FF36-40A8-AF53-E917B210C67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3953f28e1006c34dae76276ae3361f04a42fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d105cdf158da2196c9d115785eefa281484aac7c","datavalue":{"value":{"amount":"+0.89190125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$2B6FFCA6-403F-4E8C-96F5-2FE1C914F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c52e8163336d5a6d3b4e75e0db448d9d6b0f9b2","datavalue":{"value":{"amount":"+0.8882435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$D8FF7732-8F0B-4100-91E5-6E82E2A10A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2221350fe1f3b8c1fd37994043e4ce190f9f434f","datavalue":{"value":{"entity-type":"item","numeric-id":3160752,"id":"Q3160752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bd5b3e4a490bd4151f8fb9d620d5489b5c5049","datavalue":{"value":{"amount":"+0.8875631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$7391C3AA-7784-49C4-A5E1-EE22F7E20C46","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":"fb058d432ca8451760bbbd0cc82c66ee40babe14","datavalue":{"value":{"amount":"+0.8873979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$771E8297-057E-40AC-A7EB-399451A29605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cc52fe64c80efdbb50bca86db9ff4381a16582","datavalue":{"value":{"entity-type":"item","numeric-id":4357068,"id":"Q4357068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc94544636992a4253eb572b447fdcedaf893e6","datavalue":{"value":{"amount":"+0.88547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4714397$7BDA964C-67DB-4C5D-9992-9A1736A41021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4714397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4714397"}}}}}