{"entities":{"Q4840168":{"pageid":6869748,"ns":120,"title":"Item:Q4840168","lastrevid":40714084,"modified":"2025-04-04T11:00:32Z","type":"item","id":"Q4840168","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 777292"}},"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":"Q4840168$4916665F-7E21-4E67-AAFF-0B58E2C317DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f37c228637e3caf903cf0ae50b35d439189df1","datavalue":{"value":"0821.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$4B78FB19-15C9-4ADF-8750-DCD3E4A1871A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840168$F58BBE86-0755-463E-B38A-A6295F7A29E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840168$AC0C41D4-CD43-4551-A69F-119489CEDDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4840168$B31EB3AC-6C98-47A2-B193-B40B6E11870C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-07-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":"Q4840168$9D7B20F9-853E-4936-B088-DF25E3D0050B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$66D3C072-3DAF-4DF0-B627-C1219D9A4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$E4AED4CD-6DAF-4C03-AD00-FEFC471A99D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$8EF1CE21-B738-48A8-86AF-827FF4A638FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$EE27AFF6-3091-406F-8678-9547B1B32133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$601CA9D0-D0F6-4127-9B60-6D476BB565E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf986485eb997495a869e5af56ce6da41bcf1f76","datavalue":{"value":"777292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4840168$BE490C40-E6D3-4D50-A613-A9A7D3CD66A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$B4779F2F-B3B8-49DA-B692-F145723A2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$A98BA820-AE33-4F5D-A602-9EB5E1498A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b05ad73ce1028892b2826ccfb3f57f916746f08b","datavalue":{"value":"finite-valued first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$1B08E3FA-F5BD-4082-ADB4-6CD67D6BA997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06da7bd5c2ab9d955c51de0d933a9b443d195f4","datavalue":{"value":"distribution quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$BC2BF07E-843A-48B7-A243-59E4ED1EFACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$8C331D1F-495C-40D6-88CD-FFADC6BBEAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c177c6ce75751d8a8f07e5c2d3a569589f5eb6e5","datavalue":{"value":"analogue of Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$861D4BA9-1374-4136-AFC9-E800F4BE8487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00985cc60e6106d43c6daeb79e7818bec9b303e0","datavalue":{"value":"four-valued knowledge-representation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$602424C6-CBF1-484D-8D10-F997C9B1EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43057f2dcc3b7493d5402a7ea8ab9c3f160d96f7","datavalue":{"value":"reasoning about knowledge bases with incomplete and inconsistent information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4840168$63D11374-4E77-43A9-BC43-0F8514E91A98","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":"Q4840168$252F15DF-A7A9-4EDA-930A-A94A067E2233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b5a6d83c8bf78c369b5dc9de3fd884d49717fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792660,"id":"Q3792660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d1f6de31c67ce0ca46a957f9575db7442db260","datavalue":{"value":{"amount":"+0.91829306","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":"Q4840168$804E25BC-417A-4D17-BB53-C5B7BED145A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047c2ba26972461e1e505dfc0bfebc3a89d64ef2","datavalue":{"value":{"amount":"+0.90895665","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":"Q4840168$7C6CBA53-9BAA-4E4B-BF9C-79ABB0139FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de34afdb9b082773bacb814a8bd7b9258df53ec","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93844ebf53a0e984dfeb6080c24f617d8f43b8ee","datavalue":{"value":{"amount":"+0.9085201","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":"Q4840168$A15CE22D-3CFD-4BF6-A936-67DDB29247AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918679ab8d939d52a5a76803cd6ec1a2b82b030f","datavalue":{"value":{"entity-type":"item","numeric-id":2810127,"id":"Q2810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8da2df46efec912e9bf0959fc63ccdcee09b22","datavalue":{"value":{"amount":"+0.90536","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":"Q4840168$C20537CB-4FEB-4462-9993-202133075AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7730576dbbdad3f3567d0a65330eaf4e0b812671","datavalue":{"value":{"amount":"+0.9048022","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":"Q4840168$9D7B3F90-B5F3-438B-8396-D6F3DE9C4007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7730576dbbdad3f3567d0a65330eaf4e0b812671","datavalue":{"value":{"amount":"+0.9048022","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":"Q4840168$065003DA-C8CD-480C-A956-52B58A7C9231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c555a86fd8fa7795f0d202954c5c880d6c961a47","datavalue":{"value":{"amount":"+0.90182346","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":"Q4840168$797015F3-B2DC-4089-9681-16588DA8A000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e551200eaa248e9af6662205539b2b5c11098c7","datavalue":{"value":{"amount":"+0.9010601","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":"Q4840168$4F53792A-E9C3-4F66-B1AB-6D314F62EDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f092c5cf8b2992c92e07938ede5e1958883f9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5351952,"id":"Q5351952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c587415a511781cebff882d012480846b4cb792","datavalue":{"value":{"amount":"+0.9009466","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":"Q4840168$87144250-5F46-4248-811C-87B2EC8C84D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4609eab94506f2afb0d380ce6d3d85713f68b0b","datavalue":{"value":{"amount":"+0.9009297","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":"Q4840168$3FCA0ADE-D3FE-4A6E-8B29-4F0A3B753216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4840168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4840168"}}}}}