{"entities":{"Q3780487":{"pageid":5810393,"ns":120,"title":"Item:Q3780487","lastrevid":52353941,"modified":"2026-01-22T10:43:11Z","type":"item","id":"Q3780487","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043300"}},"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":"Q3780487$1B24A49F-20C9-4137-8286-F4F084F4A452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"205ab032af8ca9224caa884e9c174fec28ae23d6","datavalue":{"value":"0639.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780487$1A1D8AB4-EC7D-45A1-A0B2-121B0D7A4103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"151380be80637aa680cfe2d0e872c4b72800bda2","datavalue":{"value":{"entity-type":"item","numeric-id":3668863,"id":"Q3668863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780487$BEF111AF-D13B-4239-AF43-874B0640EED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f2ec6b9573fe03144fc514fa5ba5ed0c961ce0a","datavalue":{"value":{"entity-type":"item","numeric-id":712667,"id":"Q712667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780487$9F665AAF-DC75-40CE-BCAB-CD9BFF3589A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3780487$8A04D610-169F-418B-8465-28E0E56FD740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780487$BE730FAF-A18F-43C9-9B31-276F588C4EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780487$AB99B2F1-CDAC-4CC6-AC2C-F89F5A7FE3C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22908ebf3c95cc08c5ca441931217c8dacf1ebe6","datavalue":{"value":"4043300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780487$4CF1F0EF-5675-4B3C-8232-E6AA0DBC1564","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780487$2228EF04-AD9C-4955-B3B8-234F41D31BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780487$640694B0-4129-4DD0-9C40-5816E9B13009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb94e3f14608df84356ac7546ca23e5de20ce67","datavalue":{"value":"associative and commutative laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780487$3DBA7306-E323-44A4-8552-2889670A8986","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":"Q3780487$48B43540-E2EF-441D-8C3C-283732FFECA3","rank":"normal"}],"P1643":[{"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":"ffcf6e0e18c917aa133db4ca43c56b99309b55cf","datavalue":{"value":{"amount":"+0.8393808603286743","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":"Q3780487$87392589-6521-458E-A87E-FD378F233B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b0cfb29b8b177089ff6f479a90fc8a60a6e65f","datavalue":{"value":{"entity-type":"item","numeric-id":5139274,"id":"Q5139274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f4a11193faecb970886351f590e3177d283b97","datavalue":{"value":{"amount":"+0.8278318643569946","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":"Q3780487$108BF036-7A17-42F6-836A-BF62B4314CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7f7f901538a75805fd87ab0572115de0ab1c4f","datavalue":{"value":{"amount":"+0.827766478061676","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":"Q3780487$19A38090-DBC5-4F7D-91B8-3870F3C19C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95706b86adb6f9693edbee0db1fd8fe26e83786","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c812fccd60c6dbc5c2b2536faf6077ad631ea3","datavalue":{"value":{"amount":"+0.8273377418518066","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":"Q3780487$2EB7320A-8BA9-4D89-BB96-7590DBB3106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c122343b89aca893a9682d4aab926cc985746ce9","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbd0420799a64660710bcdf49b76d4444640df8","datavalue":{"value":{"amount":"+0.8253769278526306","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":"Q3780487$A653C22A-F448-417B-B93A-EC40F29E4669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3780487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3780487"}}}}}