{"entities":{"Q5149151":{"pageid":7178722,"ns":120,"title":"Item:Q5149151","lastrevid":53927735,"modified":"2026-01-25T22:57:55Z","type":"item","id":"Q5149151","labels":{"en":{"language":"en","value":"The problem of harmony in classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307089"}},"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":"Q5149151$4E461BE5-C5E1-48F0-BDE5-3D5D8636E1DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"555732bd813edf7996a859dca50896718ec254dc","datavalue":{"value":"1505.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149151$D333F040-89F1-4F56-9997-BBCEF6197FB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5149151$EA241967-15FC-4EC9-B41E-083DE787CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed963368ddce1f37d4db97cd23b32dbfa80fbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2443326,"id":"Q2443326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5149151$B6E04A51-49B9-4507-892B-5F50BC39CD2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"414f8e658df1051e6d4b42bac909e413f7743bb6","datavalue":{"value":{"time":"+2021-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5149151$9532DE17-3F44-4556-96BD-D931F3187B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149151$0F90F9D7-6DE7-406A-92D0-5B3C0A9A82B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1881f4f8a135b337c39a77ba02473fde49c86497","datavalue":{"value":"7307089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149151$198F0D47-3984-4889-8897-E49D402A1726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$F386B1BB-6593-4CC3-BE5B-F438EC50C8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016192ac99d609c639c449e6374ba2f40428c9c8","datavalue":{"value":"inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$A5E0D2E8-5B3A-4426-8AB0-D8ED64048282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$CEC20952-2476-4D45-8F86-D0D5BF084C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$EEAC2E57-E9F9-4293-B0CB-F7D91A21D50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$ECCB398B-539D-4AE1-A2A0-D087A9C6B54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$B1DB367D-A97E-4A96-A61C-277F90AEC394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$5FC972EB-5DFD-481E-93AC-EF47800A80D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b33d0462cd615da5fa4cb128fa27b6442afaa3","datavalue":{"value":"philosophy of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149151$CD82B25A-E44E-4494-B176-B577BCA3F51B","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":"Q5149151$DCFE2A71-F1D0-44C9-B762-E47C5CDEE448","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712d93f8a9264863dc2cfab14f70c4431a2fffcc","datavalue":{"value":{"entity-type":"item","numeric-id":1340989,"id":"Q1340989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723c0a25932aa1fcf26d3e6ca81c56b4dd8d1445","datavalue":{"value":{"amount":"+0.8374211192131042","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":"Q5149151$1806CC80-AEEF-48A8-9520-199D8CA9CB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ad9d932ba74d6481b9669f8f992bc1e7ca78bf","datavalue":{"value":{"entity-type":"item","numeric-id":2055927,"id":"Q2055927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaf02224929625c6271338300b0b844ccc2d357","datavalue":{"value":{"amount":"+0.8250561952590942","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":"Q5149151$20C2D0F2-1E39-4E5D-AFA8-703B967E5CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1b47e47f0c429523781943637b4bf7a0af981a","datavalue":{"value":{"entity-type":"item","numeric-id":1568714,"id":"Q1568714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc562a65b320a2d3ec6064bbf83cd0e7f957a72","datavalue":{"value":{"amount":"+0.7970389127731323","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":"Q5149151$85A78172-D3FE-4D9A-A6E9-D4615D52F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17496077a1d6c0897399127e787e0e1994991957","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc562a65b320a2d3ec6064bbf83cd0e7f957a72","datavalue":{"value":{"amount":"+0.7970389127731323","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":"Q5149151$0C3D0590-3147-43E6-8250-41E93C17E41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebf1da22318e8b74dc5c916bd29c0e752db889b","datavalue":{"value":{"entity-type":"item","numeric-id":948984,"id":"Q948984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090069c1b4057dfef760ad754c4765b500b9889f","datavalue":{"value":{"amount":"+0.7955496907234192","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":"Q5149151$45A4439F-17D0-4B59-A4FA-FB780B1A97BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5149151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5149151"}}}}}