{"entities":{"Q3786019":{"pageid":5815925,"ns":120,"title":"Item:Q3786019","lastrevid":52579214,"modified":"2026-01-23T00:52:42Z","type":"item","id":"Q3786019","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049130"}},"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":"Q3786019$AC79BD38-9116-4D05-89F9-E0AF42167579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8e5fce013d315a30e5c0c4f45b250ed164b8c73","datavalue":{"value":"0643.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786019$874B35AE-254F-441A-9EA8-0E6CD4C56A74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87baee5baf08821683b3d86e0c3528075599aa2e","datavalue":{"value":{"entity-type":"item","numeric-id":1098652,"id":"Q1098652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3786019$00FDE71B-C54C-4892-8EC9-752F87F5B09D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3786019$E88EE6B8-3D7F-4504-8B3B-30229F0808C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786019$5574E286-3C64-4A67-872C-215E13424914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786019$834E988F-0B1B-46D1-9848-0F2A77D2CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786019$6E6339FA-F8AA-4229-B2E4-CAAB9C06D8E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfe705fd06848df981274d21e8143494c39e5fec","datavalue":{"value":"4049130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786019$A6807DC5-DCBE-49C1-A308-09A65929E5F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786019$837FB6A3-528D-4ADA-8330-08CFB769C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786019$77A52631-2F2A-4504-9FED-7033F89411CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786019$098D5E28-7010-4DA3-B090-200DC6EFD33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec58387efb858b29a35535879d5bc6cce11a9e4","datavalue":{"value":"disjoint function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786019$7799C486-FE47-45F3-B6C9-FBEF6C62A568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0044f307b4495a01df965d95d13d05a96008b9b7","datavalue":{"value":"complete set of unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786019$65C2FCD0-CD59-428A-B841-FF35379DFBF3","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":"Q3786019$25A05394-0A06-46C8-A256-F269AAFB9D25","rank":"normal"}],"P1643":[{"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":"e75bf272e36e0cf376afe711499bd0e6322a7521","datavalue":{"value":{"amount":"+0.9134390950202942","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":"Q3786019$843ABB51-B634-490D-9C01-2544799753CA","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":"3b61cdd2d111ea95ec1d465c66782fe525297aab","datavalue":{"value":{"amount":"+0.9110692739486694","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":"Q3786019$3983008D-491C-4622-B50D-C03BA342755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1cd4236b3562fc133f16f2f975ec177f4b003b","datavalue":{"value":{"amount":"+0.9086010456085204","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":"Q3786019$C1CAE011-3B88-4EB5-8B51-AD9AC883DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9701621a39ebbc9efd2a1745894380dacc8228","datavalue":{"value":{"amount":"+0.9005682468414307","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":"Q3786019$613EB3E7-18F0-42C3-970F-4A89D299E2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de619e000a21c3090da630279b4c9a756337b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1099652,"id":"Q1099652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd7a53600d5705918b968151d0c79c7946758c3","datavalue":{"value":{"amount":"+0.893689751625061","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":"Q3786019$FB681B95-655B-47FE-A359-284F76973555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3786019"}}}}}