{"entities":{"Q3114184":{"pageid":3124900,"ns":120,"title":"Item:Q3114184","lastrevid":45472168,"modified":"2025-12-09T03:02:04Z","type":"item","id":"Q3114184","labels":{"en":{"language":"en","value":"Proof Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6002695"}},"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":"Q3114184$D1CE4219-31B9-4768-BD2D-706A5C2FA8CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"847902d0603339deb0ef66000878c44e3270b3d1","datavalue":{"value":{"text":"Proof Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3114184$C8F1ABA9-E531-4F90-9DFA-221F78F2C9B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4ceebb67ea6cffdddde20296975597628eb9373","datavalue":{"value":"1247.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$76F2BFB5-9709-40FD-9083-86D8A1F4DD4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"076bfeccefe6d916613a7744d55dc5fd0da0bff0","datavalue":{"value":"10.1017/CBO9781139003513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$01299ED5-7EAF-4BF3-885E-942A5F8DF02F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114184$81974349-18D2-43B7-AEAE-7E448D7A4176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114184$D8098EDF-E9AC-4A00-A7E9-D858B2ECFEE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a630c67b3b0da95def5f9447f3f229c52351367","datavalue":{"value":{"time":"+2012-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3114184$829E32A6-B4B7-443F-ADBE-B78DBC606CA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$7FD7109B-81A6-4D47-BF0F-6CF022325743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$D79A3757-EBE8-4E63-9D70-18881DE90DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$17A4B462-C269-4E5D-B162-2B33BC02BBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$36EEEA12-435F-4C09-B2BA-FBF561492487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$C621C0C4-3BC2-47ED-9EC3-D6A49E174285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aa7aa03f7f67c0c3d3a90bbbe0ba4f3a4d4c3eb","datavalue":{"value":"6002695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114184$C3A3EACA-B034-4B3A-A11F-2E2110FAAC32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42b78dbb6564c3024267b7d2634512fa5c2d9","datavalue":{"value":"proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114184$BA53E5F4-0B76-48F7-8A3A-40F2713EC746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9169f25ccd4ca88e0880ca67d65168ce1e381e5","datavalue":{"value":"mathematical axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114184$E23D02CD-322B-46B5-B7B9-6847340A83C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114184$FC5FAA78-EC9A-455D-A530-25012CA2E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114184$1B26948F-F19F-4A0A-B49B-2A9498B92713","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":"Q3114184$B919A68F-CE5B-4F23-9DE9-BFB70482BDDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35a3da9b8c48822c7776bf3d68941d9b771216b","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae0fc48de7618414b2f301e746aa7916c758fbe","datavalue":{"value":{"amount":"+0.9030346","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":"Q3114184$188926C7-74AE-4AC7-B5A0-57F8A40D7CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266cdebc91e5300bc3ca6122b4626991f0ff3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4983332,"id":"Q4983332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfdcc3c7f14cf51d64af894b9fe9daefc18153c","datavalue":{"value":{"amount":"+0.8835025","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":"Q3114184$B2B1FB05-BB42-4D23-8C14-816FBA359DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0e6968fd730e91d94506e75433e1959ad30e36","datavalue":{"value":{"entity-type":"item","numeric-id":4934555,"id":"Q4934555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d0269f93d8e2d429bb343895cdac2ba8ac4065","datavalue":{"value":{"amount":"+0.88226205","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":"Q3114184$0FA37609-02EA-447A-B711-41BFF6C24932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee67914aaf39d89f532af3e0d7a3b19151b02c","datavalue":{"value":{"entity-type":"item","numeric-id":766891,"id":"Q766891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0d447c8d1bd7b7e985749e96eb9954a21a5179","datavalue":{"value":{"amount":"+0.87692094","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":"Q3114184$FAD8B8A0-F4DC-448D-BE57-D6A1CE8F8DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d52640a296726ab0d9cbc0d5534dfceb6bd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5013899,"id":"Q5013899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb289e9b6985bdd2cd31f245823c90b9baaa3351","datavalue":{"value":{"amount":"+0.8750514","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":"Q3114184$2D1B8F0D-6201-4C54-9E80-3D7D7D4DDF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af52b955c4a528eb4b13e3bce02cc54fd23aceb0","datavalue":{"value":{"entity-type":"item","numeric-id":3018989,"id":"Q3018989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646bdbb1c16893204badb0dc0916e7e53c737bdc","datavalue":{"value":{"amount":"+0.8747279","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":"Q3114184$94DC1065-2E3A-48D1-9637-0BF5DEFC420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c00f2a71d4e442a27a39bb07c5ed24eecb02c25","datavalue":{"value":{"entity-type":"item","numeric-id":3589379,"id":"Q3589379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e41b04062c9b7f83046c136580176bfa6ab7874","datavalue":{"value":{"amount":"+0.87269706","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":"Q3114184$07FD791C-7F3D-4708-ACA3-E331FBA09D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909dd74eb015e4cf43cbbe0e1a9e5362acd31d43","datavalue":{"value":{"entity-type":"item","numeric-id":2799541,"id":"Q2799541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1b85829307c63041889ad46015f8820eb4e823","datavalue":{"value":{"amount":"+0.86460835","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":"Q3114184$AB1CAB65-F5E2-4315-BB46-48A54DC106C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8bf0bbe2e9f10a3f35588067a74a89ea8dfe98","datavalue":{"value":{"entity-type":"item","numeric-id":4999183,"id":"Q4999183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f878a67510de42f7ccf9efc2384cfe009ec1d6ac","datavalue":{"value":{"amount":"+0.8629558","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":"Q3114184$C9050706-3B9E-400F-902D-57CFF21EE286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1476e0b5c2d7a25ffdbf7992ea12bc63a6364b08","datavalue":{"value":{"entity-type":"item","numeric-id":3001098,"id":"Q3001098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0eacc5abbdbda851201244b6ce657f4fc374cd","datavalue":{"value":{"amount":"+0.86107254","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":"Q3114184$D179F4E3-9844-4DDD-9CDE-003832E5B8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3114184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3114184"}}}}}