{"entities":{"Q4453161":{"pageid":6482760,"ns":120,"title":"Item:Q4453161","lastrevid":48245668,"modified":"2026-01-04T02:36:10Z","type":"item","id":"Q4453161","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2050901"}},"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":"Q4453161$FE414D4B-06BE-4484-AD3F-5FD97EA5D2AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dce3e722ee3d3e0dd9774503d9b09f1bf3ba4b78","datavalue":{"value":"1038.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453161$D4F4D0A9-C405-4870-9EDF-038EB46817D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cdc39c76becc92d243187bfde227987cc6857e2","datavalue":{"value":{"entity-type":"item","numeric-id":556841,"id":"Q556841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453161$38D0DD30-72DC-4EDB-ADD2-E53604340018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78cab1e322da7395f1740c11b5122933760076e","datavalue":{"value":{"entity-type":"item","numeric-id":556842,"id":"Q556842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453161$4D00FDC1-9B8A-4CEA-BAAF-95323717EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453161$BB746FE3-9A3D-41C7-A7C6-F919CD0E4E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453161$AE2ADF60-299A-4A69-AF90-8B51B50B7F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4453161$932B1F8F-BB11-4840-BDD2-0C156C1C8981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453161$6DFB4832-9596-445A-984E-CDAD08F3AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453161$E3B75673-9807-4A4F-9E9D-B1FD971BF1E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39dd5b2dc6d4b91749cc347499457f2bb236860b","datavalue":{"value":"2050901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453161$192A0518-EB30-420D-A88C-4EBC89ACB3AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453161$4E4190CB-444C-4225-AC0A-4B70BE02C974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bfd5e08ba64f7d3bc46144f5eb2662879e6a140","datavalue":{"value":"multisemilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453161$AA2655FA-D955-41A0-AD3F-A1368EF58841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0729cfd1e13d7b89225d6a3826a2faece9a8616","datavalue":{"value":"weak associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453161$43944275-F392-449C-B84E-4F2E50EE001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c2d05d057609bacf09a484a514d3cbc990d5ae","datavalue":{"value":"nondeterministic operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453161$2E1D9229-4C51-48E9-B23F-3D3D7669BF02","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":"Q4453161$C0FA5A5A-5801-415B-8261-27E58212B9A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3b421b6af3ac91f2e757ad1fe357edb48ea4f0","datavalue":{"value":{"entity-type":"item","numeric-id":3737473,"id":"Q3737473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416b130713265b85c7447bed62bf11c811e81445","datavalue":{"value":{"amount":"+0.8346751928329468","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":"Q4453161$71597E07-7A61-4A26-A0C4-8A0A23CDA996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7580a5eda5942916eae4f1ca9c3f7af4a4002fce","datavalue":{"value":{"entity-type":"item","numeric-id":556843,"id":"Q556843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2ab5cab9945f8b4d13450475a0167284ead739","datavalue":{"value":{"amount":"+0.8206720948219299","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":"Q4453161$7EE90343-391A-4306-9583-E12532EEB36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d5c51984b95a281a7feab831c63d370d4017fa","datavalue":{"value":{"entity-type":"item","numeric-id":702096,"id":"Q702096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c999ada57dd527677d1681861dcdea2cce606e","datavalue":{"value":{"amount":"+0.7945000529289246","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":"Q4453161$BABEE993-60F9-4F26-A090-4A63AE49D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44309fd826f730870705d1fa8197e157ecd8abcd","datavalue":{"value":{"entity-type":"item","numeric-id":3240265,"id":"Q3240265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbf0f3e2b6cf4aa89ba43fbc76949875af349eb","datavalue":{"value":{"amount":"+0.7877397537231445","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":"Q4453161$BE758786-50D9-47CC-AC9C-96C9136F852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5940f814b35cb6550313b4931e80ca2d160e6487","datavalue":{"value":{"entity-type":"item","numeric-id":3240264,"id":"Q3240264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ee7a0541b758a747490dac89d55c03097946d","datavalue":{"value":{"amount":"+0.7807504534721375","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":"Q4453161$AD797893-CA81-48FA-8302-C51DBA6C92E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4453161","badges":[]}}}}}