{"entities":{"Q1219803":{"pageid":1230552,"ns":120,"title":"Item:Q1219803","lastrevid":66528645,"modified":"2026-04-12T10:42:48Z","type":"item","id":"Q1219803","labels":{"en":{"language":"en","value":"An Herbrand theorem for prenex formulas of LJ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3489096"}},"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":"Q1219803$479986FC-6EBB-4DA0-A5DB-A4A7AC08162F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0d2f31cb1dde5691312563e2c814b28ab9aed16","datavalue":{"value":{"text":"An Herbrand theorem for prenex formulas of LJ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1219803$44FEAF5E-A776-4895-B493-D0912EFE4351","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3db4c64976545493c783c7126a8b3eeea53a23","datavalue":{"value":"0313.02016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219803$B65C9170-3C78-4509-8AEC-0A9FA6251A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77387c31f07d97e46a5d305576b09d8b4d338d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1150590,"id":"Q1150590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219803$B3E73FD5-8385-442C-89B4-865E8CD65E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1219803$2424E9D1-A384-44EC-A7CE-43A2C784EB25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1219803$691EB02C-E02D-42AF-8C11-209DE72F316E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219803$9C8DC51A-8334-4A6D-8F84-9D3086166100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f279320d26c1fe385e31ede706168d45233019a6","datavalue":{"value":"3489096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219803$525B3459-EE0F-4600-97E8-907EE8C76976","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":"Q1219803$EEFA5A92-89CC-40A5-9958-84E7A55C9664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82e7311aa6e843971e6ad166e4d6c52da3846525","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093887533","type":"string"},"datatype":"url"},"type":"statement","id":"Q1219803$CCF78434-6A80-4CEF-9056-C076995D9ED5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f1ce0f861e8c951243cb2af36349d9cc303e49c","datavalue":{"value":"W2068502240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219803$8B8B4862-92D4-47F5-B892-E6F503B292C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88017ba5bb3ee1c6ad2e3e36edeaec9e151375df","datavalue":{"value":"10.1305/NDJFL/1093887533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1219803$5AE9BF3A-F595-4154-9114-09311050FA52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Herbrand theorem for prenex formulas of LJ","badges":[]}}}}}