{"entities":{"Q3999539":{"pageid":6029368,"ns":120,"title":"Item:Q3999539","lastrevid":55152625,"modified":"2026-02-04T04:37:52Z","type":"item","id":"Q3999539","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 49746"}},"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":"Q3999539$37E50B1A-7CEE-4456-B395-7593ECB3C01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"245427abf5abc49b0f29e804f947164ac55818d6","datavalue":{"value":"0782.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$CF85BDCF-4FE9-4D58-8D56-CA0610ED73E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999539$38E57034-E942-45B3-B854-0CA191E695EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3999539$9C04F0F5-425F-460A-8C0F-4C9569A4FA05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$D289A47B-851E-4626-A074-C672D1C452FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$F2274C83-61B1-4FE6-B011-3128D42014C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$9289FC0E-203B-41F5-8933-46FB349507A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$A4ADA55D-AFF5-42D9-A7E4-E02C3A92009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$F40F28A6-51B3-40AD-975B-40CD50775148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$111D551E-281F-42D0-9464-78D650F4D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$A7B26A53-EE1F-466F-A791-D78DBC2C5882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$6EE16897-38EE-44AB-880B-0B96E4B5F8C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d8bdc61aa8c1abed4924d2a3d84f661071ecd98","datavalue":{"value":"49746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999539$7023E5B0-049C-4115-9330-AEAC761F0DE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$CB63F9FF-1D88-43BF-B4F4-A912ED12B62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9d5f03c2c7b3be6679ea9b361384a53e977b7e7","datavalue":{"value":"matrix characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$1E830BE4-E51C-48EF-8D3F-D27C66C6EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$C0119FEA-BF6A-4194-A1A2-8CD42F028D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$743D9320-27D3-41F8-8D9A-D393332270E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$1782BEC7-F2C0-45AD-88F2-5A7FC0D841E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$FC524E4D-3838-4ED6-A2E0-832A75767682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$9B0D0EBF-3809-4BBB-A37D-038E6AA48892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8deeef950501398d2366a563f24a16020908d745","datavalue":{"value":"classical sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$4CA8DFA5-2DB3-4236-AC6C-668024DC640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$8FFFC662-28F3-4DC3-A56B-48B7DB5D08FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d833e83e1f952a27e322ea52da1516bea4b4274f","datavalue":{"value":"modal sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999539$FC63A8C7-DA55-4DA6-B744-9FA18DBA0BD6","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":"Q3999539$9178673D-F5FB-436C-986C-E11EFE8A23B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531bc4ae3dd17503f84b03137871c2ebf042d07","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dfcceb957c8e5014725ad85f6120f3663334aa","datavalue":{"value":{"amount":"+0.8215715885162354","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":"Q3999539$B109216A-2C15-49A9-B37A-78B7E24662DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151afb132a63865fa7e6cee89d7b3bcf831840f8","datavalue":{"value":{"entity-type":"item","numeric-id":2726302,"id":"Q2726302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe2efdab4e910c17083fe2e588fb5cfd260676e","datavalue":{"value":{"amount":"+0.7988095879554749","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":"Q3999539$1082EA05-4D96-42E2-AFAD-0AB52FD22DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76eaca2630d68d0ea4231e076e85852e4ee9fc0c","datavalue":{"value":{"entity-type":"item","numeric-id":1181707,"id":"Q1181707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe2efdab4e910c17083fe2e588fb5cfd260676e","datavalue":{"value":{"amount":"+0.7988095879554749","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":"Q3999539$6012F565-F722-4230-89BA-3DAA9D0F46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e44078a550853f38aa1f793c9c359d6abdbdba","datavalue":{"value":{"entity-type":"item","numeric-id":5406130,"id":"Q5406130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e090bd3518636a5bae7bf58a5fa71265e581199","datavalue":{"value":{"amount":"+0.7945636510848999","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":"Q3999539$B44AE9BC-78FE-41CB-A0E1-0833DD8BFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad4303d38b25eb670fe365c16d58f731af412e0","datavalue":{"value":{"entity-type":"item","numeric-id":687154,"id":"Q687154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b343ce6f17a665f3930e2dfa8f2f3583aac06b","datavalue":{"value":{"amount":"+0.788396418094635","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":"Q3999539$024E2A88-63B4-4FED-B2DF-4B9D1CF618B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3999539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3999539"}}}}}