{"entities":{"Q3820054":{"pageid":5849960,"ns":120,"title":"Item:Q3820054","lastrevid":53892647,"modified":"2026-01-25T21:42:19Z","type":"item","id":"Q3820054","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092822"}},"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":"Q3820054$4E6F9000-8B4B-4D15-843C-780777C2565E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34f5f9e3c041ac160585f39fc49299383af614ee","datavalue":{"value":"0667.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820054$A736EAD3-8974-4D5E-8C60-74DBEE02CBCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f42317bdd03488d34eeac75cffa83a4b205211a","datavalue":{"value":{"entity-type":"item","numeric-id":688555,"id":"Q688555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820054$ED9962E7-6C06-4FC8-9865-F9DFD51E4CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820054$4D049433-0EF3-457A-9795-44B786B0659D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3820054$23BE4897-D341-46D0-8330-7B6CD927F800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820054$BF1251BF-F327-4A64-B5A4-CF7632B3657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820054$E01F464B-339B-4BC8-AD2C-64C801EE5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820054$ED42FA72-35E3-4D53-B678-A6BFAA523777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d32f983b0d3f184ba3e2be8ddd5699ff0cf04147","datavalue":{"value":"4092822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820054$5B15005B-BA3C-47C2-9390-1527DFF8FD02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a56373b43d7c44c00296cd69c1bbc65525a0ea","datavalue":{"value":"associative-commutative unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820054$9A77A743-7016-4A88-B692-170AD78FA693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820054$47E8957F-9E63-460D-A2C8-069E7699D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820054$A856D0F4-39AB-46FF-BB60-D30ACF05F3E7","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":"Q3820054$CEDC48E6-B614-4896-A21B-B4D3F678A1F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c1eb1ffde9e79dc7f92eb852b2d0955fb64145","datavalue":{"value":{"entity-type":"item","numeric-id":1260765,"id":"Q1260765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e26e12c586f4ec761160fa0b6f6716a077b611e","datavalue":{"value":{"amount":"+0.8205133080482483","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":"Q3820054$8D3840C0-576A-4683-9AD0-F8443BA93FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801627eda2791094d7d6f8a36fb9a5af699e3381","datavalue":{"value":{"amount":"+0.8196682929992676","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":"Q3820054$F32326FB-C249-4F87-A332-BA2FEDE1C922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a45c5a1eb62df6d64a3467aebcf31248ce6b9d0","datavalue":{"value":{"amount":"+0.8189638257026672","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":"Q3820054$0BECD21D-3F70-448E-9B15-F0EDA5295289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4427d2207a3079d58f75c3d1aa99aa532e12a57b","datavalue":{"value":{"amount":"+0.8185807466506958","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":"Q3820054$6A87DB8C-5BD6-4234-8531-D6BE83B4BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7a85de369a018f61660f9b5d7e31a14e6ea8af","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10265f503274aa3a4e3eb1f71b35e1d160471fbf","datavalue":{"value":{"amount":"+0.813877284526825","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":"Q3820054$372FCAA6-ED2E-4DE6-8CE6-6CE5A0777B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3820054","badges":[]}}}}}