{"entities":{"Q4610338":{"pageid":6639921,"ns":120,"title":"Item:Q4610338","lastrevid":53321747,"modified":"2026-01-24T17:46:15Z","type":"item","id":"Q4610338","labels":{"en":{"language":"en","value":"A sequent calculus for reasoning in four-valued description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002288"}},"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":"Q4610338$80BC3908-E3A4-4B3B-BA26-B21DBE017574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b059e296afc7864975aa1cc4a6de46d2a21dd160","datavalue":{"value":{"text":"A sequent calculus for reasoning in four-valued Description Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610338$BF4E64DB-4E05-41ED-B774-4524218B763E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e616edcb49019173b62f77f0eef3eabbf3903c8","datavalue":{"value":"1412.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$BE730E12-53DA-4960-80EA-53764D924862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16467d9c4743d1e5d0021b7bf5e65a8fb755e53","datavalue":{"value":{"entity-type":"item","numeric-id":454979,"id":"Q454979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$33F8B6A0-D73B-4F73-9C8F-FB22169E1CB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$3A3DCD7D-6BA6-4FCC-89C4-3A896FF76569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610338$A497CE76-DA3E-4F55-87E7-3FD0FB3B414C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$F9A266C2-D16E-4529-BFB3-EEA6DA0A7FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$9D8CAEF0-8BEC-4A51-A3BE-96E8363683B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$EFFFCDF0-C0A1-43F2-8124-D74378452A65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0cfe60ca04dae1e5024ffbd7a9dd43e830c2b80","datavalue":{"value":"7002288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$4FA70AFB-5FA4-461F-B2BE-A7E488D462B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610338$EEB56FD5-9F1F-458B-ABE8-1E06182AEC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610338$DE72CF7C-B485-4A87-A6D6-17814CAFF69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610338$D1B70CDC-1CF3-4FBC-9F9F-3499EBBD792B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610338$4D82FC90-D575-4AAB-A98B-14E5E1B8B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610338$F73C981E-C6C1-4875-804B-6882A30AA31D","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":"Q4610338$C24F6F33-AB64-4787-A306-0C4074E8BB77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$4A48C856-9899-4576-B4C7-D4BD8D998343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$EDAF2626-9C13-49D1-A725-A69CEC834352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$41901565-2A25-4A13-B29D-BBAB05C66B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d186e44abdd9fb843520dcf7b6c51bde9edaebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012243,"id":"Q4012243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$75D6E974-53BE-4D5A-8FEA-C4C491D42E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff657c8eb0a0f51a9cac1878fc9d3b1b7b43ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4305351,"id":"Q4305351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$D688C2C9-1994-4233-A864-0823AB20A063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$4327EDB6-3CFD-4CC5-B6DD-26002B1D4305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$C82414A9-BD34-4A0E-912A-45C76B06D52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$F67CA4AF-9F50-4D4D-B717-DDF6AEB13CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0438a5bdbbcc507f5e0e924c0d9f63e96e8480","datavalue":{"value":{"entity-type":"item","numeric-id":5740435,"id":"Q5740435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$61E95455-5E38-485F-8A64-49A38DCA1B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb49e3dd1819a074fe65ada398ab3d73a669dcd7","datavalue":{"value":{"entity-type":"item","numeric-id":1188644,"id":"Q1188644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$168D222C-8DAB-462F-9753-7B7F2AB6D5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cc731ea8cde283851c25bcb96915051ac50f92","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$49862F61-0271-440E-98F4-642FFD2D63CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$8D7A69CD-E021-4FB0-B4C6-E60CDD3536A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb3b4c87b4dac1f4ac0313a0eda688319cad873","datavalue":{"value":{"entity-type":"item","numeric-id":4856973,"id":"Q4856973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$BA51EED4-53FA-48BB-BB1C-03E8582625E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f955098280dd9eba9dc041f049a05268505132d8","datavalue":{"value":{"entity-type":"item","numeric-id":4012257,"id":"Q4012257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610338$7A934EB3-41A8-4C59-A0BD-96DA3ABC0080","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d53f452ff3b35ad2875cdd7d02c5985e995df1","datavalue":{"value":"https://doi.org/10.1007/bfb0027425","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610338$B4829E3A-4C26-452F-B478-9C997294D11F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"443d1ae8e0ceb2345962062dda59c34cfa5e1f06","datavalue":{"value":"W1492239354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$4C2F7F6A-7733-4CAE-AAE6-CC9C098DF19E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c1e03978c4650ab3fc06447e66fcc4136cad631","datavalue":{"value":"10.1007/BFB0027425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610338$4989783F-2CD0-42E2-8F6B-727750DA0A42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9508a8fd1eb401967eff83b45395388c42141c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25543ca8218be961a373712e75858eb6901f278d","datavalue":{"value":{"amount":"+0.7562794089317322","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":"Q4610338$E42B7AA7-B91C-46EA-ACAC-FA55327CE0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feed26d2315c79545fbdb385a7d54d9282bf065","datavalue":{"value":{"entity-type":"item","numeric-id":4988948,"id":"Q4988948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fef7e382eca543fb337016fd8d570f11ac18b2","datavalue":{"value":{"amount":"+0.7376071810722351","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":"Q4610338$CBBAD70A-7EC1-4CA5-B6ED-CAC901854B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242fa5f7f92682fec203e6670f6fcb4072b6c13","datavalue":{"value":{"entity-type":"item","numeric-id":1422105,"id":"Q1422105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7b54462ddfdfb96a72112c24f64f98246ab67a","datavalue":{"value":{"amount":"+0.7285326719284058","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":"Q4610338$8E79C65D-EF1D-477D-835F-A1A5BC665E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeaed2f3ee8892f97c5d2f4992dc231750825e5","datavalue":{"value":{"amount":"+0.724749743938446","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":"Q4610338$2C075E5E-77D8-4162-9DE0-28974479B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882644ca01e6f6d07596d4bd8efbb339f7ad4e06","datavalue":{"value":{"entity-type":"item","numeric-id":4514013,"id":"Q4514013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeaed2f3ee8892f97c5d2f4992dc231750825e5","datavalue":{"value":{"amount":"+0.724749743938446","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":"Q4610338$B632EC1E-ED1C-4F30-80AB-B987DCAAFBE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610338"}}}}}