{"entities":{"Q3887433":{"pageid":5917338,"ns":120,"title":"Item:Q3887433","lastrevid":54611159,"modified":"2026-01-29T11:53:57Z","type":"item","id":"Q3887433","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693241"}},"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":"Q3887433$478AC17C-F796-4189-82EF-4E06542CE900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690850fc6f1c2cfa8f66d4889ee1c89f96d3faa6","datavalue":{"value":"0444.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887433$5952C824-437D-4E28-AAE3-FDC17C35DBDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887433$5148F351-C7A9-41EB-BDC7-9F2F7E0D91E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3887433$10518433-F122-4B13-9FE8-FB7D69181316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887433$F4C77926-4AF6-47AB-B5BC-AB3BC69DF780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887433$EFE84FD7-BB3C-4EC1-96ED-48C510BBA432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa407379cd90e9d8451faa55490d6857c5dfe9d5","datavalue":{"value":"3693241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887433$23E08031-E1CE-4823-8C7D-8B5B3D47936C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12de2f4607aa8ed1224e043672904497debc1f24","datavalue":{"value":"generalized resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887433$DE85BE16-862B-4031-92DB-58DE6E51ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce56bde200e85d3d41f4bcb67c97bb52e347ea3","datavalue":{"value":"indecomposable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887433$05A40519-F3D3-4452-891B-3F0C8E359329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887433$3E1A9589-B7C9-4BE9-894F-763B407C85DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c46aadb0fcf8e23d5bbcf65c998e864a2bbed3","datavalue":{"value":"Herbrand property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887433$0CBBA5F7-DC0F-4CAE-A7E9-EA5C86064844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887433$467CA024-DB51-4B4F-988E-9AF6E1B4D9F1","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":"Q3887433$BD554CCF-E28A-4DD1-AA80-EA2E65C6BF2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3887433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3887433"}}}}}