{"entities":{"Q3326880":{"pageid":3337588,"ns":120,"title":"Item:Q3326880","lastrevid":48710944,"modified":"2026-01-05T16:43:42Z","type":"item","id":"Q3326880","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3858458"}},"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":"Q3326880$BE446BD6-2903-4328-AE88-29F9DFD6942C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d64baca67764bbf3d13e0c1461c2e8f23b07b0f2","datavalue":{"value":"0539.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326880$584F83E0-FC40-4546-9E9E-96CC3061D620","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e27abfd115acb68e497ec6f5ee331c823ff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1074341,"id":"Q1074341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3326880$25786D48-3AA7-44DF-83C5-867FC9A5CFB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3326880$50CFA38C-3DA0-4BBA-BFAE-907AC5DAF4CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326880$AC071770-89E0-4BE3-B738-9DE3C5A0ABFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebccbddacfc7f6b89674494f6f35ed1058868f26","datavalue":{"value":"3858458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326880$ACF39DE9-ACE6-4D61-A986-DF244C30068D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ab124af1487557d227ce88b7acf359891474c7","datavalue":{"value":"first order substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326880$E800B184-E141-4E5B-AA9E-076418EA6A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326880$2777BA12-6939-4B9C-95EF-5160C98F1E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d66aecbfc6fa41ac4009ac0372298e12f765c2b","datavalue":{"value":"automatic proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326880$3E6EA919-8123-445D-A15B-87C4293DE3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646c52f31c650d140da756326b32370b056946a1","datavalue":{"value":"weak unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326880$C01B3D95-7439-4CF7-9AF3-C9E3106ED70D","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":"Q3326880$BB05AC26-9957-461D-A557-7B5ECDE48A1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e03672362674ebc781ae2e17a7c5fb2f3a5c827","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7751ed2455b9d77f4449f13c5d40f2a837cdd78","datavalue":{"value":{"amount":"+0.9170531630516052","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":"Q3326880$4ACF32F1-EE23-4A1F-AB42-4154EC221C6B","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":"f8a15df3d08c40d40c35d4ee849cb5c4f0e6f521","datavalue":{"value":{"amount":"+0.8080480694770813","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":"Q3326880$F915823C-C58A-42AA-A62F-3C764D94A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69890cb91e1dda937d7b3036b1317904388147","datavalue":{"value":{"entity-type":"item","numeric-id":2494722,"id":"Q2494722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc5182afe1b833721cd0cad5f1fb9943a5340a4","datavalue":{"value":{"amount":"+0.795600175857544","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":"Q3326880$14D31C7E-DEEE-4DCE-9E1B-57D4A0BDD36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa76f6ced00949cc0d1fc01c9f2d76aad50767f","datavalue":{"value":{"amount":"+0.7857127785682678","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":"Q3326880$3EC26C3D-D812-497A-BB92-906ECD015BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57466878c1dd6953f2561c5e3fad8ac53c1acc5","datavalue":{"value":{"entity-type":"item","numeric-id":3305325,"id":"Q3305325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c459952bc02da789219f56748e090091ff7406","datavalue":{"value":{"amount":"+0.7772634625434875","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":"Q3326880$57039E31-DFBD-42D2-A552-3FFFB79AF0D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3326880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3326880"}}}}}