{"entities":{"Q2806784":{"pageid":2817522,"ns":120,"title":"Item:Q2806784","lastrevid":42142308,"modified":"2025-05-26T09:24:05Z","type":"item","id":"Q2806784","labels":{"en":{"language":"en","value":"The inverse method application for non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6582275"}},"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":"Q2806784$E648F049-8838-4E22-AF0B-389CEE053B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78b278bd1a844b16fc7f3d1ab03106dfcc2885a0","datavalue":{"value":"1346.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$51DD4485-7043-4B94-8F6E-30067C671186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dfbba4b5305381afe4f2daa1741f438642e54","datavalue":{"value":{"entity-type":"item","numeric-id":280991,"id":"Q280991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806784$10DF28A0-5689-40C5-9F4E-58521E0D0008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e54f76d0128af9be4f85e3abdcf2e3834a39d9","datavalue":{"value":{"entity-type":"item","numeric-id":2806783,"id":"Q2806783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806784$77372DAA-3D51-41CD-A876-D1DB48E540FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ae89f89045e98f672693a874c284ab9c0abdf4a","datavalue":{"value":{"time":"+2016-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2806784$FAB0E81E-91B3-43A4-8A26-99037DE9179D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edae6c6b19f5fbc0917ffea148f8a5847fe16359","datavalue":{"value":"http://www.j-npcs.org/abstracts/vol2015/v18no2/v18no2p181.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2806784$08D5EDCD-1F9E-4CDF-A0E5-F67C91C494EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$DDD84FC6-C182-4F26-AE83-C90D50E771D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$33B069AD-F3FF-476C-870F-DCF2A9787F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$7687361B-228D-4967-89D5-8C4E117DCDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$85E7EF11-D93E-4021-804B-4091BEFBE8EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"241c82f1d2d942398647f71872b109b753d2ab8a","datavalue":{"value":"6582275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806784$A248BFA8-3E11-4C52-9957-76F00CABEEA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806784$E18A0EA9-5739-4A2D-B934-936B4C497C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806784$D832E417-C69D-4B61-BE87-623B96F44FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806784$E53371B8-E117-4A23-B45E-41CE4EF96D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3e52067a7ed3ce53605a49bd0992ac3d371713","datavalue":{"value":"inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806784$A2A97EFD-267C-4306-8B22-89CE71E0031C","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":"Q2806784$B532CFAA-45A6-4226-8FFC-9472B2738B9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143cbf6d0b23424a947f4e984ddd7a3bd8e900ea","datavalue":{"value":{"entity-type":"item","numeric-id":4537975,"id":"Q4537975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776e78968f2899739175707b62d8b6252060f11d","datavalue":{"value":{"amount":"+0.90389585","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":"Q2806784$91C02822-A53D-4707-B877-931C9AF77C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57dd8d582d32ac16558b5d505c52a9eeb92ab1f7","datavalue":{"value":{"entity-type":"item","numeric-id":2216868,"id":"Q2216868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ce6a140b64c4cddda60f010bded7f9a2731d27","datavalue":{"value":{"amount":"+0.9011024","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":"Q2806784$4E77F33D-065E-4EFD-BD23-222F84242EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fecaf5d9c86b134261a13b9db086904b8d4b9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310c3bce02f2fee961da97195c39f3930806978c","datavalue":{"value":{"amount":"+0.8995475","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":"Q2806784$C48998FA-9E68-4C73-B370-2E3798F66C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b251862e32eea1baa580289e45f1af2c885b8dff","datavalue":{"value":{"entity-type":"item","numeric-id":3179402,"id":"Q3179402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec45c51133cd5817fc7462f076179aacff5facc","datavalue":{"value":{"amount":"+0.89552283","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":"Q2806784$EA683405-341D-40BF-816E-4A9B20E8C9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bde130b4267059170040a3e4c0797abe92f105","datavalue":{"value":{"entity-type":"item","numeric-id":5705943,"id":"Q5705943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ce5584779bc926674958e735f26461257a1f96","datavalue":{"value":{"amount":"+0.89053446","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":"Q2806784$96B50077-503D-4F5B-A1E7-1F70DDECF911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f753c8d6cb490ae52affec5da866a0313b8d2778","datavalue":{"value":{"entity-type":"item","numeric-id":2770971,"id":"Q2770971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a33af268689871fbdb697b9c603dc498b5a5e2d","datavalue":{"value":{"amount":"+0.8824896","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":"Q2806784$13993E68-82C8-42AF-A789-3C608EC3BE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb004d1bfa7e37d3e28f58093ada5e24c8b76d","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586203f324770e5ce738c5114720775b3bc89e29","datavalue":{"value":{"amount":"+0.8774493","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":"Q2806784$765A5F7E-CED0-496D-AA41-4DDDCFC5DFDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81a7c1f3d4c6f1fbcf01f2f41845a07ec741d09e","datavalue":{"value":{"text":"The inverse method application for non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2806784$A1D7FED2-DB50-4E3A-8749-6F65B14FC134","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f19d9e61fa2c9a7967fd7d2390f371a3c88e4e72","datavalue":{"value":{"entity-type":"item","numeric-id":6771097,"id":"Q6771097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806784$6F501FAA-3F57-4C9B-B93C-326ACE5C3425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2806784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2806784"}}}}}