{"entities":{"Q4881384":{"pageid":6910963,"ns":120,"title":"Item:Q4881384","lastrevid":46381569,"modified":"2025-12-24T16:27:09Z","type":"item","id":"Q4881384","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885444"}},"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":"Q4881384$8E8EF710-EFE4-431E-A23B-A79015760704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"459416f94b0db43294dafe43f7e1e4919fb4eef8","datavalue":{"value":"0848.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881384$CFF22EDE-EAF6-42C4-9F54-3201EFC699BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19cfaf391ae294e082c3eb6f6ecccd88007c114f","datavalue":{"value":{"entity-type":"item","numeric-id":914708,"id":"Q914708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881384$AF2A306D-8265-4E4F-A727-296DAAC27FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2600349308d513b2fe316e3ba77413666c15d901","datavalue":{"value":{"entity-type":"item","numeric-id":1317386,"id":"Q1317386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881384$7717F450-10B9-4305-BFDD-1FB7CE72DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d896124d567bdeb6d6a84f6153cc534a4b80648","datavalue":{"value":{"entity-type":"item","numeric-id":304571,"id":"Q304571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881384$9D02BB36-1FB6-4CC2-8E72-1AACAB78C65A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1cbb8ea1f48069384f5cabe08e5287749ea3c4","datavalue":{"value":{"time":"+1996-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4881384$0E64372B-9E80-483E-AC25-5E50D83425D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881384$D120F589-1724-4638-9311-AB8708EFC937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c8f7d463e6e1f78f1eb9e08c3a449930b172abb","datavalue":{"value":"885444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881384$A8C236E1-D8FD-4FE2-A8A1-7BF8C427A679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c5153d76dfcdf1ec414f428b7ffd24099406d0","datavalue":{"value":"regular inference functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881384$4B61DAAA-A973-456F-9F5B-D1EE79D84B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54c447385c800a4b13b14304ea60e3e373ae3c5c","datavalue":{"value":"compositional rule of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881384$A77F421D-224B-4874-9C37-0D97CFFB7C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7847b8324c2148c1131b2a1b6a12326749049a46","datavalue":{"value":"compatibility modification inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881384$E3D0CB69-9FE4-4CB5-A933-FEB4AA8BA849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881384$113FA2FB-1103-43DC-9B71-FAADAAB26CD4","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":"Q4881384$1519B13F-8A4D-41CA-B8A0-72682109AA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e052a62964180efa59964e7a504023cbf3f9e94","datavalue":{"value":{"entity-type":"item","numeric-id":4861648,"id":"Q4861648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ed2d966a4b0a63703abc037c200ad8d95f33ef","datavalue":{"value":{"amount":"+0.7833962440490723","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":"Q4881384$E76CBC3D-45AD-4A47-AC1E-D7C8709D233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e0677e672d07b485e16e7cf32d9d7c8bbbba0d","datavalue":{"value":{"entity-type":"item","numeric-id":802891,"id":"Q802891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6250251a6f6d2e6b29a71b2ebddd112ed5aecc","datavalue":{"value":{"amount":"+0.7830426096916199","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":"Q4881384$05CDF153-CEB9-4B85-B82F-6DF5B0699613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fa40a6be1e6deedad956cdea0909f11f597d54","datavalue":{"value":{"entity-type":"item","numeric-id":4281881,"id":"Q4281881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8dff42c3c1ce4169ed43fcf67da4f3017dd54e","datavalue":{"value":{"amount":"+0.7730597257614136","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":"Q4881384$09CAE84A-ED7B-4E58-BF15-F46A4D361209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b662420198fac565edf3ceadaf4cbd9bfc7cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":1183175,"id":"Q1183175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d071055e32a5c90b6f3940c410cb772d1996ad","datavalue":{"value":{"amount":"+0.7662689089775085","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":"Q4881384$1BA1D2DE-E6C8-42FB-8DBC-25591BBCF656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4881384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4881384"}}}}}