{"entities":{"Q3900058":{"pageid":5929963,"ns":120,"title":"Item:Q3900058","lastrevid":81424877,"modified":"2026-05-06T18:29:27Z","type":"item","id":"Q3900058","labels":{"en":{"language":"en","value":"Semantical Completeness Theorems in Logic and Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3708393"}},"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":"Q3900058$27538770-06D0-4982-B460-638E4A4AFF3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9795610c3dde51303133eb0f4b2bd1e8920ab793","datavalue":{"value":"0453.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900058$7544E04D-FAB7-44C5-914A-542C7DD0FCBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65d4b48ed00bad70382ed82e7db7d84d68ab6a3e","datavalue":{"value":"10.2307/2042394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900058$F5EAEBD2-B30E-4714-BA54-B626E5E6D17B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$BC3BB3A0-8877-4B64-B809-CB02614586FB","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":"Q3900058$C8493362-7455-42ED-B135-23E2DD95D84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900058$9E1975B8-F150-4DC5-B736-ACF660EB3D50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b2230b0a3af76aac80a8722b88ab3762eb2cd1","datavalue":{"value":"3708393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900058$54F8107A-49E2-458D-9D07-3A5AA23DBA32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393ea5959b60028dd155de81a4c97d51567f82f7","datavalue":{"value":"Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900058$F2B4CA17-0DBA-46ED-A591-26CF1EF6013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c66d2db350ed2394d79a86fe272017bee553434f","datavalue":{"value":"duality theorem of Farkas-Minkowski","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900058$DF50AB02-3D48-49F2-8C4E-6CC74E45AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90316632eb131a524dcb7248582206bc473b10fa","datavalue":{"value":"hyper-resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900058$107608FA-F662-4CCE-A13A-497720E896CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900058$4C7F1388-B6FB-42AC-9984-2A4705C0B22D","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":"Q3900058$CE5ADC7F-374D-4D82-8BF9-997C3F4CEB25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1394d3b2713562f485b07a09563b5488986db6a4","datavalue":{"value":"https://doi.org/10.2307/2042394","type":"string"},"datatype":"url"},"type":"statement","id":"Q3900058$FAEE2A38-5570-4D09-8570-0BC77F0D1300","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f4adbdfdda5e497b6453a3ae4c90d9c67f54d0c","datavalue":{"value":"W4249741295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900058$56D1B809-9E20-4767-9315-820B30CF13C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62c8c268791857a953a30ec3dc9517e76bbf1b34","datavalue":{"value":{"text":"Semantical Completeness Theorems in Logic and Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3900058$B0D2E263-0F0F-45B0-9D8D-7308CA85D478","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$E24C962A-5EE2-4BA7-823A-E26DE82542B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0aa3886468bd1fe45ff5cc57a29de6f14c76df","datavalue":{"value":{"entity-type":"item","numeric-id":4089803,"id":"Q4089803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$6E414810-0828-4C96-8DD5-E1B02DDAC9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176761688c7316af420b73af6e849444ef7c269","datavalue":{"value":{"entity-type":"item","numeric-id":5571690,"id":"Q5571690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$7219FF1A-38FC-4A9C-B3B1-2EC4DA9E64A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbad0dcc66117bfd57d3ba62de58b6db600295b","datavalue":{"value":{"entity-type":"item","numeric-id":5649024,"id":"Q5649024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$A2B85548-C921-481C-9A1C-5CEEBE950EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900058$F29ADC90-744A-4C35-8A79-4D6E754DA0F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical Completeness Theorems in Logic and Algebra","badges":[]}}}}}