{"entities":{"Q3905254":{"pageid":5935159,"ns":120,"title":"Item:Q3905254","lastrevid":54938068,"modified":"2026-01-30T18:17:35Z","type":"item","id":"Q3905254","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3715506"}},"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":"Q3905254$73F4050B-E728-4B87-A7E3-64513F90A2CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114500c3252d55997316c75c4c191c1e2d6cd27d","datavalue":{"value":"0457.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905254$01D140FA-C776-48B8-8FAA-037B238F68C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934b36c73ee5d3627307837cc1f8c0d088756db","datavalue":{"value":{"entity-type":"item","numeric-id":795030,"id":"Q795030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905254$D6E31E56-36A4-4B87-852E-5F7902D13F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905254$C20F1FD8-A5F9-42BD-8BE6-CE42E44D2633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905254$99165102-4A6E-4AB6-9161-619DD5AB52BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3905254$F7111569-C5EE-4934-8E26-1B4BA6A49C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905254$63419991-83E2-4BC1-AD8C-BF6275496241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905254$2ECBED4E-752F-4A6C-A534-2820657FA5E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6acb72a156009685fb74fe2805adb7468e93ae2","datavalue":{"value":"3715506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905254$DBC199EA-169D-4CFE-8184-62C166682901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc30c22396dfc899030a9b610f2f9d96673b78e","datavalue":{"value":"multilevel syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905254$0AB67931-3ADF-4118-AC97-349B430801CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c508c009f2de7bab6de8e1d52bffeffd1f353","datavalue":{"value":"satisfiability of quantifier free formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905254$DB83FF5A-058B-4C2E-B15E-640D622C9210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905254$0486E3C2-E841-4F3A-854E-66F84403E7D0","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":"Q3905254$BFBD7753-3D1E-4A1A-B9D0-6781DB3A2E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3905254","badges":[]}}}}}