{"entities":{"Q4376052":{"pageid":6405651,"ns":120,"title":"Item:Q4376052","lastrevid":41631555,"modified":"2025-05-06T14:33:00Z","type":"item","id":"Q4376052","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114336"}},"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":"Q4376052$BE0A0581-5155-4E62-B03C-257FABB688DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8d6693251385023aecb9cdfb1e27fae8351ce4b","datavalue":{"value":"0887.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376052$968D379F-CD16-4945-945C-143BCEF1F23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a5730d5a384a7dbcfc880e63ff66c9bb702395c","datavalue":{"value":{"entity-type":"item","numeric-id":1092994,"id":"Q1092994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376052$FDB95FB0-1A7C-45C0-844D-C4BAA16C408B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376052$38B62E26-ECBD-44FC-8DC6-273491D049FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376052$5DE09E72-2887-4402-AA70-1BB66F109425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c6bb374fad9a3b0dbe2a1c310d8f2e6713d604b","datavalue":{"value":"1114336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376052$7143D1EF-655C-49F1-8B28-9EAB97CE5D31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b308a7a42e2f5d841910300f3d57b2773ede07a","datavalue":{"value":"decidable universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$86AA0D04-BE9D-42CE-B25A-B0701AE461B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$0DE291A9-F6F5-472E-A2F9-C0C2C4BDFDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe11ce5015170a0488c1efad0b32e02d87e1f37","datavalue":{"value":"finite bases for admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$E93735B8-243E-4960-996E-A118963EBC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3d309df9a07c88d7333c2aaaa407dd531b43fcf","datavalue":{"value":"locally finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$935BD02B-DE0B-4CC6-89B9-FA516F7573B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$29FD2381-21A6-4C12-8A05-3A164953E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f9419507e6d313979a9a46a1474708dc563eb7","datavalue":{"value":"structurally complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376052$4747E55A-87E7-4236-95AA-5972CF75FA3E","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":"Q4376052$BCA902A8-30DA-49FC-BB5E-D2D82F10869C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b38a09612a2e941dae96221e32d1e4ccf8ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":431663,"id":"Q431663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456bc7eedd8fb0e63ba2f5f63f565b5dd9cd579d","datavalue":{"value":{"amount":"+0.886599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$414758F4-7B89-405A-827A-E6F92E9E2959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ccc9d0f1e149ebc954a014d3000c7f12a9547c","datavalue":{"value":{"entity-type":"item","numeric-id":4390775,"id":"Q4390775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f426615b349a032bf8a6b84a75792c5500d0904","datavalue":{"value":{"amount":"+0.8822315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$270C3F28-DAEA-414D-8D4C-7178698DAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80be89e2a2f3c28821920d90433f9f325303cc16","datavalue":{"value":{"entity-type":"item","numeric-id":2709303,"id":"Q2709303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc80a21b4f85d78b5873fe56e238abafdc40bcc","datavalue":{"value":{"amount":"+0.881686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$C8B7B80F-4D08-49E4-A55D-37BCEBF48E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a55ebe9c70bf29427e8a3b408f0a259f7dd32d08","datavalue":{"value":{"entity-type":"item","numeric-id":4936643,"id":"Q4936643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56e68cde25ba54af4ec87510e50345c2d0f999a","datavalue":{"value":{"amount":"+0.87909126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$112F3D97-B4AB-4D94-8D43-19AAE6B67607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c938a79167e2d96812f708bfb7b073d565d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8b21d1bb2f433be73ee63fd8cf0505b059a3bf","datavalue":{"value":{"amount":"+0.8674595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$E8EAB08A-08AC-43C8-9F3E-0A9A869736E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4d65dbbb1b3e602268f1dceddff2a27521e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":3069724,"id":"Q3069724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3924229881a27d448735ea41ad0517d4147341cf","datavalue":{"value":{"amount":"+0.8657516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$CDF2847A-50D4-4E8A-9DF4-BF47A1CF3DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6d1040edd6cd9a9539e650c1cdf126db456f46","datavalue":{"value":{"entity-type":"item","numeric-id":3409447,"id":"Q3409447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9274deed733cd6cc5ee6ee702e24ce4f06ae2a4","datavalue":{"value":{"amount":"+0.8592324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$2EEBBC6D-B332-4BEA-A1A8-6CC675197DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52153f616c8e35e9523cf64f1fd11712d01fa37","datavalue":{"value":{"entity-type":"item","numeric-id":4966006,"id":"Q4966006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c076fb97c909efa59169c6297cb13aba8e479b","datavalue":{"value":{"amount":"+0.8565596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$965D1451-2B51-43DD-9058-9DC549BF78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ad2542ddf904ffe637668b994a7a46a9f3125b","datavalue":{"value":{"entity-type":"item","numeric-id":1320690,"id":"Q1320690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e77c314cba92e0ad6805d0567fc7707f2fd4ab","datavalue":{"value":{"amount":"+0.8558319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$6447CE12-0E88-48DB-844F-DDF82215DBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfa5ed6c1bb4aa73c26590d4e43da8ac1dcec78","datavalue":{"value":{"entity-type":"item","numeric-id":723257,"id":"Q723257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd561ab7767ae002232a2f3160ad6872156859db","datavalue":{"value":{"amount":"+0.84984124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376052$FA7F86F9-66E5-4A65-8736-9329FC01C1FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376052"}}}}}