{"entities":{"Q4331830":{"pageid":6361430,"ns":120,"title":"Item:Q4331830","lastrevid":46761723,"modified":"2025-12-25T13:17:46Z","type":"item","id":"Q4331830","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 977290"}},"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":"Q4331830$8BECF0E0-A452-4E3D-827A-9F75791DAD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ebee2c96fee4636b443e834653b08e7b8474364","datavalue":{"value":"0872.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331830$0D81F1EC-8FCA-48A8-AE04-3B289B1A792C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63fe23d0888281e480ab8b143f60d3237a2482d8","datavalue":{"value":{"entity-type":"item","numeric-id":4331829,"id":"Q4331829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331830$71B569C1-78D5-435D-9746-800836F16CB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6a0ba4c979624750ee22089dce20ae30fb4a95f","datavalue":{"value":{"time":"+1997-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4331830$895BE8E5-A574-4620-8003-2D8A193ADD94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331830$6FB3703A-395B-488F-8D90-B3889BFB7774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b84fedc3bd74ddf2a40b86949e18b3a54cc47f61","datavalue":{"value":"977290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331830$6CECDA1B-F143-4D13-B710-C942C96F2D45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$7182DE26-51EC-4D13-BD6E-2F85E25649CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c423e539a455785afc553926b0d64ac7c46cbcd","datavalue":{"value":"truth tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$698A5F7D-EA06-4A72-9BE3-13015EA3C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$BF53BFB6-715A-4408-924E-830AB3184E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$3FD26114-5FA8-4DE9-9D41-E8215091019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$BE4C81C6-CA04-4C68-8CC9-16E6B31C41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331830$12A22919-4EBE-4E48-93E0-443D866C864C","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":"Q4331830$B777E642-751E-4DDF-A9E7-6BD9C40786A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a86cfbc0c1f10d4d31c217849a149127e60231","datavalue":{"value":{"entity-type":"item","numeric-id":4510393,"id":"Q4510393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef0492a80cbc6162975bb6c4e244e5db58f6b24","datavalue":{"value":{"amount":"+0.8155926465988159","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":"Q4331830$A6A26674-8573-4310-855D-34673D2759E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b1c4b9c5c136bd50e023cac9b5ce30d6416ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4335385,"id":"Q4335385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b8587cb26c18d2dc7f3429df96faf97591f2c0","datavalue":{"value":{"amount":"+0.8150478005409241","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":"Q4331830$D4C3ADF2-3E60-4BA8-B92B-2CAA1AC8280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93724a8dcfd74b67b3eed65dd1797e8f8f3ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":4039934,"id":"Q4039934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8220927c51580b5d6f67991f9f2862d8e5643d5","datavalue":{"value":{"amount":"+0.8141962289810181","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":"Q4331830$80466366-935A-4B73-B95D-02C46FB761F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe210276603cec400e255c2d9c62a14782ba8afb","datavalue":{"value":{"entity-type":"item","numeric-id":4023605,"id":"Q4023605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc382658baf78e630923e77c7976a091f69e8677","datavalue":{"value":{"amount":"+0.8140408992767334","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":"Q4331830$0C93B77B-1228-4EC2-A27F-7E0A72EF3527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4331830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4331830"}}}}}