{"entities":{"Q3667967":{"pageid":5697873,"ns":120,"title":"Item:Q3667967","lastrevid":49960897,"modified":"2026-01-12T07:48:16Z","type":"item","id":"Q3667967","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821127"}},"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":"Q3667967$78E32671-3A4A-4086-9E7F-85EBAB9892C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8961c343690ba1256107c59ecf17dd48dd19d312","datavalue":{"value":"0518.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$B1EB1291-498E-493A-9673-F1A58FFF7B88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667967$51DF18FE-5CA0-42F5-8EBB-1DDBFE70EA09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3667967$49BD0D05-27D2-4007-B62F-8F928E72EF1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$60E152B6-0CC6-419F-ADF0-841029F22B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$3BD051E7-0DE2-411B-9414-C11578390C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$BD9465CE-68EB-4665-9E12-5FA340E53EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$C37F4205-E2EE-47D4-A0D5-328A52E3EF13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa3541207ab4e9b49f3afe38a1c308aae492ecff","datavalue":{"value":"3821127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667967$6ED4F4A4-5852-4E30-A8EB-CE8C25766A00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667967$B960D5AC-3517-418E-9381-4BCB5F154E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667967$F35396E6-F7A3-494B-9FEA-B5637DEF6311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667967$E03434F2-4056-44BF-9872-E85E5D6D22F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"594b6c02f5cf18ef03a175afe8da0177b0332ac1","datavalue":{"value":"splitting by need","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667967$554A030B-8E43-4D34-A0A3-D6DC50C3D420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae41c8d2271a5787e2710dcea6e5b736ac1cd27","datavalue":{"value":"complexity of proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667967$B0FCD783-2909-4889-97E7-EAB327E942B8","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":"Q3667967$0911106B-3D5A-4CC2-8BEB-3584D37C900B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3667967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3667967"}}}}}