{"entities":{"Q1166497":{"pageid":1177246,"ns":120,"title":"Item:Q1166497","lastrevid":69776955,"modified":"2026-04-13T09:19:01Z","type":"item","id":"Q1166497","labels":{"en":{"language":"en","value":"Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3769550"}},"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":"Q1166497$0B9D45F7-7FE9-4038-B49F-64776D2F290E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"656e8b09a02f7aa3df60d4d4483f4800dcf3b3a7","datavalue":{"value":{"text":"Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166497$471E4765-8667-4317-B4A5-9D710D8225A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4859302976ebd93a958201bdf58638bacdd8c673","datavalue":{"value":"0489.00007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166497$A495A513-A1FA-4253-B2CA-2410206EF6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166497$0C3680B7-869C-4779-9719-16D17211385F","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":"Q1166497$B275266D-4647-4F7D-88D3-4BEE504123D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166497$D5D49C08-421F-42D5-9B15-335021E9BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166497$77C192A6-F9F0-4CA2-B604-8712BD18B05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c93322e8d55dfcd95655849aa539a93cdf5ff15","datavalue":{"value":"3769550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166497$AD30920B-F331-42D7-94F1-5F86E26994E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$83FA0D26-E012-4C99-B8FA-084361110F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$D62C1515-81BF-4CAA-A50C-A3DFD81231AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$B90AC43C-6167-4F1E-B2E5-7552BBD079A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee99f1342b65233446f6d99c7e82d84914e7a614","datavalue":{"value":"Herbrand Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$83D7F0C0-8ECB-4CAE-AE78-F2655A8D778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$90552959-AEEC-485F-9835-71DF1D142366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66513af17cac9a267705b48ecec576ee635c8ccf","datavalue":{"value":"Marseille","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166497$00FFB0E6-C423-401F-A0C7-194C2C5740A7","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":"Q1166497$609A2400-F186-4033-B0E7-03EE4D8400A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_Herbrand_Symposium._Logic_Colloquium_%2781,_held_in_Marseille,_France,_July_1981"}}}}}