{"entities":{"Q2547200":{"pageid":2557943,"ns":120,"title":"Item:Q2547200","lastrevid":44319021,"modified":"2025-11-21T23:17:45Z","type":"item","id":"Q2547200","labels":{"en":{"language":"en","value":"Herbrand uniformity theorems for infinitary languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3349768"}},"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":"Q2547200$0F388F1E-4C76-4235-9D47-652613D83347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c77a987db4a920acc3bd899b397d60b4e583b8e7","datavalue":{"value":{"text":"Herbrand uniformity theorems for infinitary languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2547200$E204F608-F7D6-4BE5-B27F-18D8B5AEB6CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bf7f004a033b05ba95268ba622f381525ee8bc6","datavalue":{"value":"0221.02006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$CC5DE9DC-2F96-4504-AAC6-3AADC3DE3CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"734ca2a0bf82752163a53ae43511c7754dab670a","datavalue":{"value":{"entity-type":"item","numeric-id":2547199,"id":"Q2547199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547200$3CB9E4DC-BAD3-4DC9-9E85-761D999D8CAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2547200$46F1736D-4367-4421-8E6D-88D619B1E05B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2547200$A741235A-01BD-4300-B617-8F95F3BDF14A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$FEC6FB6B-56E5-4B2E-A8A2-24A1B7A4E06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$1C324038-80B2-4CD0-B177-F833986106E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"397317a1518712448d35c3b1e0c0ae4b5523241d","datavalue":{"value":"3349768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$A594A685-E474-4E07-8DE1-4C0C228C1A8B","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":"Q2547200$0D9D65ED-0B61-4EB8-973F-3BA4FB0CCF20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cecc23d405908ce8b2b6644a8c810967f66c1e0","datavalue":{"value":"https://doi.org/10.2969/jmsj/02410001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2547200$0478BAC1-8423-43D9-A44A-8A51189D5EBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d72fd37bdca12f8f82c467faaed6f0943b1893aa","datavalue":{"value":"W2026167880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$AC44C861-D15F-429D-8D5A-5ECE34D66F04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f78226731406f700ee260eee57f0d57adf25876","datavalue":{"value":"10.2969/JMSJ/02410001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2547200$2FCD146D-4297-4ECB-9913-F3C6FB886BDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2547200","badges":[]}}}}}