{"entities":{"Q4295875":{"pageid":6325476,"ns":120,"title":"Item:Q4295875","lastrevid":47250073,"modified":"2026-01-01T03:21:34Z","type":"item","id":"Q4295875","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 589742"}},"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":"Q4295875$50A7C06B-A387-4BE6-8932-B6ABED2D9C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf6babebd06f88b40dfb4e4a4ce10cff78bde4f","datavalue":{"value":"0799.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$9F90FB50-246C-4988-A912-B61204E51A4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295875$C39CC4EE-38B5-4043-8C6E-1CC86F41B4AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa820dc859444e8bd30bc83b522a3fb170c4380","datavalue":{"value":{"time":"+1994-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295875$93DD6C04-B206-4287-ACA2-38500E194D8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$26B99E3E-52F4-49E5-874E-65860BE92EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$9D08DC2A-DE81-40D5-8787-B1606215CECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$03A1F37C-3A97-48CB-87DC-BA68942F0BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$FA2C4DAC-31A4-4460-909E-EF78B3F1D124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2316adf9addf7224a754625f1da97c8eeaf03dcf","datavalue":{"value":"589742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295875$48556CE6-6DDE-4F9E-B3DF-DB140889017D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$957D6163-4AED-4B85-87BC-7ADA76A45DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af175b0629070a885d05756fbe2bba9b4747aea4","datavalue":{"value":"propositional monotonic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$DCE289E8-891E-48D2-ABEA-8611237E67F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648cc7043ccf057c2565ec8dc9729f660ec8f947","datavalue":{"value":"semi-analytic tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$3FA22663-0DCE-4DDE-B330-5AB24262CB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$118844E9-FDAA-494A-89B6-30CFBE35BA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e8bfd71c55ab43bb2375a397d9ce489b9e5212","datavalue":{"value":"tableau completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$434F8B23-922E-48A4-BEAE-65C35D023311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$E4159A55-8EC1-47B1-BF3B-54579FB55473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295875$0AA4A5E2-ABFC-449D-AC03-951E11067BD8","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":"Q4295875$6DA7FBAC-EF33-4CE0-A0E0-A453D137EF38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5effd6306ddf204712b9671753107db3b7dbd0a7","datavalue":{"value":{"entity-type":"item","numeric-id":5235255,"id":"Q5235255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a7a7bfe4e63ed9b482df7bac7468f2f6b69ad8","datavalue":{"value":{"amount":"+0.8429462313652039","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":"Q4295875$094A6B2E-B85B-4A36-A490-C7E6978B9CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb6e42bbd5a706cb6c82783f385907544bd227","datavalue":{"value":{"entity-type":"item","numeric-id":2946576,"id":"Q2946576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c86ca63e6b123dd6580904f105733b6868f741b","datavalue":{"value":{"amount":"+0.840490460395813","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":"Q4295875$B59048A4-88F4-48A1-9E63-FC4292AD891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd35b28f05d58e681187b28ac5ccc3e17d1cb99","datavalue":{"value":{"amount":"+0.8229908347129822","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":"Q4295875$4496BBC6-E9AC-4CC5-AF79-C50828B42AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e5c254e13267a5456e959fa2fb5df6812dfc52","datavalue":{"value":{"entity-type":"item","numeric-id":4028813,"id":"Q4028813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720eb37daa9476f1abaf638d0af980ed58bf80c5","datavalue":{"value":{"amount":"+0.8017921447753906","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":"Q4295875$7EF6CDE6-9898-4C7A-9C3A-B67769477CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b642944811f9d6cfb0f377df5e0ea1df0a946e43","datavalue":{"value":{"entity-type":"item","numeric-id":4282617,"id":"Q4282617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720eb37daa9476f1abaf638d0af980ed58bf80c5","datavalue":{"value":{"amount":"+0.8017921447753906","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":"Q4295875$7DFFBA39-3D6F-4DE1-B19C-1F2AF289F41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295875"}}}}}