{"entities":{"Q4284237":{"pageid":6313838,"ns":120,"title":"Item:Q4284237","lastrevid":41832251,"modified":"2025-05-08T20:08:17Z","type":"item","id":"Q4284237","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 522843"}},"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":"Q4284237$4FD93339-1DAB-4FE1-8395-E64EBA231055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb75d8681915981a533c8209ac9458fdf2caed3d","datavalue":{"value":"0802.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4284237$CDD2D6F7-34FD-4963-9E2E-88BB105D5BF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd0a6e0f5b8403723aea5db1248bf7274a107a5","datavalue":{"value":{"entity-type":"item","numeric-id":1082825,"id":"Q1082825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4284237$6A48BA51-6FC4-4B22-99E5-3C4D252DE8CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4284237$E3BED7C7-409B-421F-BBFF-00DF33B978E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4284237$DF9BB1EA-E9E1-40EC-BB0A-DD9334A5B66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4284237$3D33D1A0-AE17-4A55-ADF0-64AA9A099369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9617bc35754cdcaa1f15376f4761a86fd4b2cc8","datavalue":{"value":"522843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4284237$6B097F84-05F7-498F-BDCF-4050BD4B0446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4284237$72B9C15A-BC09-4631-B838-D60B72F681A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4284237$C4A9B740-C383-4045-88E6-A00FAC2087D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7899f656e4a9340b3ed392e6788bd7745359a601","datavalue":{"value":"atomic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4284237$7CEBD99E-A820-465F-B297-9AAC58623C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ab4f0ce598fc1b9ce7d2376800a707b1eefea6","datavalue":{"value":"projective \\(\\Sigma\\)- algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4284237$303DA243-A132-4A74-9386-17B7B0F52325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d115c8fcd4de47bbc4e3280a1a8bd9ff494bb35","datavalue":{"value":"equational Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4284237$2D645B5A-D1D1-41AB-A057-3004D94D8C8E","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":"Q4284237$D4DBE34D-616E-4D35-A8AA-EB52CC50FE5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c03523f8f7140cdd7586c3231383dcc26263f5","datavalue":{"value":{"entity-type":"item","numeric-id":4354626,"id":"Q4354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054d00b213e0c9334fca449dd49b6061e368e65c","datavalue":{"value":{"amount":"+0.9082911","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":"Q4284237$EE19A521-0A23-4790-8FE3-29C0439E1DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58053b0f9c9591bccf7dd8e76a3ac6b3398e13c2","datavalue":{"value":{"entity-type":"item","numeric-id":4304131,"id":"Q4304131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec754408708a70347b32d63f5289a36361b98e36","datavalue":{"value":{"amount":"+0.907039","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":"Q4284237$E84DBDD7-4D89-4CD3-9094-B1DA1D89F899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8feb4d1e203d9316b9c81ddd50ace661f62c09d","datavalue":{"value":{"amount":"+0.9040961","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":"Q4284237$BD1CD05E-4CA5-454A-90C5-1AA3A977D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e66139f11c53cc4f568403fb1a5a6ea22abbb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4428313,"id":"Q4428313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7759bd993a11d8e6de55b8aa19194956a4c52c58","datavalue":{"value":{"amount":"+0.8977597","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":"Q4284237$51567055-8D1A-48FB-8AD2-33CD17C04610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3303deeb82c513f81e72d5396c2160d4d8a9c836","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43db5bb1b609ce65746c793bba0e7c5458d3ea24","datavalue":{"value":{"amount":"+0.8975065","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":"Q4284237$B7F56A96-93BE-4876-B9DE-0333FAF0FD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c2f65d9516fcb234678f49c21646ce00feaf61","datavalue":{"value":{"entity-type":"item","numeric-id":4955327,"id":"Q4955327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abf2431097aab65491ec3062d9975e852e2c814","datavalue":{"value":{"amount":"+0.89263535","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":"Q4284237$E7244AE9-EEF0-4CA7-9AC8-29DEB72BFB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccea4c2e0db35b7014d35d5fadb2f49cdd3551dd","datavalue":{"value":{"entity-type":"item","numeric-id":4443007,"id":"Q4443007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db52f566984e6e5f98dafe563224e470c106071","datavalue":{"value":{"amount":"+0.88994825","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":"Q4284237$B9BFC5C8-70D4-4ABB-808B-A554BCAC5A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f7de16e7680b626200e59d367e7465570bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4807834,"id":"Q4807834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb58c967d00c094b91cde874d5c7bced78dca14","datavalue":{"value":{"amount":"+0.88534904","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":"Q4284237$E75AE0CB-9037-4B72-A64B-76D8FC7D6522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682ed43450eee5a7b228afdb0ae0542925608a01","datavalue":{"value":{"entity-type":"item","numeric-id":4263004,"id":"Q4263004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1874cb81adc76d5de13a529d8bdefdc6faf80fc7","datavalue":{"value":{"amount":"+0.88404286","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":"Q4284237$A9837303-BF73-48E0-8B0A-780B5D7638E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b556429d4afe57abf1042c709fd1ef7d1173ed","datavalue":{"value":{"entity-type":"item","numeric-id":5096377,"id":"Q5096377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bdfb1dd6c49c2a943082fe9734f8033cfd5452","datavalue":{"value":{"amount":"+0.8829472","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":"Q4284237$5307D2A1-54A7-4DFE-BDC8-CF74ECA4FA98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4284237","badges":[]}}}}}