{"entities":{"Q4683206":{"pageid":6712787,"ns":120,"title":"Item:Q4683206","lastrevid":40767109,"modified":"2025-04-04T15:14:06Z","type":"item","id":"Q4683206","labels":{"en":{"language":"en","value":"Natural deduction for three-valued regular logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6940663"}},"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":"Q4683206$3680ADE1-25DB-44D0-A414-D7AADFA3B619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"171ad1bd84a57023c9b461f74ea9ba2b97178978","datavalue":{"value":{"text":"Natural deduction for three-valued regular logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4683206$0EC10A37-CC3E-40C9-A47D-D25321A476A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90a4a38497e98b1a64f5ebe3fd578ae18b8cd1ec","datavalue":{"value":"1417.03181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683206$30345555-777E-4F95-82B8-6DDF122892D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b576aa5bf633afc1b66ecc3f9e7644d8a0ed1357","datavalue":{"value":"10.12775/LLP.2016.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683206$DADD4738-7FAF-473B-9E9B-DA0AC3ED3337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$EF434340-DAAC-44D2-B089-23474BFF497B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b308b892e14a056523b8ca557a64add37a38","datavalue":{"value":{"time":"+2018-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4683206$62645240-737A-4B19-BB70-61175569C097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683206$2F4E1862-8679-4A5E-8019-2B2CAA389F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85d130793c01a6909e854a19c4c3de197cb1d6ce","datavalue":{"value":"6940663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683206$7E4D67E2-C2BA-4DC3-B0B1-DFD093B457A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683206$0DC8E590-BC94-49A7-B715-88F12FA4A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd8af3c29696b738fd9091e93997ad95664f1fa","datavalue":{"value":"regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683206$29E7AE52-197B-4B8E-AF7D-809C3333549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b731afb971e2a43e901660d5126c5d93dfb03889","datavalue":{"value":"Kleene's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683206$CB4D4D9E-5C0F-4EAE-9EC3-0DDD0C4FC7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683206$CC8356B3-880B-46F9-BAED-F486B3E28AF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$DD317C52-5202-4040-8793-FDD351EB4695","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":"Q4683206$4FD80E6F-0BCE-4EDC-81BB-965C0088D956","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$236C3EE8-38EC-4FBB-A6A2-1B129D8AEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$19BEE702-4057-46B1-B429-8879F875580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e5078945b6d01086ab88d36ccd41c66244b2e4","datavalue":{"value":{"entity-type":"item","numeric-id":3580382,"id":"Q3580382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$EA222593-4148-4C0C-B78A-EEFB786A4415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81e1b0f30d98dc7fd47e890c9c3ab37dbb99c13","datavalue":{"value":{"entity-type":"item","numeric-id":3567765,"id":"Q3567765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$B20F4624-CBC9-446F-8D04-CF935197F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$7499E10A-D03F-4FE4-B378-7713AA8F3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$2F6E483D-1CB4-49CC-A575-175937B955B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a223050e719182e6bf855fc696c5aa1e87c42b9","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$8AC4AB28-CC56-41F6-AFCC-1E1FF661DBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66289e95c6122180cde35427bd039ed08fad6746","datavalue":{"value":{"entity-type":"item","numeric-id":3474640,"id":"Q3474640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$B1F28D76-9CE0-4787-8746-672D26FBAEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$18563B13-57A7-47B1-A4A5-BE89B0D53F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43778aafd8f0486321ccd72930d3c8a8a3967e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$6CBAD015-11FC-4302-B196-43721B462DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683206$DF2ACC3E-D66F-4E71-BE88-0ADFECC5380D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdfdfac758ed1d954834907a9396c2dda4607ec","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39026b422e525b6b7d2dd500ace3eb2d6c2bc973","datavalue":{"value":{"amount":"+0.9618976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$B1CED7C3-0391-43E2-A1BE-C9CBAD4949B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4860b701413033cfe1baf6d2679d3eefaffeea2e","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c929358d8631e38293af870adf102e686ec4565e","datavalue":{"value":{"amount":"+0.9468279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$4F401D70-FA75-475C-96A2-E35FCF22D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb38f61f0afcf847d6219d638de20e7d7a1b63d3","datavalue":{"value":{"entity-type":"item","numeric-id":2856073,"id":"Q2856073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f439a9526cf21a5677e54e89d8df42cfa7a64f","datavalue":{"value":{"amount":"+0.9368457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$D2BD6027-5655-4356-A47E-3DD4A06E1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6253e6fabe3de071aea5ed594f88f0372029fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2403575,"id":"Q2403575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad7d849388e7de42f43083476210a36bdf87316","datavalue":{"value":{"amount":"+0.9358402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$BF17ABFA-326E-4391-897C-031E819606CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff16937c2e8497998fe7703f12796a406ac14434","datavalue":{"value":{"entity-type":"item","numeric-id":1647261,"id":"Q1647261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1baf0bf7e3342c8eb55e6aacba09828e44cf810","datavalue":{"value":{"amount":"+0.9036628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$40707532-926D-4F98-94AE-4B4A808DE439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82db5c57d9d6d524cce9d7986eef63c56700eab7","datavalue":{"value":{"entity-type":"item","numeric-id":4395139,"id":"Q4395139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274c351a132479b5b1e53414bc71ca15695d601e","datavalue":{"value":{"amount":"+0.903362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$261CEDED-E231-4E7E-9CC8-F90650A1498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f643253298033b45df78d16ad3ec0c7f684063","datavalue":{"value":{"entity-type":"item","numeric-id":5176676,"id":"Q5176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd319fc5dde8e6d17e923eff70d723878774251","datavalue":{"value":{"amount":"+0.90284294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$E3C6FC92-57AD-4D2A-A6A2-29A9B01ACF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e4bbc9418f9b3e78b2bf36c6625d5317cef71e","datavalue":{"value":{"amount":"+0.9002383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$D668B9EF-FC79-44F0-8C0D-1D2F6CAF8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdd2feba569f154bc50d7455ae7958c2d1718c1","datavalue":{"value":{"entity-type":"item","numeric-id":4683216,"id":"Q4683216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab7bd6bc45533e9cc1b62d26a119c61020e989","datavalue":{"value":{"amount":"+0.89865786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$80F89B96-BB07-4FA7-BCC9-1A000923F3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddddc5eb4d667d38223ad5ae3b1499527711434e","datavalue":{"value":{"entity-type":"item","numeric-id":383567,"id":"Q383567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7231960429f4270a6b68eb7bb37582cd93159994","datavalue":{"value":{"amount":"+0.8978088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4683206$FA2DB1E8-E77F-47BB-B6FE-7FF8734A86D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4683206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4683206"}}}}}